Gesamtpreis (1 Artikel Artikel):
Versandziel:
bjorner nikolaj (20 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (20)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (17)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (3)
- Gut oder Befriedigend (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Einband
- alle Einbände
- Hardcover (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Softcover (20)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (7)
Sprache (1)
Gratisversand
- Kostenloser Versand nach USA (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Land des Verkäufers
Verkäuferbewertung
-
Distributed Computing and Internet Technology: 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings ... Applications, incl. Internet/Web, and HCI)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 54,21
EUR 13,80 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011, Proceedings (Lecture Notes in Artificial Intelligence, Band 6803)
Sprache: Englisch
Verlag: Berlin, Heidelberg: Springer-Verlag, 2011
ISBN 10: 3642224377 ISBN 13: 9783642224379
Anbieter: Antiquariat Bernhardt, Kassel, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Broschiert Broschiert. Zustand: Sehr gut. XIII, 508 Seiten, Lecture Notes in Artificial Intelligence, Band 6803. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 792.
-
Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wroc?aw, Poland, July 31 -- August 5, 2011, Proceedings (Lecture Notes in Computer Science, 6803)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,28
EUR 13,80 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (Programming and Software Engineering)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,28
EUR 13,80 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings (Lecture Notes in Computer Science, 7180)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,28
EUR 13,80 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised ... Computer Science and General Issues)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,28
EUR 13,80 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Distributed Computing and Internet Technology: 12th International Conference, Icdcit 2016, Proceedings
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2016
ISBN 10: 3319280333 ISBN 13: 9783319280332
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 78,73
EUR 11,52 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 248 pages. 9.25x6.10x0.56 inches. In Stock.
-
Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, Psi 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2020
ISBN 10: 3030374866 ISBN 13: 9783030374860
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 79,24
EUR 11,52 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. revised edition. 450 pages. 9.25x6.10x0.64 inches. In Stock.
-
Perspectives Of System Informatics : 12t
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, Lpar-18, Merida, Venezuela, March 11-15, 2012, Proceedings
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2012
ISBN 10: 3642287166 ISBN 13: 9783642287169
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 82,26
EUR 14,40 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2012 edition. 457 pages. 9.25x6.10x1.02 inches. In Stock.
-
Automated Deduction -- Cade-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2011
ISBN 10: 3642224377 ISBN 13: 9783642224379
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 84,11
EUR 14,40 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2011 edition. 521 pages. 9.30x6.10x1.10 inches. In Stock.
-
Perspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2¿5, 2019, Revised Selected Papers
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030374866 ISBN 13: 9783030374860
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 12th International Andrei P. Ershov Informatics Conference, PSI 2019, held in Novosibirsk, Russia, in July 2019.The 18 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers cover various topics related to the Mathematics of Computing, Information Systems, Formal Languages, dependable and fault-tolerant Systems and Network, Automata Theory, and much more.
-
FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2015
ISBN 10: 3319192485 ISBN 13: 9783319192482
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.
-
Taschenbuch. Zustand: Neu. Distributed Computing and Internet Technology | 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings | Nikolaj Bjorner (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxi | Englisch | 2015 | Springer | EAN 9783319280332 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Distributed Computing and Internet Technology : 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This bookconstitutes the proceedings of the 12th International Conference on DistributedComputing and Internet Technology, ICDCIT 2016, held in Bhubaneswar, India, inJanuary 2016. The 6 fullpapers, 7 short papers and 11 poster papers presented in this volume werecarefully reviewed and selected from 129 submissions. The ICDCIT conferencefocusses on distributed computing, internet technologies, and societalapplications. The book also contains 3 full paper invited talks.
-
Taschenbuch. Zustand: Neu. Perspectives of System Informatics | 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers | Nikolaj Bjørner (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xviii | Englisch | 2019 | Springer | EAN 9783030374860 | 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. FM 2015: Formal Methods | 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings | Nikolaj Bjørner (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2015 | Springer | EAN 9783319192482 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Fm 2015: Formal Methods: 20th International Symposium, Proceedings
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2015
ISBN 10: 3319192485 ISBN 13: 9783319192482
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 84,69
EUR 40,33 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2015 edition. 628 pages. 9.25x6.10x1.42 inches. In Stock.
-
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 508 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 446 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
