Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 42,92
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 53,20
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 52,01
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Zustand: new.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 46,76
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 44,21
Anzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
Sprache: Englisch
Verlag: Springer Nature Switzerland AG, Cham, 2025
ISBN 10: 3032095239 ISBN 13: 9783032095237
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Paperback. Zustand: new. Paperback. This book constitutes the proceedings of the 19th International Conference on Reachability Problems, RP 2025, which took place in Madrid, Spain, during October 1-3, 2025.The 12 full papers included in these proceedings were carefully reviewed and selected from 35 submissions. The book also contains three invited talks in full paper length. The papers cover topics in reachability problems that appear, among others, in algebraic structures, automata theory and formal languages, computational game theory, concurrency and distributed computation, decision procedures in computational models, hybrid dynamical systems, logic and model checking, and verification of finite- and infinite-state systems. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 60,57
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 58,66
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 56,39
Anzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 58,65
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Zustand: New. pp. 124.
Zustand: new.
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Zustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 65,97
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2016
ISBN 10: 3319287656 ISBN 13: 9783319287652
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 62,90
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 176 pages. 9.25x6.10x0.40 inches. In Stock.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2020
ISBN 10: 3030350916 ISBN 13: 9783030350918
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 75,50
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 128 pages. 9.25x6.10x0.28 inches. In Stock.
Zustand: New.
Zustand: New.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 91,19
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 250 pages. 9.26x6.11x9.21 inches. In Stock.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing Jan 2016, 2016
ISBN 10: 3319287656 ISBN 13: 9783319287652
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughlyrefereed post-conference proceedings of the 10th International Symposium onTrustworthy Global Computing, TGC 2015, held in Madrid, Spain, in August/September2015.The 10 revised full papers presentedwere carefully reviewed and selected from 19 submissions. The Symposium onTrustworthy Global Computing focuses on frameworks, tools, algorithms, andprotocols for open-ended, large-scale systems and applications, and on rigorousreasoning about their behavior and properties.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Englisch.
Sprache: Englisch
Verlag: Springer International Publishing, 2016
ISBN 10: 3319287656 ISBN 13: 9783319287652
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughlyrefereed post-conference proceedings of the 10th International Symposium onTrustworthy Global Computing, TGC 2015, held in Madrid, Spain, in August/September2015. The 10 revised full papers presentedwere carefully reviewed and selected from 19 submissions. The Symposium onTrustworthy Global Computing focuses on frameworks, tools, algorithms, andprotocols for open-ended, large-scale systems and applications, and on rigorousreasoning about their behavior and properties.
Sprache: Englisch
Verlag: Springer International Publishing, Springer Nature Switzerland Nov 2019, 2019
ISBN 10: 3030350916 ISBN 13: 9783030350918
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 13th International Conference on Veri¿cation and Evaluation of Computer and Communication Systems ( VECoS 2019), held in Porto, Portugal, in October 2019.The 7 full papers in this volume, presented together with two invited talks, were carefully reviewed and selected from 13 submissions.The aim of the VECoS conference is to bring together researchers and practitioners in the areas of veri¿cation, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal veri¿cation and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 128 pp. Englisch.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030350916 ISBN 13: 9783030350918
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 13th International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2019), held in Porto, Portugal, in October 2019.The 7 full papers in this volume, presented together with two invited talks, were carefully reviewed and selected from 13 submissions.The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 19th International Conference on Reachability Problems, RP 2025, which took place in Madrid, Spain, during October 1-3, 2025.The 12 full papers included in these proceedings were carefully reviewed and selected from 35 submissions. The book also contains three invited talks in full paper length. The papers cover topics in reachability problems that appear, among others, in algebraic structures, automata theory and formal languages, computational game theory, concurrency and distributed computation, decision procedures in computational models, hybrid dynamical systems, logic and model checking, and verification of finite- and infinite-state systems.
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
EUR 101,14
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: New. New. book.
Verlag: Université Catholique de Louvain, 1977
Couverture souple. Zustand: bon. RO40244554: 1977. In-4. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 95 pages. Etiquette de code sur la couverture. Quelques tampons et annotations de bibliothèque. Range-fichette au dos du 2e plat. . . . Classification Dewey : 301-Sociologie.
Sprache: Englisch
Verlag: Springer International Publishing Jan 2016, 2016
ISBN 10: 3319287656 ISBN 13: 9783319287652
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughlyrefereed post-conference proceedings of the 10th International Symposium onTrustworthy Global Computing, TGC 2015, held in Madrid, Spain, in August/September2015. The 10 revised full papers presentedwere carefully reviewed and selected from 19 submissions. The Symposium onTrustworthy Global Computing focuses on frameworks, tools, algorithms, andprotocols for open-ended, large-scale systems and applications, and on rigorousreasoning about their behavior and properties. 176 pp. Englisch.