Montanari u (36 Ergebnisse)

Zustand: 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.

Atti dell Istituto Geologico della Universita di Pavia 24: 92-119, 17 figs 4to, offprint.

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

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

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

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

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

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

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

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

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

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

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

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

Zustand: New.

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

Zustand: As New. Unread book in perfect condition.

Couverture souple. Zustand: 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.

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

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

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

Paperback. Zustand: Brand New. 1st edition. 941 pages. 9.00x6.00x1.25 inches. In Stock.

Buch. Zustand: Neu. In the Mists of Time: Negotiating the Past in Ancient Literature | Studies in Honor of Antonios Rengakos | Franco Montanari (u. a.) | Buch | IX | Englisch | 2024 | De Gruyter | EAN 9783111500638 | 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. …

Taschenbuch. Zustand: Neu. Data Science | Innovative Developments in Data Analysis and Clustering | Francesco Palumbo (u. a.) | Taschenbuch | xvi | Englisch | 2017 | Springer | EAN 9783319557229 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Taschenbuch. Zustand: Neu. Foundations of Information Technology in the Era of Network and Mobile Computing | Ifip 17th World Computer Congress -- Tc1 Stream / 2nd Ifip International Conference on Theoretical Computer Science (Tcs 2002) August 25-30, 2002, Montréal, Québec, Canada | Ricardo Baeza-Yates (u. a.) | Taschenbuch | xiv | Englisch | 2013 | Springer Us | EAN 9781475752755 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Buch. Zustand: Neu. Supplementum Hellenisticum Novum | Volumen I: Auctores | Franco Montanari (u. a.) | Buch | XXII | Englisch | 2026 | De Gruyter | EAN 9783110557138 | 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. …

Taschenbuch. Zustand: Neu. Data Analysis and Rationality in a Complex World | Theodore Chadjipadelis (u. a.) | Taschenbuch | Studies in Classification, Data Analysis, and Knowledge Organization | xvii | Englisch | 2021 | Springer | EAN 9783030601034 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Engineering Methodologies for Medicine and Sports | Proceedings of EMMS 2024 | Roberto Montanari (u. a.) | Taschenbuch | Mechanisms and Machine Science | xiv | Englisch | 2025 | Springer | EAN 9783031637575 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

paperback. Zustand: New. Language:Chinese.Paperback. Pages Number: 361 Publisher: Mass Press Pub. Date :2009-09-01. They died in the Division Kuji Er river. ages and different identity . not know each other. But they are murdered by the same killer. They put the murderer to the old style of dress. the scene of the murder and the victims who have left the moon pattern. Each victim was dressed like a doll. while the old dress and moon patterns detective Jessica s attention to put a fairy tale. Philadelphia police found. …

Zustand: Sehr gut. XII., 322 S., 1 nn.S. Gutes und sauberes Exemplar. Sprache: Französisch Gewicht in Gramm: 558 Leineneinband, Schutzumschlag ca. 22,6 x 15,8 cm Entretiens Sur L'Antiquite Classique de La Fondation Hardt Band : 48 ; Beiträge in verschiedenen Sprachen : Englisch, Französisch, Deutsch, Italienisch. …