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

Kyungmin Bae

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

Rewriting Logic And Its Applications: 13th International Workshop, Wrla 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers

Santiago Escobar Paperback
$80.50
2 formats available
Rewriting Logic and Its Applications: 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers

Francisco Dur Paperback
$72.95
Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers

Bernhard K. Aichernig Paperback
$80.50
Advances in Computer Games: 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers

H. Jaap Van Den Herik Paperback
$80.50
High Performance Computing For Computational Science - Vecpar 2014: 11th International Conference, Eugene, Or, Usa, June 30 - July 3, 2014, Revised Selected Papers

Michel Dayd Paperback
$80.50
2 formats available
Videogame Sciences and Arts: 12th International Conference, VJ 2020, Mirandela, Portugal, November 26-28, 2020, Revised Selected Papers

In Barbedo Paperback
$102.50
2 formats available
Combinatorial Optimization: Second International Symposium, Isco 2012, Athens, Greece, 19-21, Revised Selected Papers

A. Ridha Mahjoub Paperback
$80.50
Gesture-Based Human-Computer Interaction and Simulation: 7th International Gesture Workshop, GW 2007, Lisbon, Portugal, May 23-25, 2007, Revised Selected Papers

Miguel Sales Dias Paperback
$80.50
Phrase Mining from Massive Text and Its Applications

Jialu Liu Paperback
$49.50
Logic, Algebra, and Computation: International Summer School

Friedrich L. Bauer Paperback
$160.95
Machine Learning for Multimodal Interaction: 4th International Workshop, MLMI 2007, Brno, Czech Republic, June 28-30, 2007, Revised Selected Papers

Andrei Popescu-Belis Hardcover
$80.50
Advances in Service-Oriented and Cloud Computing: International Workshops of ESOCC 2022, Wittenberg, Germany, March 22-24, 2022, Revised Selected Papers

Christian Zirpins Paperback
$102.50
2 formats available
Approximation And Online Algorithms: 18th International Workshop, Waoa 2020, Virtual Event, September 9-10, 2020, Revised Selected Papers

Christos Kaklamanis Paperback
$262.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
Languages and Compilers for Parallel Computing: 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001, Revised Papers

Henry Gordon Dietz Paperback
$80.50
Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Marsha Chechik Paperback
$80.50
2 formats available
Next Generation Arithmetic: Third International Conference, CoNGA 2022, Singapore, March 1-3, 2022, Revised Selected Papers

John Gustafson Paperback
$94.95
2 formats available
Immersive Learning Research Network: 9th International Conference, iLRN 2023, San Luis Obispo, USA, June 26-29, 2023, Revised Selected Papers

Marie-Luce Bourguet Paperback
$145.95
2 formats available
Intelligent Human Computer Interaction: 13th International Conference, IHCI 2021, Kent, OH, USA, December 20-22, 2021, Revised Selected Papers

Jong-hoon Kim Paperback
$175.50
2 formats available
Cloud Computing and Services Science: 12th International Conference, CLOSER 2022, Virtual Event, April 27-29, 2022, and 13th International Conference, CLOSER 2023, Prague, Czech Republic, April 26-28, 2023, Revised Selected Papers

Maarten Van Steen Paperback
$72.95

Editorial reviews

Author

Document Analysis Systems: 16th IAPR International Workshop, DAS 2024, Athens, Greece, August 30-31, 2024, Proceedings

Giorgos Sfikas Paperback
$116.95
2 formats available
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
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
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
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
Learning and Intelligent Optimization: 13th International Conference, LION 13, Chania, Crete, Greece, May 27-31, 2019, Revised Selected Papers

Nikolaos F. Matsatsinis Paperback
$80.50
2 formats available
Modelling and Simulation for Autonomous Systems: 9th International Conference, MESAS 2022, Prague, Czech Republic, October 20-21, 2022, Revised Selected Papers

Jan Mazal Paperback
$124.50
2 formats available
Evaluation of Novel Approaches to Software Engineering: 14th International Conference, ENASE 2019, Heraklion, Crete, Greece, May 4-5, 2019, Revised Selected Papers

Ernesto Damiani Paperback
$80.50
2 formats available
Parallel Processing and Applied Mathematics: 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part I

Roman Wyrzykowski 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: 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 I

Elisa H. Barney Smith Paperback
$116.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
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
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 IV

Elisa H. Barney Smith Paperback
$116.95
2 formats available
Machines, Computations, and Universality: 9th International Conference, MCU 2022, Debrecen, Hungary, August 31 - September 2, 2022, Proceedings

J Durand-Lose Paperback
$262.95
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
Logic, Language, Information, and Computation: 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings

George Metcalfe Paperback
$94.95
2 formats available