Gesamtpreis (1 Artikel Artikel):
Versandziel:
andre platzer (36 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (36)
- 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 (32)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (1)
- Gut oder Befriedigend (2)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (1)
Einband
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (15)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9â"13, 2024, Proceedings, Part I (Lecture Notes in Computer Science)
Anbieter: Books From California, Simi Valley, CA, USA
Verkäuferbewertung 4 von 5 Sternen
paperback. Zustand: Fine.
-
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9â"13, 2024, Proceedings, Part I (Lecture Notes in Computer Science)
Anbieter: Books From California, Simi Valley, CA, USA
Verkäuferbewertung 4 von 5 Sternen
paperback. Zustand: Very Good.
-
Logical Foundations of Cyber-Physical Systems
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Logical Foundations of Cyber-physical Systems
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 54,19
EUR 7,50 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New.
-
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I (Lecture Notes in Computer Science)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 47,84
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Automated Deduction - CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings (Lecture Notes in Artificial Intelligence)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 47,84
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, ... Computer Science and General Issues)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 53,87
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Logical Foundations Of Cyber-Physical Systems
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 60,84
EUR 7,50 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New.
-
Logical Foundations of Cyber-Physical Systems
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 59,91
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Logical Foundations of Cyber-Physical Systems
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 59,91
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In English.
-
Automated Deduction Cade 28: 28th International Conference on Automated Deduction, Virtual Event, July 1215, 2021, Proceedings
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2021
ISBN 10: 3030798755 ISBN 13: 9783030798758
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 76,20
EUR 14,42 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 650 pages. 9.25x6.10x1.34 inches. In Stock.
-
Formal Methods: 26th International Symposium, Fm 2024, Milan, Italy, September 913, 2024, Proceedings
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2024
ISBN 10: 3031711610 ISBN 13: 9783031711619
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 76,83
EUR 14,42 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 650 pages. 9.25x6.10x9.21 inches. In Stock.
-
Logical Foundations of Cyber-Physical Systems
Sprache: Englisch
Verlag: Springer International Publishing, 2019
ISBN 10: 3030096971 ISBN 13: 9783030096977
EUR 51,51
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New.
-
Logical Foundations of Cyber-Physical Systems
Sprache: Englisch
Verlag: Springer International Publishing, 2018
ISBN 10: 3319635875 ISBN 13: 9783319635873
EUR 51,51
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbGebunden. Zustand: New.
-
Logical Foundations of Cyber-physical Systems
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 91,60
EUR 17,30 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 639 pages. 9.75x6.75x1.75 inches. In Stock.
-
Automated Deduction ¿ CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12¿15, 2021, Proceedings
Sprache: Englisch
Verlag: Springer International Publishing, 2021
ISBN 10: 3030798755 ISBN 13: 9783030798758
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021.The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
-
Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9¿13, 2024, Proceedings, Part I
Sprache: Englisch
Verlag: Springer Nature Switzerland, 2024
ISBN 10: 3031711610 ISBN 13: 9783031711619
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions were organized in topical sections as follows:Part I: Invited papers; fundamentals of formal verification; foundations; learn and repair; programming languages.- logic and automata;Part II: Tools and case studies; embedded systems track; industry day track; tutorial papers.
-
Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 77,11
EUR 34,60 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 279 pages. 9.00x6.00x0.75 inches. In Stock.
-
Taschenbuch. Zustand: Neu. Formal Methods | 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I | André Platzer (u. a.) | Taschenbuch | xxii | Englisch | 2024 | Springer | EAN 9783031711619 | 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. Automated Deduction - CADE 28 | 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings | André Platzer (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2021 | Springer | EAN 9783030798758 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Correct System Design : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2015
ISBN 10: 3319235052 ISBN 13: 9783319235059
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Professor Olderog's contributions to the scientific community. It provides a sample of research ideas that have been influenced directly by Ernst-Rüdiger Olderog's work. After a laudatio section that provides a brief overview of Ernst-Rüdiger Olderog's research, the book is comprised of five parts with scientific papers written by colleagues and collaborators of Professor Olderog. The papers address semantics, process algebras, logics for verification, program analysis, and synthesis approaches.
-
Taschenbuch. Zustand: Neu. Correct System Design | Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings | Roland Meyer (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2015 | Springer | EAN 9783319235059 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
Logical Foundations of Cyber-Physical Systems
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Cyber-physical systems (CPSs) combine cyber capabilities, such as computation orcommunication, with physical capabilities, such as motion or other physical processes. Cars,aircraft, and robots are prime examples, because they move physically in space in a way that isdetermined by discrete computerized control algorithms. Designing these algorithms ischallenging due to their tight coupling with physical behavior, while it is vital that thesealgorithms be correct because we rely on them for safety-critical tasks.This textbook teaches undergraduate students the core principles behind CPSs. Itshows them how to develop models and controls; identify safety specifications andcritical properties; reason rigorously about CPS models; leverage multi-dynamicalsystems compositionality to tame CPS complexity;identify required control constraints;verify CPS models of appropriate scale in logic; and develop an intuitionfor operational effects.The book is supported with homework exercises, lecture videos, and slides.
-
Logical Foundations of Cyber-Physical Systems
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Cyber-physical systems (CPSs) combine cyber capabilities, such as computation orcommunication, with physical capabilities, such as motion or other physical processes. Cars,aircraft, and robots are prime examples, because they move physically in space in a way that isdetermined by discrete computerized control algorithms. Designing these algorithms ischallenging due to their tight coupling with physical behavior, while it is vital that thesealgorithms be correct because we rely on them for safety-critical tasks.This textbook teaches undergraduate students the core principles behind CPSs. Itshows them how to develop models and controls; identify safety specifications andcritical properties; reason rigorously about CPS models; leverage multi-dynamicalsystems compositionality to tame CPS complexity;identify required control constraints;verify CPS models of appropriate scale in logic; and develop an intuitionfor operational effects.The book is supported with homework exercises, lecture videos, and slides.
-
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 114,22
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 114,22
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 664 | Sprache: Englisch | Produktart: Bücher | This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021.The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
-
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2010
ISBN 10: 3642145086 ISBN 13: 9783642145087
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 153,71
EUR 14,42 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 426 pages. 9.20x6.30x1.20 inches. In Stock.
-
Taschenbuch. Zustand: Neu. Logical Analysis of Hybrid Systems | Proving Theorems for Complex Dynamics | André Platzer | Taschenbuch | xxx | Englisch | 2014 | Springer Berlin | EAN 9783642444746 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
