Henzinger t a (30 resultados)
Mathematical and Engineering Methods in Computer Science : 8th International Doctoral Workshop, Memics 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Kucera, Antonin (EDT); Henzinger, Thomas A. (EDT); Nesetril, Jaroslav (EDT); Vojnar, Tomas (EDT); Antos, David (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 52,35
Envío por EUR 2,27Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 52,35
Envío por EUR 2,27Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Mathematical and Engineering Methods in Computer Science : 8th International Doctoral Workshop, Memics 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Kucera, Antonin (EDT); Henzinger, Thomas A. (EDT); Nesetril, Jaroslav (EDT); Vojnar, Tomas (EDT); Antos, David (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 59,93
Envío por EUR 2,27Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 61,68
Envío por EUR 2,27Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Hybrid Systems : Computation and Control : First International Workshop, Hscc'98, Berkeley, California, Usa, April 1998 : Proceedings
Henzinger, Thomas A. (EDT); Henzinger, T. A.; Sastry, Shankar
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 62,12
Envío por EUR 2,27Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Embedded Software : First International Workshop, Emsoft 2001, Tahoe City, Ca, Usa, October 8- 10, 2001, Proceedings
Emsoft 200 (2001 Tahoe City, Calif.); Henzinger, T. A. (EDT); Kirsch, Christoph M. (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 62,49
Envío por EUR 2,27Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Mathematical and Engineering Methods in Computer Science : 8th International Doctoral Workshop, Memics 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Kucera, Antonin (EDT); Henzinger, Thomas A. (EDT); Nesetril, Jaroslav (EDT); Vojnar, Tomas (EDT); Antos, David (EDT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 56,56
Envío por EUR 17,46Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Hybrid Systems : Computation and Control : First International Workshop, Hscc'98, Berkeley, California, Usa, April 1998 : Proceedings
Henzinger, Thomas A. (EDT); Henzinger, T. A.; Sastry, Shankar
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 74,73
Envío por EUR 2,27Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Embedded Software : First International Workshop, Emsoft 2001, Tahoe City, Ca, Usa, October 8- 10, 2001, Proceedings
Emsoft 200 (2001 Tahoe City, Calif.); Henzinger, T. A. (EDT); Kirsch, Christoph M. (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 74,73
Envío por EUR 2,27Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,23
Envío por EUR 17,46Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Embedded Software : First International Workshop, Emsoft 2001, Tahoe City, Ca, Usa, October 8- 10, 2001, Proceedings
Emsoft 200 (2001 Tahoe City, Calif.); Henzinger, T. A. (EDT); Kirsch, Christoph M. (EDT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,37
Envío por EUR 17,46Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Hybrid Systems : Computation and Control : First International Workshop, Hscc'98, Berkeley, California, Usa, April 1998 : Proceedings
Henzinger, Thomas A. (EDT); Henzinger, T. A.; Sastry, Shankar
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,41
Envío por EUR 17,46Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Mathematical and Engineering Methods in Computer Science : 8th International Doctoral Workshop, Memics 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Kucera, Antonin (EDT); Henzinger, Thomas A. (EDT); Nesetril, Jaroslav (EDT); Vojnar, Tomas (EDT); Antos, David (EDT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 66,03
Envío por EUR 17,46Se 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: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 67,01
Envío por EUR 17,46Se 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.
Embedded Software : First International Workshop, Emsoft 2001, Tahoe City, Ca, Usa, October 8- 10, 2001, Proceedings
Emsoft 200 (2001 Tahoe City, Calif.); Henzinger, T. A. (EDT); Kirsch, Christoph M. (EDT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 67,19
Envío por EUR 17,46Se 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.
Hybrid Systems : Computation and Control : First International Workshop, Hscc'98, Berkeley, California, Usa, April 1998 : Proceedings
Henzinger, Thomas A. (EDT); Henzinger, T. A.; Sastry, Shankar
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 67,01
Envío por EUR 17,46Se 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 dura
Librería: Gardner's Used Books, Inc., Tulsa, OK, Estados Unidos de AmericaGardner's Used Books, Inc.
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 119,73
Envío por EUR 3,87Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
hardcover. Condición: Good. Hardcover book is in excellent condition. Clean throughout (no highlighting or other markings), strong binding, very little to no visible wear. Tulsa's largest used bookstore. Located on South Mingo Road since 1991. No-hassle return policy if not completely satisfied.
Handbook of Model Checking
Clarke, Edmund M. (EDT); Henzinger, Thomas A. (EDT); Veith, Helmut (EDT); Bloem, Roderick (EDT)
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 143,72
Envío por EUR 2,27Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: New.
Handbook of Model Checking
Clarke, Edmund M. (EDT); Henzinger, Thomas A. (EDT); Veith, Helmut (EDT); Bloem, Roderick (EDT)
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 136,54
Envío por EUR 17,46Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: New.
Handbook of Model Checking
Clarke, Edmund M. (EDT); Henzinger, Thomas A. (EDT); Veith, Helmut (EDT); Bloem, Roderick (EDT)
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 159,82
Envío por EUR 2,27Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa dura
Librería: LIBRERIA LEA+, Santiago, RM, ChileLIBRERIA LEA+
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 138,58
Envío por EUR 31,86Se envía de Chile a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Dura. Condición: New. Estado de la sobrecubierta: Nuevo. 0. The vast majority of control systems built today are embedded; that is, they rely on built-in, special-purpose digital computers to close their feedback loops. Embedded systems are common in aircraft, factories, chemical processing plants, and even in cars?a single high…-end automobile may contain over eighty different computers. In such settings, controllers often use shared networks to communicate with each other and with large numbers of sensors and actuators scattered throughout the system. The design of embedded controllers and of the intricate, automated communication networks that support them raises many new questions?practical, as well as theoretical?about network protocols, compatibility of operating systems, and ways to maximize the effectiveness of the embedded hardware. The Handbook of Networked and Embedded Control Systems, the first of its kind, provides engineers, computer scientists, mathematicians, and students a broad, comprehensive source of information and technology to address many questions and aspects of embedded and networked control. A carefully organized collection of important results, tools, software, and technology, this work unifies into a single reference many scattered articles, websites, and specification sheets?information that might otherwise be difficult to find. Key topics and features include: - Self-contained, sharply-focused articles; readers have easy access to specific answers to questions without having to read hundreds of pages. - Clear structure and presentation of concepts in intuitive order. - Separation of material into six main sections?Fundamentals, Hardware, Software, Theory, Networking, and Applications. - Case studies, experiments, and examples that provide a multifaceted view of the subject, encompassing computation and communication considerations. - Information about commercially available tools and hardware. - Comprehensive bibliographies and index. This is an indispensable text for anyone interested in knowing more about embedded and networked control systems. Researchers will appreciate the handbook?s up-to-date results in the theory of embedded control; developers and users will value its information on special-purpose computer hardware and operating systems modifications that support real-time control; students will find the systematic organization and wide coverage useful for learning and reference. 1280 gr. No Aplica (ilustrador). Libro.
Handbook of Model Checking
Clarke, Edmund M. (EDT); Henzinger, Thomas A. (EDT); Veith, Helmut (EDT); Bloem, Roderick (EDT)
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 157,89
Envío por EUR 17,46Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa dura
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 241,22
Envío por EUR 7,56Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New. pp. 836 Illus.
- Tapa dura
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 247,39
Envío por EUR 3,44Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New. pp. 836.
- Tapa dura
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 265,50
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New. pp. 836.
- Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 275,71
Envío por EUR 13,94Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
- Tapa dura
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 299,68
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Gebunden. Condición: New.
- Tapa dura
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 345,65
Envío por EUR 9,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New. 2008. Hardcover. . . . . .
- Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 383,79
Envío por EUR 39,56Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Buch. Condición: Neu. Neuware - Thishandbookwasmotivatedinpartbyourexperience(andthatofothers)in performing research and in teaching about networked and embedded control systems (NECS) as well as in implementing such systems. Although NECS- along with the technologies that enable them-have become ubiquitous, there are few, if an…y, sources where a student, researcher, or developer can gain a su ciently broad view of the subject. Oftentimes, the needed information is scattered in articles, websites, and speci cation sheets. Such di culties are perhaps to be expected, given the relative newness of the subject and the diversity of its constitutive disciplines. From control theory and communi- tions, to computer science and electronics, the variety of approaches, tools, and language used by experts in each eld often acts as a barrier to und- standing how ideas t within the broader context of networked and embedded control. With the above in mind, we have gathered a collection of articles that provide at least an introduction to the important results, tools, software, and technologies that shape the area of NECS. Our goal was to present the most important knowledge about NECS in a book that would be useful to anyone who wants to learn about any aspect of the subject. We hope that we have succeeded and that every reader will nd valuable information in the book. Wethanktheauthorsofeachofthechapters. Theyareallbusypeopleand we are extremely grateful to them for their outstanding work.
- Tapa dura
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 432,29
Envío por EUR 9,04Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New. 2008. Hardcover. . . . . . Books ship from the US and Ireland.
