Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
Verlag: Tudor Publishing Co. nd, New York
Anbieter: Abacus Bookshop, Pittsford, NY, USA
hardcover. Profusely illustrated (illustrator). reprint. 8vo, 427 pp., With notes, revisions and additions by William H. Klapp Fine copy in very good dust jacket.
Sprache: Englisch
Verlag: Mannheim ; Leipzig ; Wien ; Zürich : Dudenverlag, 2004
ISBN 10: 3411719516 ISBN 13: 9783411719518
Anbieter: Kepler-Buchversand Huong Bach, Weil der Stadt, Deutschland
8° , gebundene Ausgabe. Zustand: Sehr gut. 360 S. : Ill., graph. Darst. + 1 CD-ROM Gebraucht: sehr guter Zustand. Sprache: Englisch Gewicht in Gramm: 716.
Sprache: Englisch
Verlag: American Psychological Association (edition 1), 2022
ISBN 10: 1433836181 ISBN 13: 9781433836183
Anbieter: BooksRun, Philadelphia, PA, USA
Paperback. Zustand: Very Good. 1. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.
Sprache: Englisch
Verlag: American Psychological Association (edition 1), 2022
ISBN 10: 1433836181 ISBN 13: 9781433836183
Anbieter: BooksRun, Philadelphia, PA, USA
Paperback. Zustand: New. 1. The item is brand new, never used or read. It's in perfect condition and may include supplements and/or access codes or come shrink-wrapped.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 49,40
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 212 pages. 10.75x8.50x0.75 inches. In Stock.
Sprache: Englisch
Verlag: American Psychological Association, 2022
ISBN 10: 1433836181 ISBN 13: 9781433836183
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 51,18
Anzahl: 2 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Cambridge University Press, 2017
ISBN 10: 1107039096 ISBN 13: 9781107039094
Anbieter: AMM Books, Gillingham, KENT, Vereinigtes Königreich
EUR 55,62
Anzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Very Good. In stock ready to dispatch from the UK.
Verlag: Philadelphia, Saunders, 1965, 1965
Anbieter: Joseph Valles - Books, Stockbridge, GA, USA
Hardcover. Zustand: Good. 5th or later Edition. 24th ed. ; xxxvii, 1724 p. illus. (part col.) ; LCCN: 00-6383 ; LC: R121; Dewey: 610.3; NLM: W13; NAL: 448 ; OCLC: 165804 ; Comprehensive biomedical dictionary that reflects standard and current terminology derived from medicine and related disciplines. Official nomenclature from various fields used in compilation. Also includes eponyms, acronyms, abbreviations, and botanical terms, as well as generic and trade names of many drugs. Entries include pronunciation, derivation, plural, definition, and subentries. Cross references. Illustrations throughout." ; well worn copy, but hinges tight in a still serviceable copy ; flexible textured faux leather covers ; G. Book.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 68,92
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 212 pages. 10.75x8.50x0.75 inches. In Stock.
Zustand: new.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2004
ISBN 10: 3540211799 ISBN 13: 9783540211792
Anbieter: moluna, Greven, Deutschland
EUR 48,37
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: moluna, Greven, Deutschland
Zustand: New. Deliberate practice exercises help clinicians develop competence in fundamental motivational interviewing skills to better assist clients with change goals, like quitting addictive behaviors and developing healthier habits, and to improve treatment engageme.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2016
ISBN 10: 3319459422 ISBN 13: 9783319459424
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 78,47
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 264 pages. 9.30x6.20x0.60 inches. In Stock.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing Sep 2016, 2016
ISBN 10: 3319459422 ISBN 13: 9783319459424
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the papers from the workshop 'Radical Innovations of Software and Systems Engineering in the Future.' This workshop was the ninth in the series of Monterey Software Engineering workshops for formulating and advancing software engineering models and techniques, with the fundamental theme of increasing the practical impact of formal methods. During the last decade object orientation was the driving factor for new system solutions in many areas ranging from e-commerce to embedded systems. New modeling languages such as UML and new programming languages such as Java and CASE tools have considerably in uenced the system development techniques of today and will remain key techniques for the near future. However, actual practice shows many de ciencies of these new approaches: - there is no proof and no evidence that software productivity has increased with the new methods; - UML has no clean scienti c foundations, which inhibits the construction of powerful analysis and development tools; - support for mobile distributed system development is missing; - formanyapplications,object-orienteddesignisnotsuitedtoproducing clean well-structured code, as many applications show.
Sprache: Englisch
Verlag: Springer International Publishing, 2016
ISBN 10: 3319459422 ISBN 13: 9783319459424
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the Joint 21st International Workshopon Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed andselected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies.
Taschenbuch. Zustand: Neu. Radical Innovations of Software and Systems Engineering in the Future | 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers | Martin Wirsing (u. a.) | Taschenbuch | ix | Englisch | 2004 | Springer | EAN 9783540211792 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Critical Systems: Formal Methods and Automated Verification | Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings | Maurice H. Ter Beek (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2016 | Springer | EAN 9783319459424 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 115,60
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 477 pages. 6.14x0.97x9.21 inches. In Stock.
Verlag: Philadelphia, Saunders, 1965, 1965
Anbieter: Joseph Valles - Books, Stockbridge, GA, USA
Hardcover. Zustand: Good. 24th ed. ; xxxvii, 1724 p. illus. (part col.) ; LCCN: 00-6383 ; LC: R121; Dewey: 610.3; NLM: W13; NAL: 448 ; OCLC: 165804 ; Comprehensive biomedical dictionary that reflects standard and current terminology derived from medicine and related disciplines. Official nomenclature from various fields used in compilation. Also includes eponyms, acronyms, abbreviations, and botanical terms, as well as generic and trade names of many drugs. Entries include pronunciation, derivation, plural, definition, and subentries. Cross references. Illustrations throughout." ; some wear, but hinges tight ; flexible textured faux leather covers ; G. Book.
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2025
ISBN 10: 303192195X ISBN 13: 9783031921957
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 120,91
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 380 pages. 9.26x6.11x9.21 inches. In Stock.
Sprache: Englisch
Verlag: Springer Nature Switzerland, Springer Nature Switzerland Nov 2024, 2024
ISBN 10: 3031773810 ISBN 13: 9783031773815
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 480 pp. Englisch.
Sprache: Englisch
Verlag: Springer Nature Switzerland, Springer Nature Switzerland, 2024
ISBN 10: 3031773810 ISBN 13: 9783031773815
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6-8, 2024.The 23 full papers included in this book were carefully reviewed and selected from 68 submissions.The topics covered range from formal modelling, specification, and design in software development over safety-critical, fault-tolerant, and secure systems to real-time, hybrid, and cyber-physical systems and quantum computing.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Software Engineering and Formal Methods | 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings | Alexandre Madeira (u. a.) | Taschenbuch | xv | Englisch | 2024 | Springer | EAN 9783031773815 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Go Where the Bugs Are | Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday | Gidon Ernst (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2025 | Springer | EAN 9783031921957 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift, dedicated to Wolfgang Reif on the occasion of his 65th birthday, collects contributions written by many of his closest research colleagues and many of his former students.After obtaining his PhD in Karlsruhe in 1991, Wolfgang was appointed professor in Ulm in 1994 and then moved on to a chair in Augsburg in 2000. He was the founding dean of the Faculty for Applied Computer Science where he established an Elite Master programme on Software Engineering together with TU Munich and LMU Munich and the study programme on Computer Science in Engineering. In 2008 he founded the Institute for Software & Systems Engineering and became its scientific director. He has coauthored more than 280 academic publications, led about 30 third-party-funded research projects, and supervised about 40 PhD students.The volume reflects two particularly prominent aspects of Wolfgang's outstanding academic career: the breadth of topics covered by him that range from formal methods, safety, and security over self-organizing systems to robotics, automation, and artificial intelligence methods; and the constant goal of applying innovative theoretical methods to practical applications in competitive, realistic, and large case studies.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 193,92
Anzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 257 pages. 9.75x7.00x0.75 inches. In Stock.
Verlag: n.p. [1967] *, 1967
Anbieter: Travis & Emery Music Bookshop, London, Vereinigtes Königreich
Noten Signiert
EUR 35,38
Anzahl: 1 verfügbar
In den WarenkorbFolio (31 x 23cm) 21 pages. Facsimile photocopy of the composer's manuscript, copied single sided and assembled with small neat staples to both edges, reinforced with clear tape on left outer join. Inscribed by the composer "To Michael Matthews, With all very best wishes, from Alexander. 21.IX.68".
Sprache: Deutsch
Verlag: Verlag für Gesellschaftskritik, 1993
ISBN 10: 385115181X ISBN 13: 9783851151817
Anbieter: Goodbooks-Wien, Schleinbach, AT, Österreich
Softcover. Zustand: Gut. Softcover, leichte Gebrauchsspuren, Verlag für Gesellschaftskritik 1993, Versand weltweit / international shipping.