Produktart
Zustand
Einband
Weitere Eigenschaften
Gratisversand
Land des Verkäufers
Verkäuferbewertung
Verlag: Cyanus, 2006
ISBN 10: 3000194525ISBN 13: 9783000194528
Anbieter: medimops, Berlin, Deutschland
Buch
Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
Mehr Angebote von anderen Verkäufern bei ZVAB
Gebraucht ab EUR 6,33
Verlag: Springer
Anbieter: WeBuyBooks, Rossendale, LANCS, Vereinigtes Königreich
Zustand: Good. Most items will be dispatched the same or the next working day. Ex library copy with usual stamps & stickers.
Verlag: Müller, Rudolf, 1981
ISBN 10: 3481166516ISBN 13: 9783481166519
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
Buch
196 Seiten Ehemaliges Bibliotheksexemplar mit Stempel und Signatur, moderate Gebrauchsspuren, Seiten Sauber, Guter Zustand. 9783481166519 Sprache: Deutsch Gewicht in Gramm: 440.
Verlag: Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1994
ISBN 10: 3540574794ISBN 13: 9783540574798
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Buch
Broschiert. Zustand: Gut. XII, 258 S. Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Sprache: Deutsch Gewicht in Gramm: 420.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 29,95
Gebraucht ab EUR 2,95
Mehr entdecken Softcover
Verlag: Dt. Univ.-Verlag;, 2003
ISBN 10: 3824478854ISBN 13: 9783824478859
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Buch
Broschiert. Zustand: Gut. 407 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); Einbandkanten sind etwas bestoßen; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Sprache: Deutsch Gewicht in Gramm: 550.
Anbieter: Antiquariat Uwe Berg, Toppenstedt, Deutschland
Buch
Eine strafrechtliche und kriminologische Untersuchung zur politischen Korruption. Blutau, Kiel um 1980, VII, 137 S., OKart., Stempel auf Vorsatzt, gutes Ex. 3006643 Sprache: Deutsch.
Verlag: Cambridge University Press, 1991
ISBN 10: 0521400449ISBN 13: 9780521400442
Anbieter: Ammareal, Morangis, Frankreich
Buch
Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 1991. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1991. Ammareal gives back up to 15% of this item's net price to charity organizations.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 232,38
Gebraucht ab EUR 16,05
Mehr entdecken Hardcover
Verlag: Kiel, 1965
Anbieter: Zentralantiquariat Leipzig GmbH, Leipzig, Deutschland
Verbandsmitglied: BOEV
VII, 137 S. OBr. M. mont. Rtit. Sprache: Deutsch.
Verlag: Cambridge University Press, 2008
Anbieter: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Deutschland
Verbandsmitglied: GIAQ
Buch
Softcover/Paperback. Revised ed. 280 p. Very good. Shrink wrapped. / Sehr guter Zustand. In Folie verschweißt. Sprache: Englisch Gewicht in Gramm: 505.
Verlag: SAGE Publications, 2010
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
Buch
Softvover. 75 p. Except the named artical you find other scientifical dues as well. Very good condition! zqx Sprache: Englisch Gewicht in Gramm: 330.
Verlag: Springer Berlin Heidelberg, 2002
ISBN 10: 3540441654ISBN 13: 9783540441656
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techniques in Real-Time and Fault-Tolerant Systems, held at the University of Oldenburg, Germany, 9-12 September 2002. This sym- sium was the seventh in a series of FTRTFT symposia devoted to problems and solutions in safe system design. The previous symposia took place in Warwick 1990, Nijmegen 1992, Lub eck 1994, Uppsala 1996, Lyngby 1998, and Pune 2000. Proceedings of these symposia were published as volumes 331, 571, 863, 1135, 1486, and 1926 in the LNCS series by Springer-Verlag. This year the sym- sium was co-sponsored by IFIP Working Group 2.2 on Formal Description of Programming Concepts. The symposium presented advances in the development and use of formal techniques in the design of real-time, hybrid, fault-tolerant embedded systems, covering all stages from requirements analysis to hardware and/or software - plementation. Particular emphasis was placed on UML-based development of real-time systems. Through invited presentations, links between the dependable systems and formal methods research communities were strengthened. With the increasing use of such formal techniques in industrial settings, the conference aimed at stimulating cross-fertilization between challenges in industrial usages of formal methods and advanced research. Inresponsetothecallforpapers,39submissionswerereceived.Eachsubm- sion was reviewed by four program committee members assisted by additional referees. At the end of the reviewing process, the program committee accepted 17 papers for presentation at the symposium.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 58,10
Verlag: Springer International Publishing, 2021
ISBN 10: 303091383XISBN 13: 9783030913830
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers written by many of his friends and collaborators.Bengt has made major contributions covering a wide range of topics including verification and learning. His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both the diversity and the depth of his research. Besides being an excellent scientist, Bengt is also a leader who has greatly influenced the careers of both his students and his colleagues.His main focus throughout his career has been in the area of formal methods, and the research papers dedicated to him in this volume address related topics, particularly related to model checking, temporal logic, and automata learning.
Verlag: Cambridge University Press, 2005
ISBN 10: 0521018455ISBN 13: 9780521018456
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction.
Verlag: Cambridge University Press, 2008
ISBN 10: 0521883334ISBN 13: 9780521883337
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata) needed for embedded safety-critical applications.
Verlag: Springer, 1999
ISBN 10: 3540666249ISBN 13: 9783540666240
Anbieter: Ammareal, Morangis, Frankreich
Buch
Softcover. Zustand: Bon. Ancien livre de bibliothèque. Salissures sur la tranche. Edition 1999. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Soiling on the side. Edition 1999. Ammareal gives back up to 15% of this item's net price to charity organizations.
Verlag: Springer-Verlag GmbH, 1997
ISBN 10: 0387948961ISBN 13: 9780387948966
Anbieter: Buchpark, Trebbin, Deutschland
Buch
Zustand: Gut. Zustand: Gut - Gebrauchs- und Lagerspuren. Innen: Seiten eingerissen, Geknickt. | Seiten: 388.
Mehr Angebote von anderen Verkäufern bei ZVAB
Gebraucht ab EUR 6,99
Springer 1991 cloth, 441 pp. ISBN (3540975322) (code Sc-60).
Springer 1997 cltoh, 2nd edition, 364 pp. ISBN (9780387948966) (code Sc-36).
Verlag: Springer Fachmedien Wiesbaden, 2017
ISBN 10: 365817529XISBN 13: 9783658175290
Anbieter: Buchpark, Trebbin, Deutschland
Buch
Zustand: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand.