Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings

Name: Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings
Price: 66.99 CAD
Availability: InStock
Author: Emanuele De Angelis
ISBN: 9783030988692

Édition : Emanuele De Angelis

22 février 2023

66,99 $ ~~Réduction sur le prix courant 83,03 $ à~~

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

Acheter le livre numérique

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

Description

Langue

anglais

Lecture Notes In Computer Science

Publié par: Springer International Publishing

ISBN: 9783030988692

Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings

Sérgio Campos Couverture souple
87,95 $
2 formats offerts
Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

Robert Gl Couverture souple
80,50 $
2 formats offerts
Modelling Foundations and Applications: 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010, Proceeding: 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010, Proceedings

Thomas Kühne Couverture souple
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
AIxIA 2021 - Advances in Artificial Intelligence: 20th International Conference of the Italian Association for Artificial Intelligence, Virtual Event, December 1-3, 2021, Revised Selected Papers

Stefania Bandini Couverture souple
175,50 $
2 formats offerts
Enterprise Information Systems: 22nd International Conference, Iceis 2020, Virtual Event, May 5-7, 2020, Revised Selected Papers

Joaquim Filipe Couverture souple
233,95 $
2 formats offerts
Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

Kerstin Eder Couverture souple
105,50 $
Digital Health And Medical Analytics: Second International Conference, Dha 2020, Beijing, China, July 25, 2020, Revised Selected Papers

Yichuan Wang Couverture souple
80,50 $
2 formats offerts
Cyber Security in Parallel and Distributed Computing: Concepts, Techniques, Applications and Case Studies

Couverture rigide
300,95 $
2 formats offerts
Service-Oriented and Cloud Computing: 8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020, Proceedings

Antonio Brogi Couverture souple
116,95 $
2 formats offerts
Algebraic Informatics: 5th International Conference, Cai 2013, Porquerolles, France, September 3-6, 2013. Proceedings

Traian Muntean Couverture souple
105,50 $
Database and Expert Systems Applications: 9th International Conference, DEXA'98, Vienna, Austria, August 24-28, 1998, Proceedings

Gerald Quirchmayr Couverture souple
160,95 $
Artificial Intelligence in Education: 17th International Conference, Aied 2015, Madrid, Spain, June 22-26, 2015. Proceedings

Cristina Conati Couverture souple
189,95 $
Advances on Practical Applications of Agents and Multi-Agent Systems: 11th International Conference, PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings

Yves Demazeau Couverture souple
80,50 $
Machine Learning: Ecml 2004: 15th European Conference on Machine Learning, Pisa, Italy, September 20-24, 2004, Proceedin: 15th European Conference on Machine Learning, Pisa, Italy, September 20-24, 2004, Proceedings

Jean-Francois Boulicaut Couverture souple
80,50 $
Information and Communication Technologies: 18th EUNICE/IFIP WG 6.2, 6.6 International Conference, EUNICE 2012, Budapest, Hungary, August 29-31, 2012, Proceedings

Robert Szabo Couverture souple
80,50 $
Human Aspects Of Information Security And Assurance: 15th Ifip Wg 11.12 International Symposium, Haisa 2021, Virtual Event, July 7-9, 2021, Proceedings

Steven Furnell Couverture rigide
160,95 $
2 formats offerts
LATIN 2024: Theoretical Informatics: 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part I

José A. Soto Couverture souple
109,50 $
2 formats offerts
Logic-Based Program Synthesis and Transformation: 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings

Juliana Bowles Couverture souple
94,95 $
2 formats offerts
Recent Advances on Soft Computing and Data Mining: The Second International Conference on Soft Computing and Data Mining (SCDM-2016), Bandung, Indonesia, August 18-20, 2016 Proceedings

Tutut Herawan Couverture souple
321,50 $
2 formats offerts

Évaluation éditoriale

emanuele de angelis

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
Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

Robert Gl Couverture souple
80,50 $
2 formats offerts
Logic-Based Program Synthesis and Transformation: 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings

Juliana Bowles Couverture souple
94,95 $
2 formats offerts
Model-Based Safety and Assessment: 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings

Christel Seguin Couverture souple
80,50 $
2 formats offerts
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I

Étienne Andr Couverture souple
116,95 $
2 formats offerts
Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings

Ahmed Bouajjani Couverture souple
124,50 $
2 formats offerts
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II

Étienne Andr Couverture souple
109,50 $
2 formats offerts
Logic-based Program Synthesis And Transformation: 30th International Symposium, Lopstr 2020, Bologna, Italy, September 7-9, 2020, Proceedings

Maribel Fernández Couverture souple
124,50 $
2 formats offerts
Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

