Knapp alexander (41 Ergebnisse)

8° , gebundene Ausgabe. Zustand: Sehr gut. 360 S. : Ill., graph. Darst. + 1 CD-ROM Gebraucht: sehr guter Zustand. Sprache: Englisch Gewicht in Gramm: 716.

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.

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.

Hardcover. Zustand: Très bon. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Ammareal gives back up to 15% of this item's net price to charity organizations.

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.…

Paperback. Zustand: Brand New. 1st edition. 212 pages. 10.75x8.50x0.75 inches. In Stock.

Zustand: New.

Zustand: New. In English.

Zustand: New. In English.

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.…

Zustand: New.

Zustand: New. In English.

Zustand: New. In English.

Paperback. Zustand: Brand New. 1st edition. 212 pages. 10.75x8.50x0.75 inches. In Stock.

Kartoniert / Broschiert. Zustand: New.

Zustand: New. In English.

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-orienteddesignisnotsuitedtoproducingclean well-structured code, as many applications show.…

Zustand: New. Drawing on firsthand recollections of those who knew and worked with the composer, this collection is the most comprehensive study to date of Bloch s life, musical achievement and reception. Contributors present the latest research on Bloch s works and comp.

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.

Hardcover. Zustand: Brand New. 280 pages. German language. 7.72x0.55x10.28 inches. In Stock.

Taschenbuch. Zustand: Neu. Neuware - Ernest Bloch left his native Switzerland to settle in the United States in 1916. One of the great twentieth-century composers, he was influenced by a range of genres and styles - Jewish, American and Swiss - and his works reflect his lifelong struggle with his identity. Drawing on firsthand recollections of relatives and others who knew and worked with the composer, this collection is the most comprehensive study to date of Bloch's life, musical achievement and reception. Contributors present the latest research on Bloch's works and compositional practice, including studies of his Avodath Hakodesh (Sacred Service), violin pieces such as Nigun, the symphonic Schelomo, and the opera Macbeth. Setting the quality and significance of Bloch's output in its historical and cultural contexts, this book provides scholarly analyses as well as a full chronology, list of online resources, catalogue of published and unpublished works, and selected further reading.…

Paperback. Zustand: Brand New. 264 pages. 9.30x6.20x0.60 inches. In Stock.

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. …

Gebundene Ausgabe. Zustand: Very Good. Titel: Alexander Brenner Houses: Dtsch.-Engl. Zustand: Guter gebrauchter Zustand. Schneller, sicherer Versand direkt aus Deutschland. 256 Seiten, 1. Auflage 2011, normale Gebrauchspuren, Hardcover (harter Einband), für die Schweiz gilt: wegen der Grenznähe ist das Buch bereits ein Werktag nach der Abholung bei der Schweizer Post, sonst erfolgt der Versand mit DHL. Book.…

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.…

Paperback. Zustand: Brand New. 477 pages. 6.14x0.97x9.21 inches. In Stock.

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.…

Paperback. Zustand: Brand New. 380 pages. 9.26x6.11x9.21 inches. In Stock.

Zustand: New.