Librería: Anybook.com, Lincoln, Reino Unido
EUR 9,24
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
Librería: Phatpocket Limited, Waltham Abbey, HERTS, Reino Unido
EUR 34,20
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
Año de publicación: 1974
Librería: Literaturhökerei Wiese, Hardegsen, Alemania
EUR 10,00
Cantidad disponible: 1 disponibles
Añadir al carritoAtti dell Istituto Geologico della Universita di Pavia 24: 92-119, 17 figs 4to, offprint.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 44,73
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 40,89
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 60,63
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 416.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 37,44
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Librería: preigu, Osnabrück, Alemania
EUR 34,95
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Multidisciplinary Perspectives on Multilingualism | The Fundamentals | Suzanne Quay (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2021 | De Gruyter | EAN 9781501525384 | Verantwortliche Person für die EU: De Gruyter [9], Genthiner Str. 13, 10785 Berlin, orders[at]degruyter[dot]com | Anbieter: preigu.
Librería: preigu, Osnabrück, Alemania
EUR 36,60
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Librería: preigu, Osnabrück, Alemania
EUR 36,60
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987 | Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP) | Hartmut Ehrig (u. a.) | Taschenbuch | xiv | Englisch | 1987 | Springer | EAN 9783540176114 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Librería: preigu, Osnabrück, Alemania
EUR 36,60
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. International Symposium on Programming | 5th Colloquium, Turin, April 6-8, 1982. Proceedings | M. Dezani-Ciancaglini (u. a.) | Taschenbuch | viii | Englisch | 1982 | Springer | EAN 9783540114949 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Librería: preigu, Osnabrück, Alemania
EUR 39,90
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Idioma: Inglés
Publicado por Columbia University Press, 2013
ISBN 10: 023111155X ISBN 13: 9780231111553
Librería: preigu, Osnabrück, Alemania
EUR 44,25
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 89,49
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Very Good. book.
Librería: preigu, Osnabrück, Alemania
EUR 50,25
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Graph Transformations | Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings | Andrea Corradini (u. a.) | Taschenbuch | xii | Englisch | 2006 | Springer | EAN 9783540388708 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Librería: preigu, Osnabrück, Alemania
EUR 50,25
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. System Development and Ada | CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings | A. Nico Habermann (u. a.) | Taschenbuch | viii | Englisch | 1987 | Springer | EAN 9783540183419 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Librería: preigu, Osnabrück, Alemania
EUR 50,25
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Formal Methods in Software and Systems Modeling | Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday | Hans-Jörg Kreowski (u. a.) | Taschenbuch | xxviii | Englisch | 2005 | Springer | EAN 9783540249368 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Librería: preigu, Osnabrück, Alemania
EUR 50,35
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Librería: preigu, Osnabrück, Alemania
EUR 50,35
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Librería: preigu, Osnabrück, Alemania
EUR 50,35
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
EUR 50,35
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Metalloporphyrins Catalyzed Oxidations | L. Casella (u. a.) | Taschenbuch | 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.
Librería: preigu, Osnabrück, Alemania
EUR 50,35
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 126,02
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: preigu, Osnabrück, Alemania
EUR 54,80
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 131,01
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 115,59
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: preigu, Osnabrück, Alemania
EUR 63,80
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 128,77
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: preigu, Osnabrück, Alemania
EUR 77,25
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 159,46
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: New.