EUR 37,25
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 496.
Verlag: Springer Berlin Heidelberg, 2013
ISBN 10: 3642407927 ISBN 13: 9783642407925
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
EUR 39,79
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut - Auflage 2013 | Seiten: 320 | Sprache: Englisch | Produktart: Bücher.
EUR 45,66
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: 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.
EUR 45,66
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
EUR 38,04
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 496.
EUR 36,58
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 496 Figure, 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Verlag: Springer International Publishing, Springer Nature Switzerland Nov 2019, 2019
ISBN 10: 3030350916 ISBN 13: 9783030350918
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. 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.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 2013, 2013
ISBN 10: 3642407927 ISBN 13: 9783642407925
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013, held in Toulouse, France, in September 2013.The 20 revised full papers presented together with 5 practical experience reports were carefully reviewed and selected from more than 88 submissions. The papers are organized in topical sections on safety requirements and assurance, testing and verification, security, software reliability assessment, practical experience reports and tools, safety assurance in automotive, error control codes, dependable user interfaces, and hazard and failure mode analysis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2005, 2005
ISBN 10: 3540257233 ISBN 13: 9783540257233
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established conferences in the eld of dependability in the European research area. Budapest was selected as the host of this conference due to its traditions in organizing international scienti c events and its traditional role of serving as a meeting point between East and West. EDCC-5 was the fth in the series of these high-quality scienti c conf- ences. In addition to the overall signi cance of such a pan-European event, this year¿s conference was a special one due to historic reasons. The roots of EDCC date back to the moment when the Iron Curtain fell. Originally, two groups of scientists from di erent European countries in Western and Eastern Europe ¿ who were active in research and education related to dependability created a ¿ joint forum in order to merge their communities as early as in 1989. This trend has continued up to today. This year¿s conference was the rst one where the overwhelming majority of the research groups belong to the family of European nations united in the European Union. During the past 16 years we observed that the same roots in all the professional, cultural and scienti c senses led to a seamless integration of these research communities previously separated ar- cially for a long time. EDCC has become one of the main European platforms to exchange new - searchideasinthe eldofdependability. 496 pp. Englisch.
Verlag: Springer Berlin Heidelberg, 2005
ISBN 10: 3540257233 ISBN 13: 9783540257233
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established conferences in the eld of dependability in the European research area. Budapest was selected as the host of this conference due to its traditions in organizing international scienti c events and its traditional role of serving as a meeting point between East and West. EDCC-5 was the fth in the series of these high-quality scienti c conf- ences. In addition to the overall signi cance of such a pan-European event, this year's conference was a special one due to historic reasons. The roots of EDCC date back to the moment when the Iron Curtain fell. Originally, two groups of scientists from di erent European countries in Western and Eastern Europe - who were active in research and education related to dependability created a - joint forum in order to merge their communities as early as in 1989. This trend has continued up to today. This year's conference was the rst one where the overwhelming majority of the research groups belong to the family of European nations united in the European Union. During the past 16 years we observed that the same roots in all the professional, cultural and scienti c senses led to a seamless integration of these research communities previously separated ar- cially for a long time. EDCC has become one of the main European platforms to exchange new - searchideasinthe eldofdependability.
Verlag: Springer Berlin Heidelberg, 2013
ISBN 10: 3642407927 ISBN 13: 9783642407925
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013, held in Toulouse, France, in September 2013.The 20 revised full papers presented together with 5 practical experience reports were carefully reviewed and selected from more than 88 submissions. The papers are organized in topical sections on safety requirements and assurance, testing and verification, security, software reliability assessment, practical experience reports and tools, safety assurance in automotive, error control codes, dependable user interfaces, and hazard and failure mode analysis.
Verlag: Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030350916 ISBN 13: 9783030350918
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. 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.
Verlag: Springer Berlin Heidelberg, 2005
ISBN 10: 3540257233 ISBN 13: 9783540257233
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
EUR 64,08
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New. It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established conferences in the ?eld of dependability in the European research area. Budapest was selected as the host of this conferen.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 62,11
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 62,11
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 62,11
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 54,99
Währung umrechnenAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 56,35
Währung umrechnenAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 54,78
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 55,12
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 55,53
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 58,01
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 59,39
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 62,09
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 64,52
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 68,07
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Anbieter: Books Puddle, New York, NY, USA
EUR 80,43
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 124.
Verlag: Springer-Verlag New York Inc, 2020
ISBN 10: 3030350916 ISBN 13: 9783030350918
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 77,71
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 128 pages. 9.25x6.10x0.28 inches. In Stock.
EUR 83,04
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. xvi + 304.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 53,56
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.