PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
EUR 13,78
Anzahl: 2 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Anbieter: Sell Books, Elland, YORKS, Vereinigtes Königreich
EUR 4,74
Anzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: Good. Our good condition books are generally good for reading but not for gifting or collecting. They could have imperfections such as creasing, fanning, inscriptions, margin notes, yellowing, staining on edge or cover or pages, bumps, scuffs, etc etc (sometimes multiple of these). It's a wide category that encompasses anything that isn't almost-new down to anything that is slightly better than poor. We would NOT recommend gifting Good books - these should be considered reading copies. Our books are dispatched from a Yorkshire former cotton mill. We list via barcode/ISBN so please note that the images are stock images and may not be the exact copy you receive, furthermore the details about edition and year might not be accurate as many publishers reuse the same ISBN for multiple editions and as we simply scan a barcode or enter an ISBN we do not check the validity of the edition data when listing. If you're looking for an exact edition please don't order (at least not without checking with us first, although we don't always have time to check). We aim to dispatch prompty, the service used will depend on order value and book size. We can ship to most countries, see our shipping policies. Payment is via Abe only.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 13,53
Anzahl: 1 verfügbar
In den WarenkorbZustand: New.
Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
Sprache: Englisch
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2011
ISBN 10: 3642214606 ISBN 13: 9783642214608
Anbieter: Ammareal, Morangis, Frankreich
EUR 5,84
Anzahl: 1 verfügbar
In den WarenkorbSoftcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 2011. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2011. Ammareal gives back up to 15% of this item's net price to charity organizations.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 17,90
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 305 pages. Spanish language. 8.00x5.50x1.00 inches. In Stock.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 17,90
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 243 pages. Spanish language. 8.25x5.50x0.75 inches. In Stock.
Anbieter: libreriauniversitaria.it, Occhiobello, RO, Italien
Zustand: NEW.
Anbieter: libreriauniversitaria.it, Occhiobello, RO, Italien
Zustand: NEW.
Anbieter: HJP VERSANDBUCHHANDLUNG, WEDEL, SH, Deutschland
Erstausgabe
Paperback. Zustand: Good. 1st Edition. 273 p; many Ill; many Tab; many Fig.
Hardcover. Zustand: As New. 1. Auflage. Like new. Immediately dispatched from Germany.
Zustand: Buone. italiano Condizioni dell'esterno: Buone Condizioni dell'interno: Buone.
EUR 25,58
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 76 pages. Italian language. 7.87x5.51x0.18 inches. In Stock.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 59,28
Anzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 395.
Zustand: New. Bringing together fiction from celebrated writers, The Book of Venice is an anthology of short stories charting the social and and cultural change of Venice over the last fifty years, creating a literary map of the city.KlappentextrnrnBringi.
Zustand: new.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2007
ISBN 10: 3540753338 ISBN 13: 9783540753339
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 80,37
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 339 pages. 9.30x6.10x0.80 inches. In Stock.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2011
ISBN 10: 3642214606 ISBN 13: 9783642214608
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 80,57
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 363 pages. 9.25x6.00x1.00 inches. In Stock.
Anbieter: FIRENZELIBRI SRL, Reggello, FI, Italien
Zustand: BUONO. Firenze, Olschki Ed. cm.18x25,5, pp.358 con 16 tavv. ft., brossura Collana Biblioteca di bibliografia italiana, 124.
Sprache: Italienisch
Verlag: Maggioli Editore, SANTARCANGELO DI ROMAGNA, 2005
ISBN 10: 8838730652 ISBN 13: 9788838730658
Anbieter: Biblioteca di Babele, Tarquinia, VT, Italien
Zustand: DISCRETO USATO. L'Esame da Avvocato ITALIANO Manuale per esami da avvocato, brossura filo refe, copertina lievemente sgualciture da contatto e segnata da attrito alle estremità, con patinato usurato da sfregamento e manipolazione, pigmento ingiallito e sbiadito, ombrato da aloni di polvere e umido da scaffale, fogli ben tenuti, velo di pulviscolo con fioriture ai tagli, testo tracciato da evidenziatore blu e annotazioni con biro al margine. N. pag. 354.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2012
ISBN 10: 3642300642 ISBN 13: 9783642300646
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 98,99
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2012 edition. 241 pages. 9.00x6.00x0.50 inches. In Stock.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 96,61
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 395 pages. 9.25x6.25x1.25 inches. In Stock.
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in conjunction with the 6th International Conference on Business Process Management, BPM 2008. The 13 revised full papers presented together with one invited paper were carefully reviewed and selected from 39 submissions. The papers feature topics such as analysis, test, and verification; choreographies and process calculi; transactions and interoperability; workflows and petri nets.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2012
ISBN 10: 3642300642 ISBN 13: 9783642300646
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 6th International Symposium on Trustworthy Global Computing, TGC 2011, held in Aachen, Germany, in June 2011. The 14 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections on modeling formalisms for concurrent systems; model checking and quantitative extensions thereof; semantics and analysis of modern programming languages; probabilistic models for concurrency; and testing and run-time verification.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mai 2009, 2009
ISBN 10: 3642013635 ISBN 13: 9783642013638
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in conjunction with the 6th International Conference on Business Process Management, BPM 2008. The 13 revised full papers presented together with one invited paper were carefully reviewed and selected from 39 submissions. The papers feature topics such as analysis, test, and verification; choreographies and process calculi; transactions and interoperability; workflows and petri nets.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2007
ISBN 10: 3540753338 ISBN 13: 9783540753339
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-proceedings of the Second Symposium on Trustworthy Global Computing, TGC 2006, held in Lucca, Italy, in November 2006. The 14 revised papers presented together with two keynote lectures were carefully reviewed and selected from 32 submissions. The book starts off with activity reviews of four FP6 programmes of the European Union: Aeolus, Mobius, Sensoria, and Catnets.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Trustworthy Global Computing | 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers | Roberto Bruni (u. a.) | Taschenbuch | x | Englisch | 2012 | Springer | EAN 9783642300646 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: preigu, Osnabrück, Deutschland
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.
Sprache: Englisch
Verlag: Springer, Palgrave Macmillan, 2017
ISBN 10: 3319428985 ISBN 13: 9783319428987
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevant formal techniques for reasoning on it and for proving some properties. After preliminary chapters that introduce the notions of structure and meaning, semantic methods, inference rules, and logic programming, the authors arrange their chapters into parts on IMP, a simple imperative language; HOFL, a higher-order functional language; concurrent, nondeterministic and interactive models; and probabilistic/stochastic models.The authors have class-tested the book content over many years, and it will be valuable for graduate and advanced undergraduate students of theoretical computer science and distributed systems, and for researchers in this domain. Each chapter of the book concludes with a list of exercises addressing the key techniques introduced, solutions to selected exercises are offered at the end of the book.