Maurice Bruynooghe Couverture souple
80,50 $
Product-Focused Software Process Improvement: 23rd International Conference, PROFES 2022, Jyvaskyla, Finland, November 21-23, 2022, Proceedings

Davide Taibi Couverture souple
145,95 $
2 formats offerts
Dependable Software Engineering. Theories, Tools, and Applications: 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings

Wei Dong Couverture souple
102,50 $
2 formats offerts
Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings

Laura Nenzi Couverture souple
116,95 $
2 formats offerts
Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers

Couverture souple
71,50 $
Dependable Software Engineering. Theories, Tools, and Applications: 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings

Holger Hermanns Couverture souple
116,95 $
2 formats offerts
String Processing and Information Retrieval: 30th International Symposium, SPIRE 2023, Pisa, Italy, September 26-28, 2023, Proceedings

Franco Maria Nardini Couverture souple
109,50 $
2 formats offerts
Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings

Omri Isac Couverture souple
102,50 $
2 formats offerts
Fundamentals of Computation Theory: 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedings

Henning Fernau Couverture souple
116,95 $
2 formats offerts
Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings

Sergiy Bogomolov Couverture souple
87,95 $
2 formats offerts
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings

Jan Friso Groote Couverture souple
116,95 $
2 formats offerts
Product-Focused Software Process Improvement: 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part II

Regine Kadgien Couverture souple
80,50 $
2 formats offerts

Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings

Description

Vous aimerez peut-être aussi

Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings

Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

Modelling Foundations and Applications: 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010, Proceeding: 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010, Proceedings

Language And Automata Theory And Applications: 15th International Conference, Lata 2021, Milan, Italy, March 1-5, 2021, Proceedings

AIxIA 2021 - Advances in Artificial Intelligence: 20th International Conference of the Italian Association for Artificial Intelligence, Virtual Event, December 1-3, 2021, Revised Selected Papers

Enterprise Information Systems: 22nd International Conference, Iceis 2020, Virtual Event, May 5-7, 2020, Revised Selected Papers

Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

Digital Health And Medical Analytics: Second International Conference, Dha 2020, Beijing, China, July 25, 2020, Revised Selected Papers

Cyber Security in Parallel and Distributed Computing: Concepts, Techniques, Applications and Case Studies

Service-Oriented and Cloud Computing: 8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020, Proceedings

Algebraic Informatics: 5th International Conference, Cai 2013, Porquerolles, France, September 3-6, 2013. Proceedings

Database and Expert Systems Applications: 9th International Conference, DEXA'98, Vienna, Austria, August 24-28, 1998, Proceedings

Artificial Intelligence in Education: 17th International Conference, Aied 2015, Madrid, Spain, June 22-26, 2015. Proceedings

Advances on Practical Applications of Agents and Multi-Agent Systems: 11th International Conference, PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings

Machine Learning: Ecml 2004: 15th European Conference on Machine Learning, Pisa, Italy, September 20-24, 2004, Proceedin: 15th European Conference on Machine Learning, Pisa, Italy, September 20-24, 2004, Proceedings

Information and Communication Technologies: 18th EUNICE/IFIP WG 6.2, 6.6 International Conference, EUNICE 2012, Budapest, Hungary, August 29-31, 2012, Proceedings

Human Aspects Of Information Security And Assurance: 15th Ifip Wg 11.12 International Symposium, Haisa 2021, Virtual Event, July 7-9, 2021, Proceedings

LATIN 2024: Theoretical Informatics: 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part I

Logic-Based Program Synthesis and Transformation: 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings

Recent Advances on Soft Computing and Data Mining: The Second International Conference on Soft Computing and Data Mining (SCDM-2016), Bandung, Indonesia, August 18-20, 2016 Proceedings

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

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

Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

Logic-Based Program Synthesis and Transformation: 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings

Model-Based Safety and Assessment: 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings

Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I

Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings

Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II

Logic-based Program Synthesis And Transformation: 30th International Symposium, Lopstr 2020, Bologna, Italy, September 7-9, 2020, Proceedings

Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

Product-Focused Software Process Improvement: 23rd International Conference, PROFES 2022, Jyvaskyla, Finland, November 21-23, 2022, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications: 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings

Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings

Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers

Dependable Software Engineering. Theories, Tools, and Applications: 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings

String Processing and Information Retrieval: 30th International Symposium, SPIRE 2023, Pisa, Italy, September 26-28, 2023, Proceedings

Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings

Fundamentals of Computation Theory: 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedings

Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings

Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings

Product-Focused Software Process Improvement: 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part II