Bernard robinet (29 risultati)

Paperback. Condizione: New. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Condizione: 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.…

Condizione: New. In English.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Paperback or Softback. Condizione: New. ESOP 86: European Symposium on Programming, Saarbr�cken, Federal Republic of Germany, March 17-19, 1986. Proceedings. Book.

Condizione: As New. Unread book in perfect condition.

Taschenbuch. Condizione: 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égoriques et Implémentation 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.…

PF. Condizione: New.

Condizione: New.

Condizione: New. In English.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Taschenbuch. Condizione: 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. …

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

Condizione: 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. …

Condizione: 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. Condizione: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.

Condizione: Neuf.

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. Marion, Bernard (illustratore).

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

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

Taschenbuch. Condizione: 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. Condizione: 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.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Streams are not dreams.- Amber.- The amber machine.- Sur l'analogie entre les propositions et les types.- Combinateurs Catégoriques et Implémentation 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 KG, Sachsenplatz 4-6, 1201 Wien 220 pp. Englisch.…

Condizione: 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. Condizione: 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 KG, Sachsenplatz 4-6, 1201 Wien 388 pp. Englisch.…

Taschenbuch. Condizione: 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 Print on Demand. …