robinet bernard (27 resultados)

Condición: Good. 1986th Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Ed. Dunod, Paris - 1977, in-8, broché, 248 pages Bon état - Pour les envois hors de France, la tafication «livre & brochure» pour les frais de port a disparue.Les frais de port annoncés correspondent à une moyenne. Ils seront calculés au plus juste en fonction du poids de votre article.

Paperback. Condición: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

Condición: New. In.

Paperback. Condición: New.

Condición: New. In.

PF. Condición: New.

Condición: New.

Marion, Bernard Ilustrador. Gérard Klopp Editeur 1997. In-4 relié (35 x 25 cm), cartonnage illustré de l'éditeur, 233 pages, aquarelles de Bernard Marion reproduites en couleurs in et hors-texte.- 2060g. Etat neuf.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Streams are not dreams.- Amber.- The amber machine.- Sur l'analogie entre les propositions et les types.- Combinateurs Cat¿riques et Impl¿ntation des Langages Fonctionnels.- Combinators and lambda-calculus, a short outline.- Cartesian closed categories and lambda-calculus.- Cartesian closed categories and typed -calculi.- An introduction to fully-lazy supercombinators.

Taschenbuch. Condición: Neu. Neuware -Streams are not dreams.- Amber.- The amber machine.- Sur l'analogie entre les propositions et les types.- Combinateurs Cat¿riques et Impl¿ntation des Langages Fonctionnels.- Combinators and lambda-calculus, a short outline.- Cartesian closed categories and lambda-calculus.- Cartesian closed categories and typed -calculi.- An introduction to fully-lazy supercombinators.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.

Taschenbuch. Condición: Neu. Combinators and Functional Programming Languages | Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings | Guy Cousineau (u. a.) | Taschenbuch | viii | Englisch | 1986 | Springer | EAN 9783540171843 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Paperback. Condición: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Compiler generation from relational semantics.- Correctness of code generation from a two-level meta-language.- A general approach to the optimization of function calls.- Lifetime analysis for procedure parameters.- Another implementation technique for applicative languages.- Graal : A Functional Programming system with uncurryfied combinators and its reduction machine.- A safe approach to parallel combinator reduction (extended abstract).- Reducing recursion to iteration by algebraic extension.- Design and implementation of a generic, logic and functional programming language.- Pragmatic aspects of two-level denotational meta-languages.- An experiment in practical semantics.- The choice of programming primitives for SETL-like programming languages.- Algebraic semantics of exception handling.- Data refinement refined resume.- Proving entailment between conceptual state specifications.- Automatic parallelization of fortran programs in the presence of procedure calls.- Parallelization by semantic detection of reductions.- Denotational semantics of nets with nondeterminism.- specification of a tool for viewing program text.- A classical implementation for Prolog-II.- Programs as collections of communicating Prolog units.- An and-parallel execution model of logic programs.- Compiling Extended Concurrent Prolog -single queue compilation-.- A very intelligent backtracking method for Logic Programs.- An application of abstract interpretation of logic programs: Occur check reduction.- Experiences with the RAP system ¿ a specification interpreter combining term rewriting and resolution.- Rewriting with a nondeterministic choice operator : From algebra to proofs.

Taschenbuch. Condición: Neu. ESOP 86 | European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986. Proceedings | Bernard Robinet | Taschenbuch | viii | Englisch | 1986 | Springer | EAN 9783540164425 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Condición: Sehr gut. Zustand: Sehr gut | Seiten: 388 | Sprache: Englisch | Produktart: Bücher | Compiler generation from relational semantics.- Correctness of code generation from a two-level meta-language.- A general approach to the optimization of function calls.- Lifetime analysis for procedure parameters.- Another implementation technique for applicative languages.- Graal : A Functional Programming system with uncurryfied combinators and its reduction machine.- A safe approach to parallel combinator reduction (extended abstract).- Reducing recursion to iteration by algebraic extension.- Design and implementation of a generic, logic and functional programming language.- Pragmatic aspects of two-level denotational meta-languages.- An experiment in practical semantics.- The choice of programming primitives for SETL-like programming languages.- Algebraic semantics of exception handling.- Data refinement refined resume.- Proving entailment between conceptual state specifications.- Automatic parallelization of fortran programs in the presence of procedure calls.- Parallelization by semantic detection of reductions.- Denotational semantics of nets with nondeterminism.- specification of a tool for viewing program text.- A classical implementation for Prolog-II.- Programs as collections of communicating Prolog units.- An and-parallel execution model of logic programs.- Compiling Extended Concurrent Prolog -single queue compilation-.- A very intelligent backtracking method for Logic Programs.- An application of abstract interpretation of logic programs: Occur check reduction.- Experiences with the RAP system ¿ a specification interpreter combining term rewriting and resolution.- Rewriting with a nondeterministic choice operator : From algebra to proofs.

Paperback. Condición: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.

Softcover. Condición: Bon. Ancien livre de bibliothèque avec équipements. Couverture différente. Edition 1978. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Different cover. Edition 1978. Ammareal gives back up to 15% of this item's net price to charity organizations.

Softcover. Condición: Bon. Ancien livre de bibliothèque avec équipements. Couverture différente. Edition 1978. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Different cover. Edition 1978. Ammareal gives back up to 15% of this item's net price to charity organizations.

Softcover. Condición: Bon. Ancien livre de bibliothèque avec équipements. Couverture différente. Edition 1978. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Different cover. Edition 1978. Ammareal gives back up to 15% of this item's net price to charity organizations.

paperback. Condición: Acceptable. Ex-library book rebound to a hardcover, usual library markings and stickers. Light wear to cover and pages.

