Listing 1 - 10 of 46 << page
of 5
>>
Sort by

Book
Automata, languages and programming : 10 th colloquium Barcelona, Spain, July 18-22, 1983
Author:
ISBN: 3540123172 3540400389 Year: 1983 Publisher: Berlin ; Heidelberg ; New York, NY : Springer-Verlag,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Femmes et institutions littéraires
Author:
Year: 1984 Publisher: Paris U.E.R.

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Automata, languages and programming : 10th colloquium, Barcelona, July 18-22, 1983
Author:
Year: 1983 Publisher: Berlin, New York, Tokyo Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

TAPSOFT'89. Proceedings of the international joint conference on theory and practice of software development, Barcelona, Spain, March 13-17, 1989. Vol. 2 : Advanced seminar on foundations of innovative software development II and colloquium on current issues in programming languages (CCIPL)
Authors: ---
ISBN: 3540509399 0387509399 0387509402 3540509402 3540461167 3540461183 9780387509396 9783540509400 9783540509394 9780387509402 Year: 1989 Volume: 351-352 Publisher: Berlin : Springer-Verlag,

Loading...
Export citation

Choose an application

Bookmark

Abstract

TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Development held in Barcelona, Spain, March 13-17, 1989. The conference consissted of three parts: - Advanced Seminar on Foundations of Innovative Software Development - Colloquium on Trees in Algebra and Programming (CAAP '89) - Colloquium on Current Issues in Programming Languages (CCIPL) The TAPSOFT '89 Conference Proceedings are published in two volumes. The first volume includes the papers from CAAP plus the more theoretical ones of the invited papers. The second volume comprises the papers from CCIPL and the invited papers more relevant to current issues in programming languages.

Keywords

Programming --- Computer software --- Logiciels --- Development --- Congresses --- Développement --- Congrès --- Ateliers de genie logiciel --- Automates mathématiques, Théorie des --- Langages formels --- 681.3*D2 --- 681.3*D3 --- 681.3*F3 --- 681.3*F4 --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Programming languages --- Logics and meanings of programs (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*D3 Programming languages --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Développement --- Congrès --- Software engineering. --- Computer network architectures. --- Computer science. --- Logic design. --- Software Engineering/Programming and Operating Systems. --- Computer System Implementation. --- Programming Languages, Compilers, Interpreters. --- Software Engineering. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Logic, Symbolic and mathematical. --- Mathematical Logic and Foundations. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Computer software engineering --- Engineering --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Congresses.

Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings
Authors: ---
ISBN: 3540106995 0387106995 3540386548 9780387106991 9783540106999 Year: 1981 Volume: 107 Publisher: Berlin ; Heidelberg ; New York, NY : Springer-Verlag,


Multi
Mathematics, climate and environment
Author:
ISSN: 02983168 ISBN: 2225842973 9782225842979 Year: 1993 Volume: 27 Publisher: Paris: Masson,

Mathematics for large scale computing
Author:
ISBN: 0824781228 Year: 1989 Publisher: New York (N.Y.): Dekker


Article
Le vieux quartier de Petit Bayonne : les habitants et leur logement

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Alexander Weinstein selecta
Author:
Year: 1978 Publisher: London ; Marshfield, MA : Pitman,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Lire "Les fleurs du mal"
Author:
Year: 2002 Publisher: Paris

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Listing 1 - 10 of 46 << page
of 5
>>
Sort by