Importe total (1 artículo artículos):
Destino del pedido:
ravn anders (39 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (39)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (25)
- Como nuevo, Excelente o Muy bueno (6)
- Bueno o Aceptable (6)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (2)
Encuadernación
- Todas
- Tapa dura (No hay ningún otro resultado que coincida con este filtro.)
- Tapa blanda (37)
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (23)
- No impresión bajo demanda (28)
Idioma (3)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Hybrid Systems (Lecture Notes in Computer Science 736)
Idioma: Inglés
Publicado por Springer-Verlag, Berlin, 1993
ISBN 10: 0387573186 ISBN 13: 9780387573182
Librería: PsychoBabel & Skoob Books, Didcot, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 7,92
Envío por EUR 14,33
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Estado de la sobrecubierta: No Dust Jacket. Lecture Notes in Computer Science 736; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.
-
Hybrid Systems (Lecture Notes in Computer Science)
Librería: Bookmonger.Ltd, HILLSIDE, NJ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 21,18
Envío por EUR 3,47
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Very Good.
-
Hybrid Systems (Lecture Notes in Computer Science)
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 35,69
Envío por EUR 6,06
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
-
Hybrid Systems
Idioma: Inglés
Publicado por Springer Berlin / Heidelberg, 1993
ISBN 10: 3540573186 ISBN 13: 9783540573180
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 46,12
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Very Good. 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.
-
EUR 27,41
Envío por EUR 5,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
-
Formal Techniques in Real-Time and Fault-Tolerant Systems : 5th International Symposium, Ftrtft '98, Lyngby, Denmaek, September 1998 : Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 59,12
Envío por EUR 2,29
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Hybrid Systems
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 59,54
Envío por EUR 2,29
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Hybrid Systems
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 58,82
Envío por EUR 3,46
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. viii + 474.
-
Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings (Lecture Notes in Computer Science)
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 56,40
Envío por EUR 17,76
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
-
Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings (Lecture Notes in Computer Science)
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 56,50
Envío por EUR 17,76
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
-
Formal Techniques in Real-Time and Fault-Tolerant Systems : 5th International Symposium, Ftrtft '98, Lyngby, Denmaek, September 1998 : Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 74,43
Envío por EUR 2,29
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Formal Techniques in Real-Time and Fault-Tolerant Systems : 5th International Symposium, Ftrtft '98, Lyngby, Denmaek, September 1998 : Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 59,33
Envío por EUR 17,19
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Hybrid Systems
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 78,29
Envío por EUR 2,29
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Formal Techniques in Real-Time and Fault-Tolerant Systems : 5th International Symposium, Ftrtft '98, Lyngby, Denmaek, September 1998 : Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 65,41
Envío por EUR 17,19
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Hybrid Systems
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 66,05
Envío por EUR 17,19
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Hybrid Systems
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 68,18
Envío por EUR 17,19
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Automated Technology for Verification and Analysis: 7th International Symposium, Atva 2009, Macao, China, October 14-16, 2009, Proceedings
Idioma: Inglés
Publicado por Springer-Verlag New York Inc, 2009
ISBN 10: 3642047602 ISBN 13: 9783642047602
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 81,22
Envío por EUR 14,33
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 1st edition. 414 pages. 9.25x6.00x1.00 inches. In Stock.
-
Hybrid Systems (Lecture Notes in Computer Science)
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 86,19
Envío por EUR 28,66
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Formal Techniques in Real-Time and Fault-Tolerant Systems : 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Envío por EUR 62,70
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998.The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications.
-
Automated Technology for Verification and Analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
Idioma: Inglés
Publicado por Springer, Springer Spektrum, 2009
ISBN 10: 3642047602 ISBN 13: 9783642047602
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Envío por EUR 63,23
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions. The papers are organized in topical sections on state space reduction, tools, probabilistic systems, medley, temporal logic, abstraction and refinement, and fault tolerant systems.
-
Hybrid Systems
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Envío por EUR 63,67
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Hybrid systems are networks of interacting digital andanalog devices. Control systems for inherently unstableaircraft and computer aided manufacturing are typicalapplications for hybrid systems, but due to the rapiddevelopment of processor and circuit technology modern carsand consumer electronics use software to control physicalprocesses. The identifying characteristic of hybrid systemsis that they incorporate both continuous components governedby differential equations and also digital componentsdigital computers, sensors, and actuators controlled byprograms.This volume of invited refereed papers is inspired by aworkshop on the Theory of Hybrid Systems, held at theTechnical University, Lyngby, Denmark, in October 1992, andby a prior Hybrid Systems Workshop, held at CornellUniversity, USA, in June 1991, organized by R.L. Grossmanand A. Nerode. Some papers are the final versions of paperspresented at these workshops and some are invited papersfrom other researchers who were not able to attend theseworkshops.
-
EUR 50,25
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Hybrid Systems | Robert L. Grossman (u. a.) | Taschenbuch | viii | Englisch | 1993 | Springer | EAN 9783540573180 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Automated Technology for Verification and Analysis | 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 50,25
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Automated Technology for Verification and Analysis | 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings | Zhiming Liu (u. a.) | Taschenbuch | xi | Englisch | 2009 | Springer | EAN 9783642047602 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Formal Techniques in Real-Time and Fault-Tolerant Systems | 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 50,25
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Formal Techniques in Real-Time and Fault-Tolerant Systems | 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings | Anders P. Ravn (u. a.) | Taschenbuch | ix | Englisch | 1998 | Springer | EAN 9783540650034 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
EUR 39,60
Envío por EUR 105,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Gut. Zustand: Gut | Seiten: 488 | Sprache: Englisch | Produktart: Bücher | Hybrid systems are networks of interacting digital andanalog devices. Control systems for inherently unstableaircraft and computer aided manufacturing are typicalapplications for hybrid systems, but due to the rapiddevelopment of processor and circuit technology modern carsand consumer electronics use software to control physicalprocesses. The identifying characteristic of hybrid systemsis that they incorporate both continuous components governedby differential equations and also digital components -digital computers, sensors, and actuators controlled byprograms.This volume of invited refereed papers is inspired by aworkshop on the Theory of Hybrid Systems, held at theTechnical University, Lyngby, Denmark, in October 1992, andby a prior Hybrid Systems Workshop, held at CornellUniversity, USA, in June 1991, organized by R.L. Grossmanand A. Nerode. Some papers are the final versions of paperspresented at these workshops and some are invited papersfrom other researchers who were not able to attend theseworkshops.
-
Automated Technology for Verification and Analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 42,18
Envío por EUR 105,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Seiten: 428 | Sprache: Englisch | Produktart: Bücher | This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions. The papers are organized in topical sections on state space reduction, tools, probabilistic systems, medley, temporal logic, abstraction and refinement, and fault tolerant systems.
-
CBS gennem 100 år.
Librería: Vangsgaards Antikvariat Aps, Copenhagen, Dinamarca
Miembro de asociación: ABF ILAB
Calificación del vendedor: 5 de 5 estrellas
EUR 24,12
Envío por EUR 29,44
Se envía de Dinamarca a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHistorika/Gads Forlag, København 2017. 416 sider. Illustreret i s/h. Orig. papbind med lærredsryg.
-
Børsen.
Librería: Vangsgaards Antikvariat Aps, Copenhagen, Dinamarca
Miembro de asociación: ABF ILAB
Calificación del vendedor: 5 de 5 estrellas
EUR 34,46
Envío por EUR 29,44
Se envía de Dinamarca a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoGads Forlag, København 2024. Stor 4to. 335 sider. Illustreret i s/h og farver. Orig. halvlærredsbind. Forlagsstempel på titelbladet. * Vellykket pragtværk om Christian IV's pragtbygning.
-
Automated Technology for Verification and Analysis
Idioma: Inglés
Publicado por Springer Berlin Heidelberg Sep 2009, 2009
ISBN 10: 3642047602 ISBN 13: 9783642047602
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions. The papers are organized in topical sections on state space reduction, tools, probabilistic systems, medley, temporal logic, abstraction and refinement, and fault tolerant systems. 428 pp. Englisch.
-
Formal Techniques in Real-Time and Fault-Tolerant Systems
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, Springer Sep 1998, 1998
ISBN 10: 3540650032 ISBN 13: 9783540650034
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998.The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications. 356 pp. Englisch.
