Vendeur : PIGNATELLI, Zaragoza, Z, Espagne
EUR 19,80
Quantité disponible : 1 disponible(s)
Ajouter au panierEncuadernación de tapa blanda. Etat : Como Nuevo.
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
EUR 52,90
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : New.
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
EUR 53,77
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10 : 3642152961 ISBN 13 : 9783642152962
Langue: anglais
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
EUR 64,97
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : 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.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 53,31
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : Chiron Media, Wallingford, Royaume-Uni
EUR 50,06
Quantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
Edité par Springer International Publishing AG, Cham, 2025
ISBN 10 : 3031814037 ISBN 13 : 9783031814037
Langue: anglais
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
EUR 70,17
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. This volume LNCS constitutes the refereed proceedings of the 21st International Conference on Distributed Computing and Intelligent Technology, ICDCIT 2025, in Bhubaneswar, in India, in January 2025. ICDCIT is organized into two tracks: Distributed Computing (DC) and Intelligent Technology (IT). The DC track solicits original research papers contributing to the foundations and applications of distributed computing. The DC track PC accepted 10 papers (7 regular papers and 3 short papers), and the IT track PC accepted 8 regular papers, The conference presents and discusses results and ideas on the foundations and applications of distributed computing and intelligent technology. The DC track PC accepted 10 papers (7 regular papers and 3 short papers), and the IT track PC accepted 8 regular papers, The conference presents and discusses results and ideas on the foundations and applications of distributed computing and intelligent technology. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Vendeur : California Books, Miami, FL, Etats-Unis
EUR 70,18
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 57,40
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 63,24
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
EUR 31,27
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : Books Puddle, New York, NY, Etats-Unis
EUR 85,17
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New.
Edité par Springer-Verlag New York Inc, 2010
ISBN 10 : 3642152961 ISBN 13 : 9783642152962
Langue: anglais
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 78,63
Quantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 1st edition. 267 pages. 9.10x6.10x0.60 inches. In Stock.
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 92,81
Quantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 334 pages. 9.25x6.10x9.21 inches. In Stock.
Edité par Springer International Publishing AG, Cham, 2025
ISBN 10 : 3031814037 ISBN 13 : 9783031814037
Langue: anglais
Vendeur : CitiRetail, Stevenage, Royaume-Uni
EUR 70,09
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. This volume LNCS constitutes the refereed proceedings of the 21st International Conference on Distributed Computing and Intelligent Technology, ICDCIT 2025, in Bhubaneswar, in India, in January 2025. ICDCIT is organized into two tracks: Distributed Computing (DC) and Intelligent Technology (IT). The DC track solicits original research papers contributing to the foundations and applications of distributed computing. The DC track PC accepted 10 papers (7 regular papers and 3 short papers), and the IT track PC accepted 8 regular papers, The conference presents and discusses results and ideas on the foundations and applications of distributed computing and intelligent technology. The DC track PC accepted 10 papers (7 regular papers and 3 short papers), and the IT track PC accepted 8 regular papers, The conference presents and discusses results and ideas on the foundations and applications of distributed computing and intelligent technology. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 113,17
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 101,91
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Edité par Springer Berlin Heidelberg, 2010
ISBN 10 : 3642152961 ISBN 13 : 9783642152962
Langue: anglais
Vendeur : moluna, Greven, Allemagne
EUR 64,08
Quantité disponible : 3 disponible(s)
Ajouter au panierEtat : New.
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 2013, 2013
ISBN 10 : 3642403123 ISBN 13 : 9783642403125
Langue: anglais
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
EUR 53,49
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 868 pp. Englisch.
Vendeur : Chiron Media, Wallingford, Royaume-Uni
EUR 98,93
Quantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 116,62
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 101,82
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : preigu, Osnabrück, Allemagne
EUR 50,35
Quantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Mathematical Foundations of Computer Science 2013 | 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings | Jirí Sgall (u. a.) | Taschenbuch | xvi | Englisch | 2013 | Springer-Verlag GmbH | EAN 9783642403125 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Edité par Springer Berlin Heidelberg, 2013
ISBN 10 : 3642403123 ISBN 13 : 9783642403125
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 53,49
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.
Edité par Springer International Publishing AG, Cham, 2025
ISBN 10 : 3031814037 ISBN 13 : 9783031814037
Langue: anglais
Vendeur : AussieBookSeller, Truganina, VIC, Australie
EUR 91,72
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. This volume LNCS constitutes the refereed proceedings of the 21st International Conference on Distributed Computing and Intelligent Technology, ICDCIT 2025, in Bhubaneswar, in India, in January 2025. ICDCIT is organized into two tracks: Distributed Computing (DC) and Intelligent Technology (IT). The DC track solicits original research papers contributing to the foundations and applications of distributed computing. The DC track PC accepted 10 papers (7 regular papers and 3 short papers), and the IT track PC accepted 8 regular papers, The conference presents and discusses results and ideas on the foundations and applications of distributed computing and intelligent technology. The DC track PC accepted 10 papers (7 regular papers and 3 short papers), and the IT track PC accepted 8 regular papers, The conference presents and discusses results and ideas on the foundations and applications of distributed computing and intelligent technology. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Edité par Springer Nature Switzerland, Springer International Publishing Jan 2025, 2025
ISBN 10 : 3031814037 ISBN 13 : 9783031814037
Langue: anglais
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
EUR 62,05
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware -This volume LNCS constitutes the refereed proceedings of the 21st International Conference on Distributed Computing and Intelligent Technology, ICDCIT 2025, in Bhubaneswar, in India, in January 2025.ICDCIT is organized into two tracks: Distributed Computing (DC) and Intelligent Technology (IT). The DC track solicits original research papers contributing to the foundations and applications of distributed computing.The DC track PC accepted 10 papers (7 regular papers and 3 short papers), and the IT track PC accepted 8 regular papersThe conference presents and discusses results and ideas on the foundations and applications of distributed computing and intelligent technology.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.
Edité par Springer Nature Switzerland, Springer Nature Switzerland, 2025
ISBN 10 : 3031814037 ISBN 13 : 9783031814037
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 62,05
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume LNCS constitutes the refereed proceedings of the 21st International Conference on Distributed Computing and Intelligent Technology, ICDCIT 2025, in Bhubaneswar, in India, in January 2025.ICDCIT is organized into two tracks: Distributed Computing (DC) and Intelligent Technology (IT). The DC track solicits original research papers contributing to the foundations and applications of distributed computing.The DC track PC accepted10 papers (7 regular papers and 3 short papers), and the IT track PC accepted 8 regular papers,The conference presents and discussesresults and ideason the foundations and applications of distributed computing and intelligenttechnology.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 113
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : preigu, Osnabrück, Allemagne
EUR 57,35
Quantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Distributed Computing and Intelligent Technology | 21st International Conference, ICDCIT 2025, Bhubaneswar, India, January 8-11, 2025, Proceedings | Quentin Bramas (u. a.) | Taschenbuch | xxvi | Englisch | 2025 | Springer | EAN 9783031814037 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
EUR 122,70
Quantité disponible : 15 disponible(s)
Ajouter au panierEtat : New.