Verlag: Tudor Publishing Co. nd, New York
Anbieter: Abacus Bookshop, Pittsford, NY, USA
hardcover. Zustand: Fine. 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.
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: Springer Berlin / Heidelberg, 2004
ISBN 10: 3540211799 ISBN 13: 9783540211792
Anbieter: Better World Books, Mishawaka, IN, USA
Zustand: Very Good. 2004th Edition. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Sprache: Englisch
Verlag: American Psychological Association, 2022
ISBN 10: 1433836181 ISBN 13: 9781433836183
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 57,13
Anzahl: 3 verfügbar
In den WarenkorbZustand: New.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 50,73
Anzahl: 2 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 52,93
Anzahl: 2 verfügbar
In den WarenkorbZustand: New. In.
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.
Sprache: Englisch
Verlag: Cambridge University Press, 2020
ISBN 10: 1108792626 ISBN 13: 9781108792622
Anbieter: Kennys Bookstore, Olney, MD, USA
Zustand: New.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 61,61
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 61,61
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 69,55
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 212 pages. 10.75x8.50x0.75 inches. In Stock.
Zustand: new.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 80,24
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
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 79,19
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, 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. 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.
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 116,66
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 122,03
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 380 pages. 9.26x6.11x9.21 inches. In Stock.
Zustand: New.
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. 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: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 137,31
Anzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 257 pages. 9.75x7.00x0.75 inches. In Stock.
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.