Bernard Robinet (32 results)
- Softcover
Seller: Ammareal, Morangis, , FranceAmmareal
Contact seller5-star sellerCondition: Used - Near fine
US$ 7.67
US$ 18.93 shippingShips from France to U.S.A.Quantity: 1 available
Softcover. Condition: 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
Seller: Ammareal, Morangis, , FranceAmmareal
Contact seller5-star sellerCondition: Used - Near fine
US$ 7.67
US$ 18.93 shippingShips from France to U.S.A.Quantity: 1 available
Softcover. Condition: 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
Seller: Ammareal, Morangis, , FranceAmmareal
Contact seller5-star sellerCondition: Used - Near fine
US$ 7.67
US$ 18.93 shippingShips from France to U.S.A.Quantity: 1 available
Softcover. Condition: 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.
Published by Paris - 1977 1977
- Softcover
Seller: Sylvain Paré, Montolieu, FranceSylvain Paré
Contact seller5-star sellerCondition: Used
US$ 11.82
US$ 17.44 shippingShips from France to U.S.A.Quantity: 1 available
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.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 44.11
US$ 15.85 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, , United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 39.48
US$ 20.50 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.
- Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contact seller5-star sellerCondition: Used - Good
US$ 59.83
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: 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.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 62.67
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contact seller5-star sellerCondition: New
US$ 65.32
Free ShippingShips within U.S.A.Quantity: 5 available
Paperback or Softback. Condition: New. ESOP 86: European Symposium on Programming, Saarbr�cken, Federal Republic of Germany, March 17-19, 1986. Proceedings. Book.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 69.48
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.23
US$ 15.85 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, , United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 65.15
US$ 20.50 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 68.54
US$ 19.85 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: moluna, Greven, , Germanymoluna
Contact seller5-star sellerCondition: New
US$ 36.42
US$ 56.22 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 76.20
US$ 19.85 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 37.92
US$ 70.81 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: 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 ca…tegories and lambda-calculus.- Cartesian closed categories and typed -calculi.- An introduction to fully-lazy supercombinators.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 37.88
US$ 80.33 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: 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, Tiergartens…tr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 63.22
US$ 72.22 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: 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.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - Very good
US$ 103.57
US$ 33.08 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 59.39
US$ 80.33 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: 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.
Language: German
Published by Franckh'sche Verlagshandlung; Stuttgart 1976
- Softcover
Seller: Borkert, Schwarz und Zerfaß GbR, Berlin, GermanyBorkert, Schwarz und Zerfaß GbR
Contact seller5-star sellerCondition: Used - Very good
US$ 17.73
US$ 45.90 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: 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-S…chnellzuglokomotiven 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.
- Softcover
Seller: Buchpark, Trebbin, , GermanyBuchpark
Contact seller5-star sellerCondition: Used - Fine
US$ 49.86
US$ 120.49 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: 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 implementa…tion 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.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - Very good
US$ 147.19
US$ 33.08 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
- Softcover
Seller: Gallix, Gif sur Yvette, FranceGallix
Contact seller5-star sellerCondition: New
US$ 95.74
US$ 22.78 shippingShips from France to U.S.A.Quantity: 1 available
Condition: Neuf.
More images- Hardcover
Seller: Déjà Jadis, FREJUS, FranceDéjà Jadis
Contact seller5-star sellerCondition: Used
US$ 57.91
US$ 74.59 shippingShips from France to U.S.A.Quantity: 1 available
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 (illustrator).
Published by Springer-Verlag 1986
- Softcover
Seller: mountain, GEORGETOWN, CO, U.S.A.mountain
Contact seller5-star sellerCondition: Used - Fair
US$ 100.00
US$ 5.00 shippingShips within U.S.A.Quantity: 1 available
paperback. Condition: Acceptable. Ex-library book rebound to a hardcover, usual library markings and stickers. Light wear to cover and pages.
- Hardcover
Seller: CANO, BREST, , FranceCANO
Contact seller4-star sellerCondition: Used
US$ 53.19
US$ 74.59 shippingShips from France to U.S.A.Quantity: 1 available
Gérard Klopp Editeur 1997. 235 pages. Format 25 x 35. Cartonnage éditeur illustré. Bon état. Aquarelles de Bernand MARION.
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 37.92
US$ 26.39 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: 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.- Cartesi…an closed categories and lambda-calculus.- Cartesian closed categories and typed -calculi.- An introduction to fully-lazy supercombinators. 220 pp. Englisch, Französisch.
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 1986 1986
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 63.22
US$ 26.39 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: 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 implemen…tation 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.
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
US$ 37.92
US$ 68.85 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: 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.- Cartesi…an 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.