Condición: Gut. Nr. 80 / 1976. S. 343 - 420; zahlr. Illustr.; graph. Darst.; 25,5 cm; kart. Gutes Exemplar; der farb. illustr. Einband stw. leicht berieben. - Eventuelle Orig.-Verlagsbeilagen NICHT enthalten. - INHALT : Erinnerungen des Herausgebers und Begegnungen von damals. -------- Giesl-Gieslingen, Die österreichischen 2D-Schnellzuglokomotiven Reihen 570 und 113 (33). -------- Maixner, Am 10. Dezember 1918 auf dem Hauptbahnhof Duisburg. -------- Robinet, Der Stoker in Frankreich. -------- Schnörringer, Neue Fahrzeuge für die S-Bahn in Budapest. -------- Zeithammer, Zur Geschichte einer Zahnradlokomotive und zweier Werkbahnen. -------- Windleitbleche in Variationen. -------- v. Harlem, Henschel-Lok, Fabriknummer 32 000, für Ägypten. -------- Angerstein, Eisenbahnen am Fuß der Kordilleren: Die chilenischen Staatsbahnen "Ferrocarriles del Estado de Chile". -------- Seltene Fotos im LOK-MAGAZIN. -------- Aktivitäten der Eisenbahnfreunde und -Vereinigungen. -------- Unbekannte Werklokomotiven von Vulcan in Stettin. -------- Hotz, Lokomotiven und Triebwagen auf der Weltausstellung Paris 1900. -------- Literatur-Umschau. // Das Magazin stellt Lokomotiv-Baureihen und sehenswerte Bahnstrecken vor, informiert über neue Entwicklungen im Schienenverkehr und beleuchtet in bebilderten Reportagen das aktuelle Bahngeschehen in Deutschland, Österreich und der Schweiz. Anekdoten und Erlebnisberichte erinnern an die Vergangenheit der Eisenbahn. Das Lok Magazin blickt auf eine über 60-jährige Geschichte zurück. Das Magazin wurde 1962 von Karl-Ernst Maedel als Zwei-Monats-Schrift gegründet und bis 1971 herausgegeben, es erschien bis 1995 in der Franckh'sche Verlagshandlung W. Keller & Co. Weitere Herausgeber waren Wolfgang Messerschmidt, Alfred Gottwaldt und Horst Obermayer. (wiki) Sprache: Deutsch Gewicht in Gramm: 250.

Gérard Klopp Editeur 1997. 235 pages. Format 25 x 35. Cartonnage éditeur illustré. Bon état. Aquarelles de Bernand MARION.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Streams are not dreams.- Amber.- The amber machine.- Sur l'analogie entre les propositions et les types.- Combinateurs Cat¿riques et Impl¿ntation des Langages Fonctionnels.- Combinators and lambda-calculus, a short outline.- Cartesian closed categories and lambda-calculus.- Cartesian closed categories and typed -calculi.- An introduction to fully-lazy supercombinators. 220 pp. Englisch, Französisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Compiler generation from relational semantics.- Correctness of code generation from a two-level meta-language.- A general approach to the optimization of function calls.- Lifetime analysis for procedure parameters.- Another implementation technique for applicative languages.- Graal : A Functional Programming system with uncurryfied combinators and its reduction machine.- A safe approach to parallel combinator reduction (extended abstract).- Reducing recursion to iteration by algebraic extension.- Design and implementation of a generic, logic and functional programming language.- Pragmatic aspects of two-level denotational meta-languages.- An experiment in practical semantics.- The choice of programming primitives for SETL-like programming languages.- Algebraic semantics of exception handling.- Data refinement refined resume.- Proving entailment between conceptual state specifications.- Automatic parallelization of fortran programs in the presence of procedure calls.- Parallelization by semantic detection of reductions.- Denotational semantics of nets with nondeterminism.- specification of a tool for viewing program text.- A classical implementation for Prolog-II.- Programs as collections of communicating Prolog units.- An and-parallel execution model of logic programs.- Compiling Extended Concurrent Prolog -single queue compilation-.- A very intelligent backtracking method for Logic Programs.- An application of abstract interpretation of logic programs: Occur check reduction.- Experiences with the RAP system ¿ a specification interpreter combining term rewriting and resolution.- Rewriting with a nondeterministic choice operator : From algebra to proofs. 388 pp. Englisch.

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Compiler generation from relational semantics.- Correctness of code generation from a two-level meta-language.- A general approach to the optimization of function calls.- Lifetime analysis for procedure parameters.- Another implementation technique for appl.

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Compiler generation from relational semantics.- Correctness of code generation from a two-level meta-language.- A general approach to the optimization of function calls.- Lifetime analysis for procedure parameters.- Another implementation technique for applicative languages.- Graal : A Functional Programming system with uncurryfied combinators and its reduction machine.- A safe approach to parallel combinator reduction (extended abstract).- Reducing recursion to iteration by algebraic extension.- Design and implementation of a generic, logic and functional programming language.- Pragmatic aspects of two-level denotational meta-languages.- An experiment in practical semantics.- The choice of programming primitives for SETL-like programming languages.- Algebraic semantics of exception handling.- Data refinement refined resume.- Proving entailment between conceptual state specifications.- Automatic parallelization of fortran programs in the presence of procedure calls.- Parallelization by semantic detection of reductions.- Denotational semantics of nets with nondeterminism.- specification of a tool for viewing program text.- A classical implementation for Prolog-II.- Programs as collections of communicating Prolog units.- An and-parallel execution model of logic programs.- Compiling Extended Concurrent Prolog -single queue compilation-.- A very intelligent backtracking method for Logic Programs.- An application of abstract interpretation of logic programs: Occur check reduction.- Experiences with the RAP system ¿ a specification interpreter combining term rewriting and resolution.- Rewriting with a nondeterministic choice operator : From algebra to proofs.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch.