Computer Program Synthesis Methodologies : :: SCD d'Orléans

Computer Program Synthesis Methodologies : Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981

Computer Program Synthesis Methodologies : Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981

Enregistré dans:

Détails bibliographiques
Autres auteurs:	Guiho, Gérard, 1945- (Collaborateur), Biermann, Alan W., 1939- (Collaborateur)
Format:	Livre numérique
Langue:	Anglais
Publié:	Cham : Springer International Publishing [20..]. Cham : Springer Nature
Accès en ligne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Computer Program Synthesis Methodologies, Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981

Documents similaires

Interlinking of Computer Networks : Proceedings of the NATO Advanced Study Institute held at Bonas, France, August 28 - September 8, 1978

Computer Architecture : Proceedings of the NATO Advanced Study Institute held in St. Raphael, France, 12-24 September, 1976

New Advances in Distributed Computer Systems : Proceedings of the NATO Advanced Study Institute held at Bonas,France, June 15-26, 1981

Chemistry of the Unpolluted and Polluted Troposphere : Proceedings of the NATO Advanced Study Institute held on the Island of Corfu, Greece, September 28 - October 10, 1981

Computer programs in biomedicine.
Publié: (2005)

Computer programs for spelling correction : an experiment in program design
par: Peterson, James Lyle, 1949-

Flow analysis of computer programs
par: Hecht, Matthew S.
Publié: (1977)

Structure and interpretation of computer programs
par: Abelson, Harold, et autres
Publié: (1985)

Computer methods and programs in biomedicine.
Publié: (2001)

Ordered Sets : Proceedings of the NATO Advanced Study Institute held at Banff, Canada, August 28 to September 12, 1981

Computer Methods and Programs in Biomedicine.

Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20 22, 1995 : proceedings

Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28 30, 1996 : proceedings

Interactive models of computation and program behavior
par: Curien, Pierre-Louis, 1953-, et autres
Publié: (2009)

Mathermatica® Computer Programs for Physical Chemistry
par: Cropper, William H.

World List of Crystallographic Computer Programs

Analysis of turbulent flows with computer programs
par: Cebeci, Tuncer, 1934-
Publié: (2013)

Computer Methods and Programs in Biomedicine Update.

Logic program synthesis and transformation : 7th international workshop, LOPSTR '97, Leuven, Belgium, July 10-12, 1997 : proceedings

Automatic Speech Analysis and Recognition : Proceedings of the NATO Advanced Study Institute held at Bonas, France, June 29-July 10, 1981

Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning
par: Schmid, Ute

Optimal Control from Theory to Computer Programs
par: Arnăutu, Viorel, et autres

Logic based program synthesis and transformation : 10th International workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers

The Comparative Study of the Planets : Proceedings of the NATO Advanced Study Institute held at Vulcano (Aeolian Islands), Italy, September 14-25, 1981

Méthodologie de la note de synthèse
par: Govedarica, Thomas, 19..-
Publié: (2021)

Méthodologie de la note de synthèse
par: Govedarica, Thomas, 19..-
Publié: (2021)

High Pressure Chemistry : Proceedings of the NATO Advanced Study Institute held in Corfu, Greece, September 24 - October 8, 1977

Logic Program Synthesis from Incomplete Information
par: Flener, Pierre

Higher Combinatorics : Proceedings of the NATO Advanced Study Institute held in Berlin (West Germany), September 1-10, 1976

Singularities in Boundary Value Problems : Proceedings of the NATO Advanced Study Institute held at Maratea, Italy, September 22-October 3, 1980

Interfacial Aspects of Phase Transformations : Proceedings of the NATO Advanced Study Institute held at Erice, Silicy, August 29-September 9, 1981

Vectorization of Computer Programs with Applications to Computational Fluid Dynamics
par: Gentzsch, Wolfgang, 19..-

Computer Methods and Programs in Biomedical Signal and Image Processing
Publié: (2021)

Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR 99, Venice, Italy, September 22-24, 1999 : selected papers

Logic based program synthesis and transformation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers

Logic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
par: Albert, Elvira

Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28 30, 2001 : Selected papers

Detecting Unrealizable Bit Vector Program Synthesis Problems
par: Kamp, Marius
Publié: (2025)

Automating the Design of Multigrid Methods with Evolutionary Program Synthesis
par: Schmitt, Jonas
Publié: (2025)

Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981

© 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