Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 12,54
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New.
Librería: RAMÓN PIGNATELLI, Zaragoza, Z, España
EUR 13,32
Cantidad disponible: 1 disponibles
Añadir al carritoEncuadernación de tapa blanda. Condición: Como Nuevo.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 57,58
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
EUR 59,97
Cantidad disponible: 5 disponibles
Añadir al carritoPaperback or Softback. Condición: New. Mathematical Foundations of Computer Science 2013: 38th International Symposium, Mfcs 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings. Book.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 7,28
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 62,71
Cantidad disponible: 2 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 66,67
Cantidad disponible: 2 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 3642152961 ISBN 13: 9783642152962
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
EUR 69,07
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), held September 810, 2010, at IST (Institute of Science and Technology) Austria, in Klosterneuburg, Austria. The modeling andanalysis oftiming aspects of systems is a keyproblem that has been treated independently in several di?erent communities in computer science and related areas. Researchers interested in semantics, veri?cation, re- timescheduling,andperformanceanalysisstudymodelssuchastimedautomata and timed Petri nets, the digital design community focuses on propagation and switching delays, and designers of embedded controllers need to take into - count the time requiredby controllersto compute their responses after sampling the environment. Although the timing-related questions in these separate c- munities have their own speci?c nature, there is a growing awareness that there are basic problems that are common to all of them. In particular, all of these disciplines model and analyze systems whose behavior depends on combinations of logical and timing constraints between occurrences of events. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from di?erent d- ciplines that share an interest in the modeling 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 di?erent models (timed automata, timed Petri nets, hybrid automata, timed process algebra,max-plus algebra, pr- abilistic models). This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), held September 810, 2010, at IST (Institute of Science and Technology) Austria, in Klosterneuburg, Austria. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 55,18
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
EUR 74,39
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 67,09
Cantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 61,36
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 7,62
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 61,35
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 67,55
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
EUR 31,27
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 78,91
Cantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Springer-Verlag New York Inc, 2010
ISBN 10: 3642152961 ISBN 13: 9783642152962
Librería: Revaluation Books, Exeter, Reino Unido
EUR 79,87
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. 1st edition. 267 pages. 9.10x6.10x0.60 inches. In Stock.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 93,73
Cantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 101,75
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 101,10
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 334 pages. 9.25x6.10x9.21 inches. In Stock.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2010
ISBN 10: 3642152961 ISBN 13: 9783642152962
Librería: moluna, Greven, Alemania
EUR 61,68
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 114,84
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
EUR 65,23
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Uday Chatterjee is an Assistant Professor in the Department of Geography, Bhatter College, Dantan, Paschim Medinipur, West Bengal, India.Avishek Bhunia is an Assistant Professor in the Department of Geography, K.D. College of Commerc.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 104,65
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 102,27
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 104,64
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2013
ISBN 10: 3642403123 ISBN 13: 9783642403125
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013, held in Klosterneuburg, Austria, in August 2013. The 67 revised full papers presented together with six invited talks were carefully selected from 191 submissions. Topics covered include algorithmic game theory, algorithmic learning theory, algorithms and data structures, automata, formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, databases and knowledge-based systems, foundations of computing, logic in computer science, models of computation, semantics and verification of programs, and theoretical issues in artificial intelligence.
Librería: preigu, Osnabrück, Alemania
EUR 50,40
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Mathematical Foundations of Computer Science 2013 | 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings | Krishnendu Chatterjee (u. a.) | Taschenbuch | xvi | Englisch | 2013 | Springer | EAN 9783642403125 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 121,99
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.