Frits vaandrager (43 risultati)
The Theory of Timed I/O Automata (Synthesis Lectures in Computer Science)
Dilsun K. Kaynar,Nancy Lynch,Roberto Segala,Frits Vaandrager
- Brossura
Da: suffolkbooks, center moriches, NY, U.S.A.suffolkbooks
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 15,86
EUR 3,41 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
paperback. Condizione: Very Good. Fast Shipping - Safe and Secure 7 days a week.
The Theory of Timed I/O Automata (Synthesis Lectures in Computer Science)
Dilsun K. Kaynar; Nancy Lynch; Roberto Segala; Frits Vaandrager
- Brossura
Da: BookOrders, Russell, IA, U.S.A.BookOrders
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 15,86
EUR 3,42 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Soft Cover. Condizione: Very Good. Ex-library with the usual features. The interior is clean and tight. Binding is good. Cover shows light wear. Ex-Library.
The Theory of Timed I/O Automata, Second Edition
Dilsun K. Kaynar; Nancy Lynch; Roberto Segala; Frits Vaandrager
- Brossura
Da: BookOrders, Russell, IA, U.S.A.BookOrders
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Discreto
EUR 17,62
EUR 3,42 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Soft Cover. Condizione: Acceptable. Ex-library with the usual features. Library label on front cover. Binding is good. Upper page edges have coffee stain and light wrinkling. Cover shows light wear. Ex-Library.
- Brossura
Da: Antiquariaat Hortus Conclusus, Bergambacht, Paesi BassiAntiquariaat Hortus Conclusus
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 5,00
EUR 14,50 spedizioneSpedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Paperback. Paar lichte gebruikssporen, nog een (zeer) goed exemplaar. Please see description or ask for photos.
The Theory of Timed I/O Automata, Second Edition (Synthesis Lectures on Distributed Computing Theory)
Kaynar, Dilsun; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 49,17
EUR 3,41 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. 2nd ed. edition NO-PA16APR2015-KAP.
The Theory of Timed I/O Automata, Second Edition (Synthesis Lectures on Distributed Computing Theory)
Kaynar, Dilsun; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 40,14
EUR 13,98 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In English.
- Brossura
Da: Emile Kerssemakers ILAB, Heerlen, Paesi BassiEmile Kerssemakers ILAB
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 30,00
EUR 25,45 spedizioneSpedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
23 cm. original paperback. 422 pp. references. "Lecture Notes in Computer Science". -(libr labels, library stamp, otherwise good). 570g.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 55,24
EUR 2,26 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,58
Spedizione gratuitaSpedito in U.S.A.Quantità: 5 disponibili
Paperback or Softback. Condizione: New. Hybrid Systems: Computation and Control: Second International Workshop, Hscc'99, Berg En Dal, the Netherlands, March 29-31, 1999 Proceedings. Book.
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 59,92
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 59,92
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 59,94
EUR 2,26 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,07
EUR 13,98 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,07
EUR 13,98 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,07
EUR 13,98 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,60
EUR 18,08 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: New.
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,36
EUR 18,08 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Paperback. Condizione: New.
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,42
EUR 18,08 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Paperback. Condizione: New.
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,35
EUR 17,51 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 78,34
EUR 3,41 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 304.
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 66,30
EUR 17,51 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 78,82
EUR 11,67 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 1st edition. 291 pages. 9.40x6.10x0.50 inches. In Stock.
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 48,37
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Kartoniert / Broschiert. Condizione: New.
Altre immagini- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,40
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Formal Modeling and Analysis of Timed Systems | 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings | Joel Ouaknine (u. a.) | Taschenbuch | x | Englisch | 2009 | Springer | EAN 9783642043673 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tier…gartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,39
EUR 62,23 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the Second International Workshop on Hybrid Systems: Computation and Control (HSCC'99) to be held March 29- 31, 1999, in the village Berg en Dal near Nijmegen, The Netherlands. The rst workshop of this serie…s was held in April 1998 at the University of California at Berkeley. The series follows meetings that were initiated by Anil Nerode at Cornell University. The proceedings of those meetings were published in the Springer-Verlag LNCS Series, Volumes 736, 999, 1066, 1201, and 1273. The p- ceedings of the rst workshop of the new series was published in LNCS 1386. The focus of the workshop is on modeling, control, synthesis, design, and ve- cation of hybrid systems. A hybrid system is a theoretical model for a computer controlled engineering system, with a dynamics that evolves both in a discrete state set and in a family of continuous state spaces. Research is motivated by, for example, control of electro-mechanical systems (robots), air tra c control, control of automated freeways, and chemical process control. The emerging - search area of hybrid systems overlaps both with computer science and with control theory. The interaction between researchers from these elds is expected to be fruitfull for the development of the area of hybrid systems.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 59,97
EUR 63,32 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume originates from the School on Embedded Systems held in Veldhoven, The Netherlands, in November 1996 as the first event organized by the European Educational Forum. Besides thoroughly reviewed and revised chapters based on lectures give…n during the school, additional papers have been solicited for inclusion in the present book in order to complete coverage of the relevant topics.The authors adress professionals involved in the design and management of embedded systems in industry as well as researchers and students interested in a competent survey. The book will convince the reader that many architectural and algorithmic problems in the area of embedded systems have well documented optimal or correct solutions, notably in the fields of real-time computing, distributed computing, and fault-tolerant computing.
- Brossura
Da: Buchpark, Trebbin, GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 43,31
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 304 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2009, held in Budapest, Hungary, September 2009. The 18 revised full papers presented togeth…er with 4 invited talks were carefully reviewed and selected from 40 submissions. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in the modelling and analysis of timed systems.Typical topics include (but are not limited to): ¿ Foundations and Semantics. Theoretical foundations of timed systems and languages; comparison between different models (timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models). ¿ Methods and Tools. Techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints (scheduling, worst-case execution time analysis, optimization, model checking, testing, constraint solving, etc.). ¿ Applications. Adaptation and specialization of timing technology in application domains in which timing plays an important role (real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication).
- Brossura
Da: Buchpark, Trebbin, GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 10,72
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Condizione: Hervorragend. Zustand: Hervorragend | Seiten: 180 | Sprache: Niederländisch | Produktart: Bücher | Keine Beschreibung verfügbar.
- Brossura
Da: ChouetteCoop, Kervignac, FranciaChouetteCoop
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Buono
EUR 9,19
EUR 495,00 spedizioneSpedito da Francia a U.S.A.Quantità: 1 disponibili
Condizione: Used: Good. Occasion - Bon Etat - Het rijk te kijk (1993) - Grand Format.
The Theory of Timed I/O Automata, Second Edition (Synthesis Lectures on Distributed Computing Theory)
Kaynar, Dilsun; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
- Brossura
- Print on Demand
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 46,66
EUR 7,59 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. Print on Demand.
