Knoop Jens (59 results)

- Hardcover
Seller: WeBuyBooks, Rossendale, LANCS, United KingdomWeBuyBooks
Contact seller5-star sellerCondition: Used - As new
£ 1.26
£ 7.77 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
hardcover. Condition: Like New. Most items will be dispatched the same or the next working day. An apparently unread copy in perfect condition. Dust cover is intact with no nicks or tears. Spine has no signs of creasing. Pages are clean and not marred by notes or folds of any kind.

- Softcover
Seller: WorldofBooks, Goring-By-Sea, WS, United KingdomWorldofBooks
Contact seller5-star sellerCondition: Used - Very good
£ 7.06
£ 5.60 shippingShips from United Kingdom to U.S.A.Quantity: 8 available
Paperback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.

- Hardcover
Seller: Bahamut Media, Reading, United KingdomBahamut Media
Contact seller5-star sellerCondition: Used - Very good
£ 9.98
£ 3.99 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Hardcover. Condition: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee.

- Hardcover
Seller: Mooney's bookstore, Den Helder, NetherlandsMooney's bookstore
Contact seller4-star sellerCondition: Used - Very good
£ 20.68
£ 12.46 shippingShips from Netherlands to U.S.A.Quantity: 1 available
Condition: Very Good.

- Softcover
Seller: Greenworld Books, arlington, TX, U.S.A.Greenworld Books
Contact seller5-star sellerCondition: Used - Very good
£ 36.80
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: very_good. Fast Free Shipping â" Very Good condition book with a firm cover and clean pages. Shows normal use and some light wear or limited notes markings. A solid, nice copy to enjoy.

