Montanari u (31 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.

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

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

Zustand: New. In English.

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. 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. Food | A Culinary History | Jean-Louis Flandrin (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2013 | Columbia University Press | EAN 9780231111553 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | 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. 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. 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. 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.…

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

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

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.

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

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

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

Couverture souple. Zustand: bon. R200084907: 2004. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 140 pages. POSSIBLE ENVOI DE L'AUTEUR en page de garde. 2 PHOTOS DISPONIBLES. . . . Classification Dewey : 97.2-Dédicace, envoi.

Taschenbuch. Zustand: Neu. Wege zum Nein | Emanzipative Sexualitäten und queer-feministische Visionen. Beiträge für eine radikale Debatte nach der Sexualstrafrechtsreform in Deutschland 2016 | Sina D. Holst (u. a.) | Taschenbuch | 256 S. | Deutsch | 2017 | Edition Assemblage | EAN 9783960420156 | Verantwortliche Person für die EU: edition assemblage, Rrudolf-Diesel-Str. 37, 48157 Münster, customerservice[at]edition-assemblage[dot]de | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Mehrsprachigkeit und Bildung in Kitas und Schulen | Eine Einführung | Elke Montanari (u. a.) | Taschenbuch | 156 S. | Deutsch | 2025 | UTB GmbH | EAN 9783825264116 | Verantwortliche Person für die EU: Narr Francke Attempto Verlag GmbH + Co. KG, Dischingerweg 5, 72070 Tübingen, info[at]narr[dot]de | Anbieter: preigu.…

Buch. Zustand: Neu. Euripides | Commentaria, marginalia, lexica | Guido Bastianini (u. a.) | Buch | XXII | Italienisch | 2023 | De Gruyter | EAN 9783111155579 | 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. …

Buch. Zustand: Neu. Galenus - Hipponax | Guido Bastianini (u. a.) | Buch | LII | Italienisch | 2019 | De Gruyter | EAN 9783110582505 | 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. …