Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Lenguaje algorítmico")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Origin

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 28

  • Page / 2
Export

Selection :

  • and

Typage polymorphe d'un langage algorithmique = Polymorphic typing of an algorithmic languageLeroy, Xavier; Huet, Gérard.1992, 192 p.Thesis

Typechecking of PEI expressionsVIOLARD, E.Lecture notes in computer science. 1997, pp 521-529, issn 0302-9743, isbn 3-540-63440-1Conference Paper

RLISP-LE―LISP. Manuel de référence = RLISP-LE-LISP. Reference bookHOCHAIN, Jean-Claude; SANTANA, Miguel.Rapport de recherche - Informatique et mathématiques appliquées de Grenoble, ISSN: 0750-7380 ; 492. 1985, 79 p.Report

Reasoning about Idealized ALGOL using regular languagesGHICA, D. R; MCCUSKER, G.Lecture notes in computer science. 2000, pp 103-115, issn 0302-9743, isbn 3-540-67715-1Conference Paper

Definable sets in knowledge representation systemsWASILEWSKA, A.Bulletin of the Polish Academy of Sciences. Mathematics. 1987, Vol 35, Num 9-10, pp 629-635, issn 0239-7269Article

Alternative scope rules for block-structured languagesHOUSE, R. T.Computer journal (Print). 1986, Vol 29, Num 3, pp 253-260, issn 0010-4620Article

Trident: From high-level language to hardware circuitryTRIPP, Justin L; GOKHALE, Maya B; PETERSON, Kristopher D et al.Computer (Long Beach, CA). 2007, Vol 40, Num 3, pp 28-37, issn 0018-9162, 10 p.Article

Software engineering techniques for parallel computing in science and engineeringBURKHART, H.Zeitschrift für angewandte Mathematik und Mechanik. 1996, Vol 76, pp 33-36, issn 0044-2267, SUP1Conference Paper

Revised5 report on the algorithmic language SchemeABELSON, H; DYBVIG, R. K; OXLEY, D et al.Higher-order and symbolic computation. 1998, Vol 11, Num 1, pp 7-105, issn 1388-3690Article

Incremental learning from positive dataLANGE, S; ZEUGMANN, T.Journal of computer and system sciences (Print). 1996, Vol 53, Num 1, pp 88-103, issn 0022-0000Article

Image edge detection : A knowledge management technique for visual scene analysisFOLORUNSO, O; VINCENT, O. R; DANSU, B. M et al.Information management & computer security. 2007, Vol 15, Num 1, pp 23-32, issn 0968-5227, 10 p.Article

Genetic algorithms: A business perspectiveGRUPE, Fritz H; JOOSTE, Simon.Information management & computer security. 2004, Vol 12, Num 2-3, pp 289-298, issn 0968-5227, 10 p.Article

3D control of a high-speed quadruped trotPALMER, L. R; ORIN, D. E.Industrial robot. 2006, Vol 33, Num 4, pp 298-302, issn 0143-991X, 5 p.Article

High-level language and compiler for reconfigurable computingFU SAN HIEW; KAH HOE KOAY.Lecture notes in computer science. 2004, pp 200-206, issn 0302-9743, isbn 3-540-24127-2, 7 p.Conference Paper

Automata mistaHUET, Gérard.Verification : theory and practice (essays dedicated to Zohar Manna on the occasion of this 64th birthday). Lecture notes in computer science. 2003, pp 359-372, issn 0302-9743, isbn 3-540-21002-4, 14 p.Book Chapter

Ranking and unranking left szilard languagesMAKINEN, E.International journal of computer mathematics. 1998, Vol 68, Num 1-2, pp 29-38, issn 0020-7160Article

Adaptive document clustering based on query-based similarityNA, Seung-Hoon; KANG, In-Su; LEE, Jong-Hyeok et al.Information processing & management. 2007, Vol 43, Num 4, pp 887-901, issn 0306-4573, 15 p.Article

Zero is not a four letter word : Studies in the evolution of languageSTEPHENS, Chris; NICOLAU, Miguel; RYAN, Conor et al.Lecture notes in computer science. 2005, pp 371-380, issn 0302-9743, isbn 3-540-25436-6, 10 p.Conference Paper

On discrete modeling and model checking for nonlinear analog systemsHARTONG, Walter; HEDRICH, Lars; BARKE, Erich et al.Lecture notes in computer science. 2002, pp 401-413, issn 0302-9743, isbn 3-540-43997-8, 13 p.Conference Paper

Ordering rules for double and triple eigenseries in the solution of multidimensional heat and fluid flow problemsMIKHAILOV, M. D; COTTA, R. M.International communications in heat and mass transfer. 1996, Vol 23, Num 2, pp 299-303, issn 0735-1933Article

An optimal predicate locking schedulerMEGHINI, C; THANOS, C.Journal of computer and system sciences (Print). 1996, Vol 53, Num 3, pp 443-468, issn 0022-0000Conference Paper

Automated design of steel frames using advanced analysis and object - oriented evolutionary computation = Analyse avancée et programmation orientée objet pour la construction automatique de structures en acierFOLEY, CH; SCHINIER, D.Journal of structural engineering (New York, NY). 2003, Vol 129, Num 5, pp 648-659, issn 0733-9445, 12 p.Article

Towards generation of efficient transformationsVIZHANYO, Attila; AGRAWAL, Aditya; FENG SHI et al.Lecture notes in computer science. 2004, pp 298-316, issn 0302-9743, isbn 3-540-23580-9, 19 p.Conference Paper

Two algorithms for languages recognized by graph algebrasKELAREV, A. V; SOKRATOVA, O. V.International journal of computer mathematics. 2002, Vol 79, Num 12, pp 1317-1327, issn 0020-7160, 11 p.Conference Paper

Embedded access points for trusted data and resources access in HPC systemsMILITELLO, C; CONTI, V; VITABILE, S et al.Journal of supercomputing. 2011, Vol 55, Num 1, pp 4-27, issn 0920-8542, 24 p.Article

  • Page / 2