Importo totale (1 articolo articoli):
Destinazione ordine:
vaandrager frits (44 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (44)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
Legatura
- Tutte
- Rilegato (Nessun altro risultato corrispondente a questo perfezionamento)
- Brossura (44)
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (21)
- Non Print on Demand (32)
Lingua (2)
Spedizione gratuita
- Spedizione gratuita in U.S.A. (Nessun altro risultato corrispondente a questo perfezionamento)
Paese del venditore
Valutazione venditore
-
Hybrid Systems: Computation and Control: Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
The Theory of Timed I/O Automata
Lingua: Inglese
Editore: Morgan & Claypool Publishers, 2006
ISBN 10: 159829010X ISBN 13: 9781598290103
Da: The Book Bin, Salem, OR, U.S.A.
Membro dell'associazione: ABAA CBA ILAB
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Binding firm, cover shiny, interior clean and unmarked.
-
The Theory of Timed I/O Automata (Synthesis Lectures in Computer Science)
Lingua: Inglese
Editore: Morgan & Claypool Publishers, 2006
ISBN 10: 159829010X ISBN 13: 9781598290103
Soft Cover. Condizione: 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 (Synthesis Lectures in Computer Science)
Da: suffolkbooks, Center moriches, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
paperback. Condizione: Very Good. Fast Shipping - Safe and Secure 7 days a week!
-
Soft Cover. Condizione: Fair. 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.
-
Het rijk te kijk / fabels en feiten over het dierenrijk
Lingua: Olandese
Editore: Strengholt, 1993. 160 pp., 1993
ISBN 10: 906010823X ISBN 13: 9789060108239
Da: Antiquariaat Hortus Conclusus, Bergambacht, Paesi Bassi
Valutazione del venditore 5 su 5 stelle
EUR 5,00
Spedizione EUR 14,50
Spedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. 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, 5)
Lingua: Inglese
Editore: Morgan & Claypool Publishers, 2010
ISBN 10: 1608450023 ISBN 13: 9781608450022
Da: suffolkbooks, Center moriches, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
paperback. Condizione: Very Good. Fast Shipping - Safe and Secure 7 days a week!
-
Het rijk te kijk - Fabels en feiten uit het dierenrijk
Lingua: Olandese
Editore: PixelPerfect Publications, 2022
ISBN 10: 9493271080 ISBN 13: 9789493271081
Da: Mooney's bookstore, Den Helder, Paesi Bassi
Valutazione del venditore 4 su 5 stelle
EUR 14,99
Spedizione EUR 14,95
Spedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New.
-
Lectures on Embedded Systems: European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996 (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
The Theory of Timed I/O Automata, Second Edition (Synthesis Lectures on Distributed Computing Theory)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 38,23
Spedizione EUR 13,77
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In English.
-
Hybrid Systems : Computation and Control : Second International Workshop, Hscc '99, Ber En Dal, the Netherlands, March 29-31, 1999 Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 60,49
Spedizione EUR 2,29
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings (Lecture Notes in Computer Science, 5813)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,35
Spedizione EUR 13,77
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Lectures on Embedded Systems: European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996 (Lecture Notes in Computer Science, 1494)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,35
Spedizione EUR 13,77
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Hybrid Systems: Computation and Control: Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings (Lecture Notes in Computer Science, 1569)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,73
Spedizione EUR 13,77
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Hybrid Systems : Computation and Control : Second International Workshop, Hscc '99, Ber En Dal, the Netherlands, March 29-31, 1999 Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 72,71
Spedizione EUR 2,29
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Hybrid Systems: Computation and Control: Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 56,46
Spedizione EUR 17,80
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 56,52
Spedizione EUR 17,80
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Lectures on Embedded Systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 56,69
Spedizione EUR 17,80
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Lectures on embedded systems.
Da: Emile Kerssemakers ILAB, Heerlen, Paesi Bassi
Membro dell'associazione: ILAB NVVA
Valutazione del venditore 5 su 5 stelle
EUR 30,00
Spedizione EUR 44,00
Spedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrello23 cm. original paperback. 422 pp. references. "Lecture Notes in Computer Science". -(libr labels, library stamp, otherwise good). 570g.
-
Hybrid Systems : Computation and Control : Second International Workshop, Hscc '99, Ber En Dal, the Netherlands, March 29-31, 1999 Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,71
Spedizione EUR 17,24
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Hybrid Systems : Computation and Control : Second International Workshop, Hscc '99, Ber En Dal, the Netherlands, March 29-31, 1999 Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 65,98
Spedizione EUR 17,24
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Formal Modeling and Analysis of Timed Systems: 7th International Conference, Formats 2009, Budapest, Hungary, September 14-16, 2009, Proceedings
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2009
ISBN 10: 3642043674 ISBN 13: 9783642043673
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 79,20
Spedizione EUR 11,49
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 1st edition. 291 pages. 9.40x6.10x0.50 inches. In Stock.
-
Hybrid Systems: Computation and Control
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 1999
ISBN 10: 3540657347 ISBN 13: 9783540657347
EUR 48,37
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
EUR 53,49
Spedizione EUR 62,23
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. 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 series 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.
-
Formal Modeling and Analysis of Timed Systems : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings
Lingua: Inglese
Editore: Springer, Springer Spektrum, 2009
ISBN 10: 3642043674 ISBN 13: 9783642043673
EUR 53,49
Spedizione EUR 62,32
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 together 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).
-
EUR 53,49
Spedizione EUR 63,32
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. 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 given 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.
-
EUR 50,25
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Hybrid Systems: Computation and Control | Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings | Frits W. Vaandrager (u. a.) | Taschenbuch | ccxcii | Englisch | 1999 | Springer | EAN 9783540657347 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
EUR 50,25
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. 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, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Affare
EUR 37,96
Spedizione EUR 105,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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 together 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).
-
Hybrid Systems
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 149,80
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New.
