Passer au contenu principal Passer au contenu du pied de page

Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Axel Legay Édition : Marius Bozga

19 août 2014

80,50 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 403 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

253

Theoretical Computer Science and General Issues

Publié par: Springer/Sci-Tech/Trade

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783319105116

Artificial Intelligence and Machine Learning: 32nd Benelux Conference, BNAIC/Benelearn 2020, Leiden, The Netherlands, November 19-20, 2020, Revised Selected Papers

Mitra Baratchi Couverture souple
102,50 $
2 formats offerts
Flexible Query Answering Systems: 9th International Conference, FQAS 2011, Ghent, Belgium, October 26-28, 2011, Proceedings

Henning Christiansen Couverture souple
80,50 $
Advances in Intelligent Information Hiding and Multimedia Signal Processing: Proceedings of the 15th International Conference on IIH-MSP in conjunction with the 12th International Conference on FITAT, July 18-20, Jilin, China, Volume 2

Jeng-Shyang Pan Couverture rigide
321,50 $
2 formats offerts
Graph-Based Representation and Reasoning: 27th International Conference on Conceptual Structures, ICCS 2022, Munster, Germany, September 12-15, 2022, Proceedings

Tanya Braun Couverture souple
87,95 $
2 formats offerts
Document Analysis and Recognition - ICDAR 2023: 17th International Conference, San Jose, CA, USA, August 21-26, 2023, Proceedings, Part VI

Gernot A. Fink Couverture souple
175,50 $
2 formats offerts
Introduction To Light Emitting Diode Technology And Applications

Gilbert Held Couverture souple
110,95 $
3 formats offerts
Data Management in Grid and Peer-to-Peer Systems: First International Conference, Globe 2008, Turin, Italy, September 3, 2008, Proceedings

Abdelkader Hameurlain Couverture souple
80,50 $
MFDBS 89: 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrad, Hungary, June 26-30, 1989. Proceedings

Couverture souple
92,98 $
Human Interface and the Management of Information: Visual and Information Design: Thematic Area, HIMI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part I

Sakae Yamamoto Couverture souple
58,50 $
Scientific Computing, Computer Arithmetic, and Validated Numerics: 16th International Symposium, SCAN 2014, Wurzburg, Germany, September 21-26, 2014. Revised Selected Papers

Marco Nehmeier Couverture souple
80,50 $
2 formats offerts
Advances in Self-Organizing Maps, Learning Vector Quantization, Interpretable Machine Learning, and Beyond: Proceedings of the 15th International Workshop, WSOM+ 2024, Mittweida, Germany, July 10-12, 2024

Thomas Villmann Couverture souple
72,95 $
PRIMA 2022: Principles and Practice of Multi-Agent Systems: 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings

Reyhan Aydo Couverture souple
160,95 $
2 formats offerts
Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners' and Doctoral Consortium: 23rd International Conference, AIED 2022, Durham, UK, July 27-31, 2022, Proceedings, Part II

Maria Mercedes Rodrigo Couverture souple
160,95 $
2 formats offerts
Advances in Self-Organizing Maps, Learning Vector Quantization, Interpretable Machine Learning, and Beyond: Proceedings of the 15th International Workshop, WSOM+ 2024, Mittweida, Germany, July 10-12, 2024

Thomas Villmann Couverture souple
321,50 $
2 formats offerts
Algorithms and Complexity: 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010, Proceedings

Josep Diaz Couverture souple
80,50 $
Multi-agent Systems: 16th European Conference, Eumas 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

Marija Slavkovik Couverture souple
80,50 $
2 formats offerts
Social Computing, Behavioral-Cultural Modeling and Prediction: 7th International Conference, SBP 2014, Washington, DC, USA, April 1-4, 2014. Proceedings

William G. Kennedy Couverture souple
80,50 $
Highlights In Practical Applications Of Agents, Multi-agent Systems, And Trust-worthiness. The Paams Collection: International Workshops Of Paams 2020, L'aquila, Italy, October 7-9, 2020, Proceedings

Fernando De La Prieta Couverture souple
80,50 $
2 formats offerts
Combating Online Hostile Posts in Regional Languages during Emergency Situation: First International Workshop, CONSTRAINT 2021, Collocated with AAAI 2021, Virtual Event, February 8, 2021, Revised Selected Papers

Tanmoy Chakraborty Couverture souple
80,50 $
2 formats offerts
Smart Card Research and Advanced Applications: 9th IFIP WG 8.8/11.2 International Conference, CARDIS 2010, Passau, Germany, April 14-16, 2010, Proceedings

Dieter Gollmann Couverture souple
80,50 $

Évaluation éditoriale

marius bozga

Auteur

Formal Modeling And Analysis Of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings

Catalin Dima Couverture souple
80,50 $
2 formats offerts
Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings

Gethin Norman Couverture souple
80,50 $
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings

Krishnendu Chatterjee Couverture souple
80,50 $
Formal Modeling And Analysis Of Timed Systems: 18th International Conference, Formats 2020, Vienna, Austria, September 1-3, 2020, Proceedings

Nathalie Bertrand Couverture souple
80,50 $
2 formats offerts
Applied Reconfigurable Computing. Architectures, Tools, And Applications: 16th International Symposium, Arc 2020, Toledo, Spain, April 1-3, 2020, Proceedings

Fernando Rinc Couverture souple
80,50 $
2 formats offerts
Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings

Étienne Andr Couverture souple
80,50 $
2 formats offerts
Parameterized and Exact Computation: Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008, Proceedings

Martin Grohe Couverture rigide
80,50 $
Language And Automata Theory And Applications: 15th International Conference, Lata 2021, Milan, Italy, March 1-5, 2021, Proceedings

Alberto Leporati Couverture souple
80,50 $
2 formats offerts
Unconventional Computation and Natural Computation: 11th International Conference, Ucnc 2012, Orleans, France, September 3-7, 2012, Proceedings

Jerome Durand-Lose Couverture souple
72,95 $
Language And Automata Theory And Applications: 14th International Conference, Lata 2020, Milan, Italy, March 4-6, 2020, Proceedings

Alberto Leporati Couverture souple
80,50 $
2 formats offerts
Theory And Applications Of Satisfiability Testing - Sat 2020: 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings

Luca Pulina Couverture souple
80,50 $
2 formats offerts
Foundations of Software Science and Computation Structures: 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Anca Muscholl Couverture souple
80,50 $
Dynamic Logic. New Trends And Applications: Second International Workshop, Dali 2019, Porto, Portugal, October 7-11, 2019, Proceedings

Lu Soares Barbosa Couverture souple
80,50 $
2 formats offerts
Computational Topology In Image Context: 6th International Workshop, Ctic 2016, Marseille, France, June 15-17, 2016, Proceedings

Alexandra Bac Couverture souple
80,50 $
2 formats offerts
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques: 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Barcelona, Spain, September 1-3, 2010. Proceedings

Maria Serna Couverture souple
160,95 $
Theory And Applications Of Satisfiability Testing - Sat 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings

Chu-min Li Couverture souple
175,50 $
2 formats offerts
Stochastic Algorithms: Foundations and Applications: 4th International Symposium, SAGA 2007, Zurich, Switzerland, September 13-14, 2007, Proceedings

Juraj Hromkovi Couverture souple
80,50 $
Reachability Problems: Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings

Olivier Bournez Couverture souple
80,50 $
Algebraic Informatics: 5th International Conference, Cai 2013, Porquerolles, France, September 3-6, 2013. Proceedings

Traian Muntean Couverture souple
105,50 $
Experimental Algorithms: 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings

Ralf Klasing Couverture souple
80,50 $