Passer au contenu principal Passer au contenu du pied de page

Formal Methods for an Informal World: ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures

Antonio Cerone

5 novembre 2023

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

169

Lecture Notes In Computer Science

Publié par: Springer Nature

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

ISBN: 9783031436772

Data Visualization 2000: Proceedings of the Joint EUROGRAPHICS and IEEE TCVG Symposium on Visualization in Amsterdam, The Netherlands, May 29-30, 2000

W. De Leeuw Couverture souple
80,50 $
Computer Aided Systems Theory - EUROCAST 2022: 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022, Revised Selected Papers

Roberto Moreno-d Couverture souple
160,95 $
2 formats offerts
Mathematical Methods for Curves and Surfaces: 8th International Conference, MMCS 2012, Oslo, Norway, June 28 - July 3, 2012, Revised Selected Papers

Michael Floater Couverture souple
80,50 $
Enterprise Information Systems: 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023, Revised Selected Papers, Part II

Joaquim Filipe Couverture souple
72,95 $
Enterprise Information Systems: 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023, Revised Selected Papers, Part I

Joaquim Filipe Couverture souple
72,95 $
Enterprise Information Systems: 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023, Revised Selected Papers, Part II

Joaquim Filipe Couverture souple
94,95 $
2 formats offerts
Building Bridges: HCI, Visualization, and Non-formal Modeling: IFIP WG 13.7 Workshops on Human-Computer Interaction and Visualization: 7th HCIV@ECCE 2011, Rostock, Germany, August 23, 2011, and 8th HCIV@INTERACT 2011, Lisbon, Portugal, September 5, 2011, Revised Selected P

Achim Ebert Couverture souple
80,50 $
2 formats offerts
Enterprise Information Systems: 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023, Revised Selected Papers, Part I

Joaquim Filipe Couverture souple
109,50 $
2 formats offerts
Linking Theory and Practice of Digital Libraries: 28th International Conference on Theory and Practice of Digital Libraries, TPDL 2024, Ljubljana, Slovenia, September 24-27, 2024, Proceedings, Part I

Apostolos Antonacopoulos Couverture souple
204,50 $
2 formats offerts
Adaptive and Natural Computing Algorithms: 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers

Ville Kolehmainen Couverture souple
160,95 $
Web and Wireless Geographical Information Systems: 21st International Symposium, W2GIS 2024, Yverdon-les-Bains, Switzerland, June 17-18, 2024, Proceedings

Maryam Lotfian Couverture souple
72,95 $
Web and Wireless Geographical Information Systems: 21st International Symposium, W2GIS 2024, Yverdon-les-Bains, Switzerland, June 17-18, 2024, Proceedings

Maryam Lotfian Couverture souple
189,95 $
2 formats offerts
Computer Aided Systems Theory - EUROCAST 2019: 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17-22, 2019, Revised Selected Papers, Part I

Roberto Moreno-d Couverture souple
80,50 $
2 formats offerts
Model Design and Simulation Analysis: 15th International Conference, AsiaSim 2015, Jeju, Korea, November 4-7, 2015, Revised Selected Papers

Syng Yup Ohn Couverture souple
76,50 $
2 formats offerts
Linking Theory and Practice of Digital Libraries: 28th International Conference on Theory and Practice of Digital Libraries, TPDL 2024, Ljubljana, Slovenia, September 24-27, 2024, Proceedings, Part II

Apostolos Antonacopoulos Couverture souple
189,95 $
2 formats offerts
Sustained Simulation Performance 2019 and 2020: Proceedings of the Joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2019 and 2020

Michael M. Resch Couverture rigide
291,95 $
2 formats offerts
Sequences and Their Applications - SETA 2004: Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers

Tor Helleseth Couverture souple
80,50 $
Multi-Agent-Based Simulation XXIV: 24th International Workshop, MABS 2023, London, UK, May 29 - June 2, 2023, Revised Selected Papers

Luis G. Nardin Couverture souple
80,50 $
2 formats offerts
Modelling and Simulation for Autonomous Systems: 9th International Conference, MESAS 2022, Prague, Czech Republic, October 20-21, 2022, Revised Selected Papers

Jan Mazal Couverture souple
124,50 $
2 formats offerts
Multi-Agent-Based Simulation XXIV: 24th International Workshop, MABS 2023, London, UK, May 29 - June 2, 2023, Revised Selected Papers

Luis G. Nardin Couverture souple
72,95 $

Évaluation éditoriale

Auteur

Composability, Comprehensibility and Correctness of Working Software: 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers

Zolt Porkol Couverture souple
109,50 $
2 formats offerts
Business Intelligence: 5th European Summer School, Ebiss 2015, Barcelona, Spain, July 5-10, 2015, Tutorial Lectures

Esteban Zimányi Couverture souple
65,95 $
2 formats offerts
Computational Theory of Mind for Human-Machine Teams: First International Symposium, ToM for Teams 2021, Virtual Event, November 4-6, 2021, Revised Selected Papers

Nikolos Gurney Couverture souple
175,50 $
2 formats offerts
Formal Methods - Fun for Everybody: First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers

Antonio Cerone Couverture souple
80,50 $
2 formats offerts
Reasoning Web. Causality, Explanations and Declarative Knowledge: 18th International Summer School 2022, Berlin, Germany, September 27-30, 2022, Tutorial Lectures

Leopoldo Bertossi Couverture souple
94,95 $
2 formats offerts
Charting the Topic Maps Research and Applications Landscape: First International Workshop on Topic Map Research and Applications, TMRA 2005, Leipzig, Germany, October 6-7, 2005, Revised Selected Papers

Lutz Maicher Couverture souple
80,50 $
Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings

Couverture souple
71,50 $
Deep Learning Theory and Applications: First International Conference, DeLTA 2020, Virtual Event, July 8-10, 2020, and Second International Conference, DeLTA 2021, Virtual Event, July 7-9, 2021, Revised Selected Papers

Ana Fred Couverture souple
102,50 $
2 formats offerts
Gaming, Simulation and Innovations: Challenges and Opportunities: 52nd International Simulation and Gaming Association Conference, ISAGA 2021, Indore, India, September 6-10, 2021, Revised Selected Papers

Upinder Dhar Couverture souple
131,50 $
2 formats offerts
Dynamics in Logic and Language: Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1-4, 2022, Revised Selected Papers

Dun Deng Couverture souple
87,95 $
2 formats offerts
From Data to Models and Back: 10th International Symposium, DataMod 2021, Virtual Event, December 6-7, 2021, Revised Selected Papers

Juliana Bowles Couverture souple
87,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
Advanced Lectures On Machine Learning: Machine Learning Summer School 2002, Canberra, Australia, February 11-22, 2002, Revised Lectures

Shahar Mendelson Couverture souple
72,95 $
Big Data Management and Analytics: 9th European Summer School, eBISS 2019, Berlin, Germany, June 30 - July 5, 2019, Revised Selected Papers

Ralf-Detlef Kutsche Couverture souple
80,50 $
2 formats offerts
Rewriting Logic and Its Applications: 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers

Kyungmin Bae Couverture souple
116,95 $
2 formats offerts
Scaling Topic Maps: Third International Conference on Topic Map Research and Applications, TMRA 2007 Leipzig, Germany, October 11-12, 2007 Revised Selected Papers

Lutz Maicher Couverture souple
80,50 $
Central European Functional Programming School: 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers

Viktória Zs Couverture souple
80,50 $
2 formats offerts
Service-Oriented Computing: 14th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2020, Crete, Greece, September 13-19, 2020

Schahram Dustdar Couverture souple
80,50 $
2 formats offerts
Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers

Kim G. Larsen Couverture souple
80,50 $
Simulation and Gaming for Social Impact: 53rd International Simulation and Gaming Association Conference, ISAGA 2022, Boston, MA, USA, July 11-14, 2022, Revised Selected Papers

Casper Harteveld Couverture souple
102,50 $
2 formats offerts