Robinet Bernard (31 results)
Transformations de programmes (Dunod informatique)
Bernard Robinet et Colloque international sur la programmation
- Softcover
Seller: Ammareal, Morangis, FranceAmmareal
Contact seller5-star sellerCondition: Used - Near fine
Original price: US$ 7.63; 10% offCurrent price: US$ 6.87
US$ 18.84 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.
Transformations de programmes (Dunod informatique)
Bernard Robinet et Colloque international sur la programmation
- Softcover
Seller: Ammareal, Morangis, FranceAmmareal
Contact seller5-star sellerCondition: Used - Near fine
Original price: US$ 7.63; 10% offCurrent price: US$ 6.87
US$ 18.84 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: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-
Contact seller5-star sellerCondition: Used - Good
US$ 39.48
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipp…ed with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
Published by Paris - 1977, 1977
- Softcover
Seller: Sylvain Paré, Montolieu, FranceSylvain Paré
Contact seller5-star sellerCondition: Used
US$ 11.76
US$ 17.35 shippingShips from France to U.S.A.Quantity: 1 available
Add to basketEd. 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: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contact seller5-star sellerCondition: Used - Good
US$ 45.90
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: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 44.78
US$ 16.09 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$ 40.08
US$ 20.81 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 62.97
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.62
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$ 70.04
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$ 70.27
US$ 16.09 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$ 66.14
US$ 20.81 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$ 69.57
US$ 20.15 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.23
US$ 55.93 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$ 77.35
US$ 20.15 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.73
US$ 70.45 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: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 62.89
US$ 71.85 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.76
US$ 33.58 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.
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.64
US$ 45.66 shippingShips from Germany to U.S.A.Quantity: 1 available
Add to basketCondition: 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.60
US$ 119.87 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$ 172.93
US$ 33.58 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- Hardcover
Seller: Déjà Jadis, FREJUS, FranceDéjà Jadis
Contact seller5-star sellerCondition: Used
US$ 57.62
US$ 74.20 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).
Combinators and functional programming languages: Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings (Lecture notes in computer science)
B.;Curien P.L. Cousineau, Guy;Robinet,Pierre-Louis Curien,Bernard Robinet
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
Add to basketpaperback. 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 seller3-star sellerCondition: Used
US$ 52.91
US$ 74.20 shippingShips from France to U.S.A.Quantity: 1 available
Add to basketGé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.73
US$ 26.26 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$ 62.89
US$ 26.26 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.73
US$ 68.49 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.
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 56.87
US$ 55.93 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: 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.- A…nother implementation technique for appl.
- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 37.68
US$ 79.91 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 Print on Demand.
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
US$ 62.89
US$ 68.49 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: 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 implementati…on 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.
