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

Name: Logic-Based Program Synthesis and Transformation: 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings
Price: 94.95 CAD
Availability: OutOfStock
Author: Harald Sondergaard
ISBN: 9783031712937

Juliana Bowles Edited by Harald Sondergaard

Sep 07, 2024

$94.95

Online pricing. Prices and offers may vary in store.

Ship to me

Checking availability…

Buy now & pick up in store

Checking availability…

Find it in store

Checking availability…

Quantity

Earn 475 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

241

Lecture Notes In Computer Science

Publisher: Springer Nature

Shipping dimensions: 9" H x 6" W x 1" L

ISBN: 9783031712937

e-Technologies and Networks for Development: First International Conference, ICeND 2011, Dar-es-Salaam, Tanzania, August 3-5, 2011, Proceedings

Jim James Yonazi Paperback
$80.50
Implementation and Application of Automata: 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers

Jan Holub Hardcover
$80.50
Bioinformatics Research and Applications: 20th International Symposium, ISBRA 2024, Kunming, China, July 19-21, 2024, Proceedings, Part I

Wei Peng Paperback
$72.95
Bioinformatics Research and Applications: 20th International Symposium, ISBRA 2024, Kunming, China, July 19-21, 2024, Proceedings, Part I

Wei Peng Paperback
$131.50
2 formats available
Medical Image Computing and Computer Assisted Intervention - MICCAI 2022: 25th International Conference, Singapore, September 18-22, 2022, Proceedings, Part III

Linwei Wang Paperback
$80.50
2 formats available
Medical Image Computing and Computer Assisted Intervention - MICCAI 2022: 25th International Conference, Singapore, September 18-22, 2022, Proceedings, Part II

Linwei Wang Paperback
$80.50
2 formats available
Medical Image Computing and Computer Assisted Intervention - MICCAI 2022: 25th International Conference, Singapore, September 18-22, 2022, Proceedings, Part I

Linwei Wang Paperback
$80.50
2 formats available
Ubiquitous Computing and Ambient Intelligence: Personalisation and User Adapted Services: 8th International Conference, UCAmI 2014, Belfast, UK, December 2-5, 2014, Proceedings

Ram Herv Paperback
$80.50
Medical Image Computing and Computer Assisted Intervention - MICCAI 2022: 25th International Conference, Singapore, September 18-22, 2022, Proceedings, Part VIII

Linwei Wang Paperback
$80.50
2 formats available
Bioinformatics Research and Applications: 20th International Symposium, ISBRA 2024, Kunming, China, July 19-21, 2024, Proceedings, Part II

Wei Peng Paperback
$131.50
2 formats available
Medical Image Computing and Computer Assisted Intervention - MICCAI 2022: 25th International Conference, Singapore, September 18-22, 2022, Proceedings, Part IV

Linwei Wang Paperback
$87.95
2 formats available
Hybrid Learning and Education: Second International Conference, Ichl 2009, Macau, China, August 25-27, 2009, Proceedings

Fu Lee Wang Paperback
$80.50
Bioinformatics Research and Applications: 20th International Symposium, ISBRA 2024, Kunming, China, July 19-21, 2024, Proceedings, Part II

Wei Peng Paperback
$72.95
Bioinformatics Research and Applications: 20th International Symposium, ISBRA 2024, Kunming, China, July 19-21, 2024, Proceedings, Part III

Wei Peng Paperback
$72.95
Medical Image Computing and Computer Assisted Intervention - MICCAI 2022: 25th International Conference, Singapore, September 18-22, 2022, Proceedings, Part V

Linwei Wang Paperback
$80.50
2 formats available
Electronic Government and the Information Systems Perspective: 13th International Conference, EGOVIS 2024, Naples, Italy, August 26-28, 2024, Proceedings

Paperback
$72.95
Advances in Information Retrieval: 25th European Conference on IR Research, ECIR 2003, Pisa, Italy, April 14-16, 2003, Proceedings

Fabrizio Sebastiani Paperback
$160.95
Bioinformatics Research and Applications: 20th International Symposium, ISBRA 2024, Kunming, China, July 19-21, 2024, Proceedings, Part III

Wei Peng Paperback
$80.50
2 formats available
Medical Image Computing and Computer Assisted Intervention - MICCAI 2022: 25th International Conference, Singapore, September 18-22, 2022, Proceedings, Part VII

Linwei Wang Paperback
$80.50
2 formats available
Electronic Government and the Information Systems Perspective: 13th International Conference, EGOVIS 2024, Naples, Italy, August 26-28, 2024, Proceedings

Paperback
$80.50
2 formats available

Editorial reviews

harald sondergaard

Author

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

Alicia Villanueva Paperback
$87.95
2 formats available
Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

Robert Gl Paperback
$80.50
2 formats available
Formal Aspects of Component Software: 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

Diego Marmsoler Paperback
$80.50
2 formats available
Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings

Sergiy Bogomolov Paperback
$87.95
2 formats available
Reachability Problems: 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

Laura Kov Paperback
$94.95
2 formats available
Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings

Emanuele De Angelis Paperback
$87.95
2 formats available
Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

Laure Petrucci Paperback
$80.50
2 formats available
Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

Anne E. Haxthausen Paperback
$94.95
2 formats available
Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings

Erika Ábrah Paperback
$80.50
2 formats available
Metaheuristics: 14th International Conference, MIC 2022, Syracuse, Italy, July 11-14, 2022, Proceedings