- Softcover
Seller: ZBK Books, Carlstadt, NJ, U.S.A.ZBK Books
Contact seller5-star sellerCondition: Used
£ 36.80
Free ShippingShips within U.S.A.Quantity: 2 available
Condition: like_new. Fast & Free Shipping â" Excellent condition book with clean cover and pages. Barely handled, with minimal wear. An outstanding copy, close to enjoy.

Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, Sars 2011 and Mlsc 2011, Held Under the Auspices of Isola 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Hahnle, Reiner (EDT); Knoop, Jens (EDT); Margaria, Tiziana (EDT); Schreiner, Dietmar (EDT); Steffen, Bernhard (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 43.47
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.

Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, Sars 2011 and Mlsc 2011, Held Under the Auspices of Isola 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Hahnle, Reiner (EDT); Knoop, Jens (EDT); Margaria, Tiziana (EDT); Schreiner, Dietmar (EDT); Steffen, Bernhard (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 50.81
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.

Architecture of Computing Systems 2017 : 30th International Conference, Proceedings
Knopp, Jens (EDT); Karl, Wolfgang (EDT); Schulz, Martin (EDT); Inoue, Koji (EDT); Pionteck, Thilo (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 52.24
£ 1.96 shippingShips within U.S.A.Quantity: 15 available
Condition: New.

- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
£ 51.97
£ 2.23 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.

Architecture of Computing Systems 2017 : 30th International Conference, Proceedings
Knopp, Jens (EDT); Karl, Wolfgang (EDT); Schulz, Martin (EDT); Inoue, Koji (EDT); Pionteck, Thilo (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 53.28
£ 1.96 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.

- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 53.59
£ 1.96 shippingShips within U.S.A.Quantity: 15 available
Condition: New.

- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 54.32
£ 1.96 shippingShips within U.S.A.Quantity: 1 available
Condition: As New. Unread book in perfect condition.

- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 57.13
£ 1.96 shippingShips within U.S.A.Quantity: 1 available
Condition: New.

Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2011
- Softcover
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contact seller5-star sellerCondition: New
£ 59.15
Free ShippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the 20th International Conference on Compiler Construction, CC 2011, held in Saarbruecken, Germany, March 26April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software.The 15 revised full papers presented together with the abstract of one invited talk were carefully reviewed and selected from 52 submissions. The papers are organized in topical sections on JIT compilation and code generation, program analysis, reversible computing and interpreters, parallelism and high-performance computing, and task and data distribution. This book constitutes the refereed proceedings of the 20th International Conference on Compiler Construction, CC 2011, held in Saarbruecken, Germany, March 26April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, Sars 2011 and Mlsc 2011, Held Under the Auspices of Isola 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Hahnle, Reiner (EDT); Knoop, Jens (EDT); Margaria, Tiziana (EDT); Schreiner, Dietmar (EDT); Steffen, Bernhard (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 50.25
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.

Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, Sars 2011 and Mlsc 2011, Held Under the Auspices of Isola 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Hahnle, Reiner (EDT); Knoop, Jens (EDT); Margaria, Tiziana (EDT); Schreiner, Dietmar (EDT); Steffen, Bernhard (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 54.29
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.

- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 71.12
£ 2.96 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 276.

- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 71.56
£ 2.96 shippingShips within U.S.A.Quantity: 4 available
Condition: New.

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, Sars 2011 and Mlsc 2011, Held Under the Auspices of Isola 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Pape
Schreiner, Dietmar (Editor) / Margaria, Tiziana (Editor) / Steffen, Bernhard (Editor) / Hähnle, Reiner (Editor) / Knoop, Jens (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 65.78
£ 10.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. revised edition. 273 pages. 9.20x6.10x0.80 inches. In Stock.

- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 66.08
£ 10.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 1998 edition. 288 pages. 9.50x6.50x0.75 inches. In Stock.

- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 66.61
£ 10.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Brand New. 307 pages. 9.30x6.10x0.70 inches. In Stock.

- Softcover
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 41.85
£ 40.84 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Kartoniert / Broschiert. Condition: New.

- Softcover
Seller: Borkert, Schwarz und Zerfaß GbR, Berlin, GermanyBorkert, Schwarz und Zerfaß GbR
Contact seller5-star sellerCondition: Used - Fine
£ 8.59
£ 33.35 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Sehr gut. Auflage: 2. 352 Seiten Fresh and clean copy in good condition. Frisches und sauberes Exemplar in gutem Zustand. Inhalt: Walter Jens: .weitertragen, was wir begonnen haben. - Vorbemerkung zum Tagebuch - Tagebuch: 13.6. 1942-15.2.1943 - Vorbemerkung zu den Briefen - Briefe: 2.5.1940-12.10.1943 - Dokumente - Lebenstafel - Danksagung - Literaturverzeichnis - Anmerkungen - Tagebuch - Briefe - Register - ISBN 9783596123674 Sprache: Deutsch Gewicht in Gramm: 218 12,5 x 1,7 x 19,0 cm, Taschenbuch. …

- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 57.01
£ 29.18 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Starting from the intraprocedural basic case, this monograph focuses on interprocedural optimization. It emphasizes the analogies and essential differences between intraprocedural and interprocedural optimization, and offers cookbook style support for constructing the underlying algorithms. It is aimed at compiler constructors and researchers interested in the systematic transfer of intraprocedural optimizations to the interprocedural setting, as well as students seeking a gentle introduction to the field.…

- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 57.01
£ 29.18 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria, under the auspices of the International Symposium Series on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA. The topics covered by the papers of the SARS and the MLSC workshop demonstrate the breadth and the richness of the respective fields of the two workshops stretching from robot programming to languages and compilation techniques, to real-time and fault tolerance, to dependability, software architectures, computer vision, cognitive robotics, multi-robot-coordination, and simulation to bio-inspired algorithms, and from machine learning for anomaly detection, to model construction in software product lines to classification of web service interfaces. In addition the SARS workshop hosted a special session on the recently launched KOROS project on collaborating robot systems that is borne by a consortium of researchers of the faculties of architecture and planning, computer science, electrical engineering and information technology, and mechanical and industrial engineering at the Vienna University of Technology. The four papers devoted to this session highlight important research directions pursued in this interdisciplinary research project.…

- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 57.01
£ 29.18 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 30th International Conference on Architecture of Computing Systems, ARCS 2017, held in Vienna, Austria, in April 2017.The 19 full papers presented in this volume were carefully reviewed and selected from 42 submissions. They were organized in topical sections entitled: resilience; accelerators; performance; memory systems; parallelism and many-core; scheduling; power/energy.…

- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 93.02
£ 2.96 shippingShips within U.S.A.Quantity: 1 available
Condition: New. pp. xii + 307.

- Hardcover
Seller: Antiquariat Hennwack, Berlin, GermanyAntiquariat Hennwack
Contact seller5-star sellerCondition: Used - Very good
£ 4.81
£ 39.18 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Gut. 8vo. 348, (1) S. OLn. mit OSchU. Einband und Umschlag leicht berieben, Umschlag leicht fleckig, sonst gut erhaltenes Exemplar.

- Softcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 94.49
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: New. pp. xii + 307 121 Illus. (27 Col.).