Gesamtpreis (1 Artikel Artikel):
Versandziel:
vytopil (26 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (26)
- 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
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 (12)
Sprache (4)
Gratisversand
- Kostenloser Versand nach USA (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Land des Verkäufers
Verkäuferbewertung
-
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, the Netherlands, January 8-10, 1992 Proceedings (Lecture Notes in Computer Science 571)
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 7,97
EUR 14,42 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Zustand des Schutzumschlags: No Dust Jacket. Lecture Notes in Computer Science 571; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.
-
QUILTEN IN NEDERLAND - WERK EN METHODEN
Verlag: VBK Media
Anbieter: WeBuyBooks, Rossendale, LANCS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 8,75
EUR 7,53 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned.
-
Patchwork quilts: ontwerpen en uitvoeren
Verlag: De Bilt : Cantecleer, 1990
ISBN 10: 9021305895 ISBN 13: 9789021305899
Anbieter: Barksdale Books, Almere, Niederlande
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Softcover flexiband, veel (paginagrote) illustraties in kleur en z/w, groot 8vo.
-
Patchwork quilts: ontwerpen en uitvoeren
Verlag: De Bilt : Cantecleer, 1990
ISBN 10: 9021305895 ISBN 13: 9789021305899
Anbieter: Barksdale Books, Almere, Niederlande
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Softcover flexiband, veel (paginagrote) illustraties in kleur en z/w, 8vo.; Naam op schutblad.
-
Softcover. Zustand: Fair. Beschriftungen / Markierungen; Wasserschaden / Verschmutzung; Leichte Risse; Geknickte Ecken. Interviews met twaalf in Nederland woonachtige quilters, waarin zij vertellen over achtergronden, beleving, ontwerpen en het maken van quilts.
-
Verlicht wonen - licht en verlichting in en om het huis
Verlag: Terra
ISBN 10: 9062558763 ISBN 13: 9789062558766
Anbieter: Mooney's bookstore, Den Helder, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: Very good.
-
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, the Netherlands, January 8-10, 1992 Proceedings
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Sehr gut. 620 Seiten ex Library Book aus einer wissenschaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 469.
-
Quilten in Nederland. Werk en methoden
Anbieter: Antiquariaat Schot, Hendrik-Ido-Ambacht, Niederlande
Verkäuferbewertung 5 von 5 Sternen
Geb., hardcover, groot formaat, i.z.g.st., 104 pagina's.
-
Quilten in Nederland. Werk en methoden
Anbieter: Antiquariaat Schot, Hendrik-Ido-Ambacht, Niederlande
Verkäuferbewertung 5 von 5 Sternen
Geb., hardcover, groot formaat, gaaf exemplaar, 104 pagina's.
-
Quilten in Nederland: Werd En Methoden
Anbieter: Mooney's bookstore, Den Helder, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: Very good.
-
Patchwork-quilts. Ontwerpen en uitvoeren
Verlag: Cantecleer 1990, 1990
Anbieter: Antiquariaat Schot, Hendrik-Ido-Ambacht, Niederlande
Verkäuferbewertung 5 von 5 Sternen
Geb., flexcover, i.z.g.st., 191 pagina's.
-
Quilten in Nederland: Werd En Methoden
Anbieter: Mooney's bookstore, Den Helder, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: Very good.
-
Strokenquilts in het interieur
Sprache: Niederländisch
ISBN 10: 9021324156 ISBN 13: 9789021324159
Anbieter: Houtman Boeken, Utrecht, Niederlande
Verkäuferbewertung 5 von 5 Sternen
1998, 48pp, Nette paperback.
-
Patchwork quilts ontwerpen en uitvoeren
Verlag: Cantecleer
ISBN 10: 9021305895 ISBN 13: 9789021305899
Anbieter: Mooney's bookstore, Den Helder, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: Very good.
-
Patchwork quilts ontwerpen en uitvoeren
Verlag: Cantecleer
ISBN 10: 9021305895 ISBN 13: 9789021305899
Anbieter: Mooney's bookstore, Den Helder, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: Very good.
-
Quilten in Nederland: Werd En Methoden
Anbieter: Mooney's bookstore, Den Helder, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: Very good.
-
Patchwork-quilts. Ontwerpen en uitvoeren. 1. Aufl.
Verlag: de Bilt, Cantecleer., 1990
ISBN 10: 9021305895 ISBN 13: 9789021305899
Anbieter: Antiquariat Held, Stuttgart, Deutschland
Verkäuferbewertung 2 von 5 Sternen
Mit 52 (49 farb.) Abb. u. zahlr. (1 farb.) Illustr. 191 S. Gr. 8°. Farb. illustr., flexibler OPbd., dieser etwas bestoßen, sonst gutes Exemplar. Sprache: niederländisch.
-
Formal Techniques in Real-Time and Fault-Tolerant Systems
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 141,16
EUR 7,50 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 812 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Formal Techniques in Real-Time and Fault-Tolerant Systems : Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1991
ISBN 10: 3540550925 ISBN 13: 9783540550921
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents state-of-the-art research results in thearea of formal methods for real-time and fault-tolerantsystems. The papers consider problems and solutions insafety-critical system design and examine how wellthe useof formal techniques for design, analysis and verificationserves in relating theory to practical realities.The book contains papers on real-time and fault-toleranceissues. Formal logic, process algebra, and action/eventmodels are applied:- to specify and model qualitative and quantitativereal-time and fault-tolerant behavior,- to analyze timeliness requirements and consequences offaulthypotheses,- to verify protocols and program code,- to formulate formal frameworks for development ofreal-time and fault-tolerant systems,- to formulate semantics of languages.The integration and cross-fertilization of real-time andfault-tolerance issues have brought newinsights in recentyears, and these are presented in this book.
-
Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1994
ISBN 10: 3540584684 ISBN 13: 9783540584681
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably Correct Systems (ProCoS) at Lübeck, Germany in September 1994.The book contains full versions of 5 invited talks and 33 carefully selected refereed contributions as well as 12 tool demonstrations. It documents that formal techniques constitute the foundation of a systematic design of real-time, fault-tolerant, and hybrid systems, throughout the whole engineering process, from the capture of requirements through specification, design, coding and compilation, right down to the hardware that embeds the system into its environment.
-
Contractual Control in the Supply Chain : On Corporate Social Responsibility, Codes of Conduct, Contracts and (Avoiding) Liability
Sprache: Englisch
Verlag: Eleven International Publishing, 2015
ISBN 10: 9462365911 ISBN 13: 9789462365919
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 358 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
Formal Techniques in Real-Time and Fault-Tolerant Systems
Sprache: Englisch
Verlag: Springer US, Springer New York, 2012
ISBN 10: 1461364140 ISBN 13: 9781461364146
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verification of fault-tolerant computing systems. The term `fault-tolerance' refers to a system having properties which enable it to deliver its specified function despite (certain) faults of its subsystem. Fault-tolerance is achieved by adding extra hardware and/or software which corrects the effects of faults. In this sense, a system can be called fault-tolerant if it can be proved that the resulting (extended) system under some model of reliability meets the reliability requirements. The main theme of Formal Techniques in Real-Time and Fault-Tolerant Systems can be formulated as follows: how do the specification, development and verification of conventional and fault-tolerant systems differ How do the notations, methodology and tools used in design and development of fault-tolerant and conventional systems differ Formal Techniques in Real-Time and Fault-Tolerant Systems is divided into two parts. The chapters in Part One set the stage for what follows by defining the basic notions and practices of the field of design and specification of fault-tolerant systems. The chapters in Part Two represent the `how-to' section, containing examples of the use of formal methods in specification and development of fault-tolerant systems. The book serves as an excellent reference for researchers in both academia and industry, and may be used as a text for advanced courses on the subject.
-
Formal Techniques in Real-Time and Fault-Tolerant Systems
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verification of fault-tolerant computing systems. The term `fault-tolerance' refers to a system having properties which enable it to deliver its specified function despite (certain) faults of its subsystem. Fault-tolerance is achieved by adding extra hardware and/or software which corrects the effects of faults. In this sense, a system can be called fault-tolerant if it can be proved that the resulting (extended) system under some model of reliability meets the reliability requirements. The main theme of Formal Techniques in Real-Time and Fault-Tolerant Systems can be formulated as follows: how do the specification, development and verification of conventional and fault-tolerant systems differ How do the notations, methodology and tools used in design and development of fault-tolerant and conventional systems differ Formal Techniques in Real-Time and Fault-Tolerant Systems is divided into two parts. The chapters in Part One set the stage for what follows by defining the basic notions and practices of the field of design and specification of fault-tolerant systems. The chapters in Part Two represent the `how-to' section, containing examples of the use of formal methods in specification and development of fault-tolerant systems. The book serves as an excellent reference for researchers in both academia and industry, and may be used as a text for advanced courses on the subject.
-
Patchwork-quiltsOotwerpen en uitvoeren.
Anbieter: SomeThingz. Books etcetera., Averbode, Belgien
Verkäuferbewertung 5 von 5 Sternen
De Bilt, Cantecleer, 1991 Tweede druk. Softcover, 191pp., 18x24.5cm., geïllustreerd in kleur en z/w., in zeer goede staat.
-
Verlicht wonen - licht en verlichting in en om het huis
Verlag: Terra, 1999
ISBN 10: 9062558763 ISBN 13: 9789062558766
Hardcover. Zustand: Good. Dutch.
-
Hardcover. Zustand: Good. 191 p. : ill. ; 28 cm Vert. van: The appliqué book. - London : Lincoln, cop. 1990.Appliqué book. - London : Lincoln, cop. 1990 Dutch 1e dr. Met reg.
