Montanari U (63 results)
- Softcover
Seller: Anybook.com, Lincoln, United KingdomAnybook.com
Contact seller5-star sellerCondition: Used - Good
£ 7.75
£ 13.22 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Good. Volume 1. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,600grams, ISBN:3540176608.
- Softcover
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
Contact seller5-star sellerCondition: Used - Very good
£ 32.37
£ 5.21 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. Sorry, No international shipping on this item.0387114947 Ex-library paperback in very nice condition with the usual markings and attachments.
Seller: Literaturhökerei Wiese, Hardegsen, GermanyLiteraturhökerei Wiese
Contact seller5-star sellerAtti dell Istituto Geologico della Universita di Pavia 24: 92-119, 17 figs 4to, offprint.
- Softcover
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United KingdomPhatpocket Limited
Contact seller5-star sellerCondition: Used - Good
£ 29.97
£ 10.64 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.…
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 40.95
£ 1.97 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 48.43
£ 1.97 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 56.28
£ 2.98 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 416.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 42.00
£ 29.21 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Applicative communicating processes in first order logic.- A machine-level semantics for nondeterministic, parallel programs.- A formalized proof system for total correctness of while programs.- Automatic program transformation viewed as theorem proving.- An enlarged definition and complete axiomatization of observational congruence of finite processes.- Perluette : A compilers producing system using abstract data types.- A weakest precondition semantics for communicating processes.- From abstract model to efficient compilation of patterns.- Computer-based synthesis of logic programs.- On some syntactic equivalences of program schemas and related transformations.- Procedures and concurrency: A study in proof.- Another characterization of weakest preconditions.- Powerdomains and nondeterministic recursive definitions.- Optimizing for a multiprocessor: Balancing synchronization costs against parallelism in straight-line code.- The simple semantics for Coppo-Dezani-Sallé types.- Proving the correctness of implementations of shared data abstractions.- Specification of communicating processes and process implementation correctness.- A system for reasoning within and about algebraic specifications.- Tuning algebraic specifications by type merging.- Communicating agents for applicative concurrent programming.- On effective computations of non-deterministic schemes.- Specification and verification of concurrent systems in CESAR.- Proof of separability A verification technique for a class of security kernels.- A method for program synthesis.- The use of transformations to implement an algorithm.…
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 31.63
£ 58.42 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987 | Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87) | Hartmut Ehrig (u. a.) | Taschenbuch | xviii | Englisch | 1987 | Springer | EAN 9783540176602 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…
More imagesLanguage: English
Published by Springer, 2008
Series: Book 4 of 26 - Lecture Notes of the Unione Matematica Italiana
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 31.93
£ 58.42 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Transport Equations and Multi-D Hyperbolic Conservation Laws | Luigi Ambrosio (u. a.) | Taschenbuch | xiv | Englisch | 2008 | Springer | EAN 9783540767800 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 34.56
£ 58.42 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Bilingualism Across the Lifespan | Factors Moderating Language Proficiency | Simona Montanari (u. a.) | Taschenbuch | VIII | Englisch | 2018 | De Gruyter | EAN 9783110610468 | Verantwortliche Person für die EU: Walter de Gruyter GmbH, De Gruyter GmbH, Genthiner Str. 13, 10785 Berlin, productsafety[at]degruyterbrill[dot]com | Anbieter: preigu. …
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 43.54
£ 58.42 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Algebra and Coalgebra in Computer Science | Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings | Till Mossakowski (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2007 | Springer | EAN 9783540738572 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.…
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 43.54
£ 58.42 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Trustworthy Global Computing | Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers | Ugo Montanari (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2007 | Springer | EAN 9783540753339 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu. …
Language: English
Published by Springer, 2015
Series: Book 72 of 220 - SpringerBriefs in Molecular Science
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 43.54
£ 58.42 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Risk Regulation in Non-Animal Food Imports | The European Union Approach | Francesco Montanari (u. a.) | Taschenbuch | SpringerBriefs in Molecular Science | xi | Englisch | 2015 | Springer | EAN 9783319140131 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 43.54
£ 58.42 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Metalloporphyrins Catalyzed Oxidations | F. Montanari (u. a.) | Taschenbuch | Catalysis by Metal Complexes | xiv | Englisch | 2010 | Springer | EAN 9789048143559 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 43.54
£ 58.42 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Recent Trends in Algebraic Development Techniques | 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers | Andrea Corradini (u. a.) | Taschenbuch | viii | Englisch | 2009 | Springer | EAN 9783642034282 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…
Language: English
Published by Springer, 2024
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 47.20
£ 58.42 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Searching for Dark Matter with Imaging Atmospheric Cherenkov Telescopes | Alessandro Montanari (u. a.) | Taschenbuch | xxxii | Englisch | 2024 | Springer | EAN 9783031664694 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …
Principles and Practice of Constraint Programming - CP '95 : First International Conference, CP 95, Cassis, France, September 19-22, 1995 : Proceedi
CP 9 (1995 Cassis, France); Rossi, Francesca (EDT); Montanari, U.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 106.79
£ 1.97 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - Very good
£ 83.00
£ 25.00 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
£ 54.94
£ 58.42 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. AIxIA 2022 - Advances in Artificial Intelligence | XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings | Agostino Dovier (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2023 | Springer | EAN 9783031271809 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…
Principles and Practice of Constraint Programming - CP '95 : First International Conference, CP 95, Cassis, France, September 19-22, 1995 : Proceedi
CP 9 (1995 Cassis, France); Rossi, Francesca (EDT); Montanari, U.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 100.03
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Principles and Practice of Constraint Programming - CP '95 : First International Conference, CP 95, Cassis, France, September 19-22, 1995 : Proceedi
CP 9 (1995 Cassis, France); Rossi, Francesca (EDT); Montanari, U.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 121.79
£ 1.97 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
Automata, Languages & Programming : 27th International Colloquium, Icalp 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings
Montanari, U. (EDT); Rolim, J. D. P. (EDT); Welzl, E. (EDT); Goos, G. (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 122.07
£ 1.97 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
Principles and Practice of Constraint Programming - CP '95 : First International Conference, CP 95, Cassis, France, September 19-22, 1995 : Proceedi
CP 9 (1995 Cassis, France); Rossi, Francesca (EDT); Montanari, U.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 107.71
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 66.50
£ 58.42 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Production and Commercialization of Insects as Food and Feed | Identification of the Main Constraints in the European Union | Francesco Montanari (u. a.) | Taschenbuch | xv | Englisch | 2022 | Springer | EAN 9783030684082 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…
Published by TERRE DES GRAVES, 2004
- Softcover
Condition: Used - Near fine
£ 22.18
£ 35.05 shippingShips from France to U.S.A.Quantity: 1 available
Couverture souple. Condition: bon. R240079942: 2004. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 140 pages - 1er plat illustré en monochrome. . . . Classification Dewey : 840.092-XXI ème siècle.
Language: English
Published by Springer, 2016
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 82.10
£ 58.42 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Morphogenesis and Individuation | Alessandro Sarti (u. a.) | Taschenbuch | Lecture Notes in Morphogenesis | xiv | Englisch | 2016 | Springer | EAN 9783319343761 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …
Language: English
Published by Springer, 2005
Series: Book 8 of 43 - Studies in Classification, Data Analysis, and Knowledge Organization
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 82.10
£ 58.42 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. New Developments in Classification and Data Analysis | Proceedings of the Meeting of the Classification and Data Analysis Group (CLADAG) of the Italian Statistical Society, University of Bologna, September 22-24, 2003 | Maurizio Vichi (u. a.) | Taschenbuch | x | Englisch | 2005 | Springer | EAN 9783540238096 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 89.62
£ 58.42 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Classification and Data Science in the Digital Age | Paula Brito (u. a.) | Taschenbuch | xiv | Englisch | 2023 | Springer | EAN 9783031090332 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 136.97
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 1st edition. 941 pages. 9.00x6.00x1.25 inches. In Stock.