Luca Di Gaspero Paperback
$131.50
2 formats available
Foundations of Information and Knowledge Systems: 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings

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

Étienne Andr Paperback
$109.50
2 formats available
String Processing and Information Retrieval: 30th International Symposium, SPIRE 2023, Pisa, Italy, September 26-28, 2023, Proceedings

Franco Maria Nardini Paperback
$109.50
2 formats available
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I

Étienne Andr Paperback
$116.95
2 formats available
Evolutionary Multi-Criterion Optimization: 12th International Conference, EMO 2023, Leiden, The Netherlands, March 20-24, 2023, Proceedings

Michael Emmerich Paperback
$145.95
2 formats available
Computational Color Imaging: 8th International Workshop, CCIW 2024, Milan, Italy, September 25-27, 2024, Proceedings

Raimondo Schettini Paperback
$94.95
2 formats available
Engineering of Complex Computer Systems: 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19-21, 2024, Proceedings

Guangdong Bai Paperback
$109.50
2 formats available
Cooperative Design, Visualization, and Engineering: 21st International Conference, CDVE 2024, Valencia, Spain, September 15-18, 2024, Proceedings

Yuhua Luo Paperback
$109.50
2 formats available
Electronic Government and the Information Systems Perspective: 13th International Conference, EGOVIS 2024, Naples, Italy, August 26-28, 2024, Proceedings

Paperback
$80.50
2 formats available
Model-Based Safety and Assessment: 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings

Christel Seguin Paperback
$80.50
2 formats available

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

Overview

You May Also Like

e-Technologies and Networks for Development: First International Conference, ICeND 2011, Dar-es-Salaam, Tanzania, August 3-5, 2011, Proceedings

Implementation and Application of Automata: 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers

Bioinformatics Research and Applications: 20th International Symposium, ISBRA 2024, Kunming, China, July 19-21, 2024, Proceedings, Part I

Bioinformatics Research and Applications: 20th International Symposium, ISBRA 2024, Kunming, China, July 19-21, 2024, Proceedings, Part I

Medical Image Computing and Computer Assisted Intervention - MICCAI 2022: 25th International Conference, Singapore, September 18-22, 2022, Proceedings, Part III

Medical Image Computing and Computer Assisted Intervention - MICCAI 2022: 25th International Conference, Singapore, September 18-22, 2022, Proceedings, Part II

Medical Image Computing and Computer Assisted Intervention - MICCAI 2022: 25th International Conference, Singapore, September 18-22, 2022, Proceedings, Part I

Ubiquitous Computing and Ambient Intelligence: Personalisation and User Adapted Services: 8th International Conference, UCAmI 2014, Belfast, UK, December 2-5, 2014, Proceedings

Medical Image Computing and Computer Assisted Intervention - MICCAI 2022: 25th International Conference, Singapore, September 18-22, 2022, Proceedings, Part VIII

Bioinformatics Research and Applications: 20th International Symposium, ISBRA 2024, Kunming, China, July 19-21, 2024, Proceedings, Part II

Medical Image Computing and Computer Assisted Intervention - MICCAI 2022: 25th International Conference, Singapore, September 18-22, 2022, Proceedings, Part IV

Hybrid Learning and Education: Second International Conference, Ichl 2009, Macau, China, August 25-27, 2009, Proceedings

Bioinformatics Research and Applications: 20th International Symposium, ISBRA 2024, Kunming, China, July 19-21, 2024, Proceedings, Part II

Bioinformatics Research and Applications: 20th International Symposium, ISBRA 2024, Kunming, China, July 19-21, 2024, Proceedings, Part III

Medical Image Computing and Computer Assisted Intervention - MICCAI 2022: 25th International Conference, Singapore, September 18-22, 2022, Proceedings, Part V

Electronic Government and the Information Systems Perspective: 13th International Conference, EGOVIS 2024, Naples, Italy, August 26-28, 2024, Proceedings

Advances in Information Retrieval: 25th European Conference on IR Research, ECIR 2003, Pisa, Italy, April 14-16, 2003, Proceedings

Bioinformatics Research and Applications: 20th International Symposium, ISBRA 2024, Kunming, China, July 19-21, 2024, Proceedings, Part III

Medical Image Computing and Computer Assisted Intervention - MICCAI 2022: 25th International Conference, Singapore, September 18-22, 2022, Proceedings, Part VII

Electronic Government and the Information Systems Perspective: 13th International Conference, EGOVIS 2024, Naples, Italy, August 26-28, 2024, Proceedings

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

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

Formal Aspects of Component Software: 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

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

Reachability Problems: 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

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

Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings

Metaheuristics: 14th International Conference, MIC 2022, Syracuse, Italy, July 11-14, 2022, Proceedings

Foundations of Information and Knowledge Systems: 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings

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

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

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

Evolutionary Multi-Criterion Optimization: 12th International Conference, EMO 2023, Leiden, The Netherlands, March 20-24, 2023, Proceedings

Computational Color Imaging: 8th International Workshop, CCIW 2024, Milan, Italy, September 25-27, 2024, Proceedings

Engineering of Complex Computer Systems: 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19-21, 2024, Proceedings

Cooperative Design, Visualization, and Engineering: 21st International Conference, CDVE 2024, Valencia, Spain, September 15-18, 2024, Proceedings

Electronic Government and the Information Systems Perspective: 13th International Conference, EGOVIS 2024, Naples, Italy, August 26-28, 2024, Proceedings

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