Jens knoop (55 resultados)

- Tapa dura
Librería: WeBuyBooks, Rossendale, LANCS, Reino UnidoWeBuyBooks
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 1,49
Envío por EUR 9,03Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
hardcover. Condición: 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.

- Tapa blanda
Librería: WorldofBooks, Goring-By-Sea, WS, Reino UnidoWorldofBooks
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 7,05
Envío por EUR 6,51Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 9 disponibles
Paperback. Condición: 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.

- Tapa dura
Librería: Bahamut Media, Reading, Reino UnidoBahamut Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 11,95
Envío por EUR 8,12Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: 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.

- Tapa dura
Librería: Mooney's bookstore, Den Helder, HolandaMooney's bookstore
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Bueno
EUR 24,09
Envío por EUR 14,95Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Very Good.

- Tapa blanda
Librería: Greenworld Books, arlington, TX, Estados Unidos de AmericaGreenworld Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 43,59
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: 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.

- Tapa blanda
Librería: ZBK Books, Carlstadt, NJ, Estados Unidos de AmericaZBK Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 43,59
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: 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)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 52,37
Envío por EUR 2,32Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

- Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 61,56
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: 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)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 60,19
Envío por EUR 2,32Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.

Idioma: Inglés
Editorial: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2011
- Tapa blanda
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de AmericaGrand Eagle Retail
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 70,06
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: 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 (Communications in Computer and Information Science)
Jens Knoop, Bernhard Steffen, Dietmar Schreiner, Reiner H�hnle, Tiziana Margaria
- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 57,20
Envío por EUR 18,01Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Paperback. Condición: New.

- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 57,10
Envío por EUR 18,01Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
PF. Condición: New.

- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 57,19
Envío por EUR 18,01Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Paperback. Condición: 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)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,18
Envío por EUR 17,44Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 67,00
Envío por EUR 13,13Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In English.

- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 67,00
Envío por EUR 13,13Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In English.

- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 67,00
Envío por EUR 13,13Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In English.

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)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 66,25
Envío por EUR 17,44Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.

- Tapa blanda
Librería: Books Puddle, Woodside, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 81,20
Envío por EUR 3,51Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. 276.

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)
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 79,77
Envío por EUR 11,63Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. revised edition. 273 pages. 9.20x6.10x0.80 inches. In Stock.

- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 80,14
Envío por EUR 11,63Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 1998 edition. 288 pages. 9.50x6.50x0.75 inches. In Stock.

- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 80,78
Envío por EUR 11,63Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Brand New. 307 pages. 9.30x6.10x0.70 inches. In Stock.

- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 61,09
Envío por EUR 35,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: 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.…

- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 61,09
Envío por EUR 35,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: 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.…

- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 61,97
Envío por EUR 35,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: 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.…

- Tapa blanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 48,74
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Kartoniert / Broschiert. Condición: New.

- Tapa blanda
Librería: Borkert, Schwarz und Zerfaß GbR, Berlin, AlemaniaBorkert, Schwarz und Zerfaß GbR
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 10,00
Envío por EUR 40,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: 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. …

- Tapa blanda
Librería: Books Puddle, Woodside, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 110,18
Envío por EUR 3,51Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New. pp. xii + 307.

- Tapa blanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 111,44
Envío por EUR 7,56Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New. pp. xii + 307 121 Illus. (27 Col.).

- Tapa dura
Librería: Antiquariat Hennwack, Berlin, AlemaniaAntiquariat Hennwack
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 5,60
Envío por EUR 47,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Gut. 8vo. 348, (1) S. OLn. mit OSchU. Einband und Umschlag leicht berieben, Umschlag leicht fleckig, sonst gut erhaltenes Exemplar.