Skip to main content Skip to footer content

Rewriting Logic and Its Applications: 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers

Jul 30, 2022

$116.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 585 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

295

Lecture Notes In Computer Science

Publisher: Springer Nature

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

ISBN: 9783031124402

Editorial reviews

Author

Rewriting Logic and Its Applications: 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

Kazuhiro Ogata Paperback
$94.95
2 formats available
Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLi 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Nina Gierasimczuk Paperback
$80.50
2 formats available
Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLi 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers

Carlos Areces Paperback
$87.95
2 formats available
Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Akash Lal Paperback
$80.50
2 formats available
Code-Based Cryptography: 9th International Workshop, CBCrypto 2021 Munich, Germany, June 21-22, 2021 Revised Selected Papers

Antonia Wachter-zeh Paperback
$87.95
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
Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings

Virgile Prevosto Paperback
$80.50
2 formats available
Constructive Side-Channel Analysis and Secure Design: 14th International Workshop, Cosade 2023, Munich, Germany, April 3-4, 2023, Proceedings

Paperback
$90.95
2 formats available
Evaluation of Novel Approaches to Software Engineering: 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, Revised Selected Papers

Hermann Kaindl Paperback
$124.50
2 formats available
Document Analysis and Recognition - ICDAR 2024: 18th International Conference, Athens, Greece, August 30-September 4, 2024, Proceedings, Part V

Elisa H. Barney Smith Paperback
$116.95
2 formats available
Document Analysis and Recognition - ICDAR 2024: 18th International Conference, Athens, Greece, August 30-September 4, 2024, Proceedings, Part I

Elisa H. Barney Smith Paperback
$116.95
2 formats available
Parallel Computational Technologies: 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023, Revised Selected Papers

Leonid Sokolinsky Paperback
$131.50
2 formats available
Document Analysis and Recognition - ICDAR 2024: 18th International Conference, Athens, Greece, August 30 - September 4, 2024, Proceedings, Part III

Elisa H. Barney Smith Paperback
$116.95
2 formats available
Algorithmic Aspects of Cloud Computing: 7th International Symposium, ALGOCLOUD 2022, Potsdam, Germany, September 6, 2022, Revised Selected Papers

Luca Foschini Paperback
$87.95
2 formats available
Algorithmic Aspects of Cloud Computing: 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers

Ioannis Chatzigiannakis Paperback
$94.95
2 formats available
Document Analysis and Recognition - ICDAR 2024: 18th International Conference, Athens, Greece, August 30-September 4, 2024, Proceedings, Part IV

Elisa H. Barney Smith Paperback
$116.95
2 formats available
Learning and Intelligent Optimization: 10th International Conference, LION 10, Ischia, Italy, May 29 - June 1, 2016, Revised Selected Papers

Paola Festa Paperback
$80.50
2 formats available
Parallel Computational Technologies: 15th International Conference, PCT 2021, Volgograd, Russia, March 30 - April 1, 2021, Revised Selected Papers

Leonid Sokolinsky Paperback
$80.50
2 formats available
Algorithmic Aspects of Cloud Computing: 5th International Symposium, ALGOCLOUD 2019, Munich, Germany, September 10, 2019, Revised Selected Papers

Ivona Brandic Paperback
$87.95
2 formats available
Document Analysis and Recognition - ICDAR 2024: 18th International Conference, Athens, Greece, August 30-September 4, 2024, Proceedings, Part II

Elisa H. Barney Smith Paperback
$116.95
2 formats available