Structure et interprétation des programmes informatiques :: SCD d'Orléans

Structure et interprétation des programmes informatiques

Structure et interprétation des programmes informatiques

Uloženo v:

Podrobná bibliografie
Hlavní autoři:	Abelson, Harold, 1947-, Sussman, Gerald Jay, 1947-...., chercheur en informatique (Autor)
Další autoři:	Sussman, Julie (Spolupracovník), Briand, Michel, 19..-...., informaticien (Překladatel), Chamard, Pierre (Překladatel), Pic, André, 19..-...., informaticien (Překladatel)
Médium:	Livre papier
Jazyk:	Français
Vydáno:	Paris : InterEditions C 1989.
Edice:	IIA informatique, intelligence artificielle 16
Témata:	Génie logiciel Informatique Programmation structurée LISP (langage de programmation) Ordinateurs
Poznámka:	Traduit de : "Structure and interpretation of computer programs" Autres tirages : 1991, 1992
Autres localisations:	Voir dans le Sudoc

Podobné jednotky

Structure and interpretation of computer programs
Autor: Abelson, Harold, a další
Vydáno: (1985)

LISP : une introduction à la programmation
Autor: Wertz, Harald, 1947-
Vydáno: (1985)

Programmer en LISP
Autor: Farreny del Bosque, Henri
Vydáno: (1984)

La programmation applicative : de LIPS [i.e. LISP] à la machine en passant par le lambda-calcul
Autor: Saint-James, Emmanuel, 1956-
Vydáno: (1993)

Parallel lisp : languages and systems : US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989 : proceedings

Bases de la programmation : cours et exercices corrigés
Autor: Vachon, Bertrand, 1951-
Vydáno: (1992)

Introduction à l'analyse structurée : programmation en PASCAL et C
Autor: Brassart, Jean-Pierre, 1955-
Vydáno: (1998)

Programmation en Cobol structuré : théorie et applications
Autor: Newcomer, Lawrence R.
Vydáno: (1986)

Le petit LISPien
Autor: Friedman, Daniel P., 1944-, a další
Vydáno: (1991)

LISP : mode d'emploi
Autor: Queinnec, Christian, 1951-
Vydáno: (1984)

Intelligence artificielle en LISP et Prolog
Autor: Kabbaj, Adil, 19..-...., enseignant en informatique
Vydáno: (1991)

Research issues in structured and semistructured database programming : 7th International Workshop on Database Programming Languages, DBPL'99, Kinloch, Rannoch, UK, September 1-3, 1999 : revised papers

Conclog : a methodological approach to concurrent logic programming
Autor: Jacquet, Jean-Marie, 19..-...., chercheur en informatique

Génération automatique d'interfaces pour langages fonctionnels
Autor: El Amrani, Younès
Vydáno: (1996)

Premières pratiques de la programmation en cycle moyen

Advanced functional programming : second international school, Olympia, WA, USA, August 26-30, 1996 : tutorial text

Ada 95 rationale : the language, tha standard libraries
Autor: Barnes, John Gilbert Presslie, 1937-

Consolidated Ada reference manual : language and standard libraries : international standard ISO/IEC 8652/1995(E) with technical corrigendum 1
Autor: Taft, S. Tucker, 1953-

Ada 95 reference manual : language and standard libraries
Autor: Taft, S. Tucker, 1953-

Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism
Autor: Rao, Josyula Ramachandra, 19..-

Algebraic specification techniques in object oriented programming environments
Autor: Breu, Ruth, 19..-

Modular specification and verification of object-oriented programs
Autor: Müller, Peter, 1961-...., informaticien

Higher-level hardware synthesis
Autor: Sharp, Richard, 1978-...., chercheur en informatique

Theory of program structures : schemes, semantics, verification
Autor: Greibach, Sheila, 1939-
Vydáno: (2005)

Foundations of software technology and theoretical computer science : 18th conference, Chennai, India, December 17-19, 1998 : proceedings : FST and TCS 18

Advanced functional programming : Third International School, AFP 98, Braga, Portugal, September 12-19, 1998 : revised lectures

Advanced functional programming : first International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995 : tutorial text

Research directions in high-level parallel programming languages : Mont Saint-Michel, France, June 17-19, 1991 : proceedings
Autor: Banâtre, Jean-Pierre

Advanced functional programming : 4th international school, AFP 2002, Oxford, UK, August 19-24, 2002 : revised lectures

Practical aspects of declarative languages : 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings

Practical aspects of declarative languages : ; proceedings 6th international symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004
Autor: Jayaraman, Bharat

Practical Aspects of Declarative Languages : 4th International Symposium, PADL 2002, Portland, OR, USA, January 19 20, 2002 : proceedings

Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings

Extreme programming and agile processes in software engineering : 4th international conference, XP 2003, Genova, Italy, May 25-29, 2003 : proceedings

Generative programming and component engineering : Third international conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004 : proceedings

Reliable software technologies : Ada Europe 2000 : 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000 : proceedings

Reliable software technologies - Ada-Europe '97 : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2 6, 1997 : proceedings

Reliable software technologies : Ada-Europe 2002 : 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002 : proceedings

Domain-specific program generation : international seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers
Autor: Lengauer, Christian

Optimal interprocedural program optimization : a new framework and its application
Autor: Knoop, Jens

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales