Passer au contenu principal Passer au contenu du pied de page

Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings

Édition : Ekaterina Komendantskaya

21 septembre 2022

68,99 $ ~~Réduction sur le prix courant 86,05 $ à~~

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

Acheter le livre numérique

Description

Langue

anglais

Lecture Notes In Computer Science

Publié par: Springer International Publishing

ISBN: 9783031169120

Conceptual Structures: Knowledge Architectures for Smart Applications: 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007, Proceedings

Uta Priss Couverture souple
80,50 $
Declarative Programming and Knowledge Management: Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers

Petra Hofstedt Couverture souple
80,50 $
2 formats offerts
Declarative Programming and Knowledge Management: Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Wurzburg, Germany, September 19-22, 2017, Revised Selected Papers

Dietmar Seipel Couverture souple
80,50 $
2 formats offerts
Practice-Driven Research on Enterprise Transformation: Second Working Conference, PRET 2010, Delft, The Netherlands, November 11, 2010, Proceedings

Frank Harmsen Couverture souple
80,50 $
Database and Expert Systems Applications: 35th International Conference, DEXA 2024, Naples, Italy, August 26-28, 2024, Proceedings, Part II

Christine Strauß Couverture souple
72,95 $
Information Processing in Computer-Assisted Interventions: First International Conference, IPCAI 2010, Geneva, Switzerland, June 23, 2010, Proceedings

Nassir Navab Couverture souple
80,50 $
Principles and Practice of Constraint Programming - CP 2009: 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings

Ian P. Gent Couverture souple
160,95 $
Database and Expert Systems Applications: 35th International Conference, DEXA 2024, Naples, Italy, August 26-28, 2024, Proceedings, Part II

Christine Strauß Couverture souple
109,50 $
2 formats offerts
Geographical Information Systems Theory, Applications and Management: 7th International Conference, GISTAM 2021, Virtual Event, April 23-25, 2021, and 8th International Conference, GISTAM 2022, Virtual Event, April 27-29, 2022, Revised Selected Papers

Cédric Grueau Couverture souple
94,95 $
2 formats offerts
Multidisciplinary Social Networks Research: 6th International Conference, MISNC 2019, Wenzhou, China, August 26-28, 2019, Revised Selected Papers

Jerry Chun-wei Lin Couverture souple
80,50 $
2 formats offerts
Computer Security - ESORICS 2004: 9th European Symposium on Research Computer Security, Sophia Antipolis, France, September 13-15, 2004. Proceedings

Pierangela Samarati Couverture souple
80,50 $
Computational Advances in Bio and Medical Sciences: 9th International Conference, ICCABS 2019, Miami, FL, USA, November 15-17, 2019, Revised Selected Papers

Ion Mändoiu Couverture souple
80,50 $
2 formats offerts
Database and Expert Systems Applications: 35th International Conference, DEXA 2024, Naples, Italy, August 26-28, 2024, Proceedings, Part I

Christine Strauß Couverture souple
72,95 $
Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings

Lucas Lima Couverture souple
87,95 $
2 formats offerts
Applications And Techniques In Information Security: 10th International Conference, Atis 2019, Thanjavur, India, November 22-24, 2019, Proceedings

V. S. Shankar Sriram Couverture souple
80,50 $
2 formats offerts
Case-Based Reasoning Research and Development: 30th International Conference, ICCBR 2022, Nancy, France, September 12-15, 2022, Proceedings

Mark T. Keane Couverture souple
124,50 $
2 formats offerts
Database and Expert Systems Applications: 10th International Conference, DEXA'99, Florence, Italy, August 30 - September 3, 1999, Proceedings

Trevor Bench-Capon Couverture souple
160,95 $
Database and Expert Systems Applications: 35th International Conference, DEXA 2024, Naples, Italy, August 26-28, 2024, Proceedings, Part I

Christine Strauß Couverture souple
94,95 $
2 formats offerts
Smart Card Research and Advanced Applications: 19th International Conference, CARDIS 2020, Virtual Event, November 18-19, 2020, Revised Selected Papers

Pierre-yvan Liardet Couverture souple
80,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Tiziana Margaria Couverture souple
116,95 $
2 formats offerts

Évaluation éditoriale

ekaterina komendantskaya

Auteur

Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings

Alicia Villanueva Couverture souple
87,95 $
2 formats offerts
Structural Information and Communication Complexity: 29th International Colloquium, SIROCCO 2022, Paderborn, Germany, June 27-29, 2022, Proceedings

Merav Parter Couverture souple
124,50 $
2 formats offerts
Foundations of Information and Knowledge Systems: 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings

Ivan Varzinczak Couverture souple
116,95 $
2 formats offerts
Cryptography and Coding: 19th IMA International Conference, IMACC 2023, London, UK, December 12-14, 2023, Proceedings

Elizabeth A. Quaglia Couverture souple
58,50 $
Cryptography and Coding: 19th IMA International Conference, IMACC 2023, London, UK, December 12-14, 2023, Proceedings

Elizabeth A. Quaglia Couverture souple
94,95 $
2 formats offerts
Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings

Erika Ábrah Couverture souple
80,50 $
2 formats offerts
Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings

Martin Gebser Couverture souple
58,50 $
Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings

Nikolai Kosmatov Couverture souple
204,50 $
2 formats offerts
Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings

Nikolai Kosmatov Couverture souple
204,50 $
2 formats offerts
Formal Aspects of Component Software: 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

Diego Marmsoler Couverture souple
80,50 $
2 formats offerts
Implementation and Application of Automata: 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings

Benedek Nagy Couverture souple
94,95 $
2 formats offerts
Reachability Problems: 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

Laura Kov Couverture souple
94,95 $
2 formats offerts
Algorithms and Complexity: 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, Proceedings

Marios Mavronicolas Couverture souple
124,50 $
2 formats offerts
Theory of Cryptography: 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part I

Elette Boyle Couverture souple
131,50 $
Theory of Cryptography: 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part II

Elette Boyle Couverture souple
116,95 $
Electronic Government: Third International Conference, EGOV 2004, Zaragoza, Spain, August 30-September 3, 2004, Proceedings

Roland Traunmüller Couverture souple
160,95 $
Theory of Cryptography: 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part IV

Elette Boyle Couverture souple
145,95 $
Theory of Cryptography: 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part III

Elette Boyle Couverture souple
116,95 $
Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

Alessandro Cimatti Couverture souple
58,50 $
Foundations of Information and Knowledge Systems: 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings

Arne Meier Couverture souple
72,95 $