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

Name: Rewriting Logic and Its Applications: 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers
Price: 94.95 CAD
Availability: InStock
Author: Narciso Martí-Oliet
ISBN: 9783031659409

Kazuhiro Ogata Édition : Narciso Martí-Oliet

2 août 2024

94,95 $

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

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

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

Description

Langue

anglais

Pages

209

Lecture Notes In Computer Science

Publié par: Springer Nature

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783031659409

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

Kazuhiro Ogata Couverture souple
72,95 $
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 $
Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

Shaoying Liu Couverture souple
65,95 $
2 formats offerts
Parallel Processing and Applied Mathematics: 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part I

Roman Wyrzykowski Couverture souple
80,50 $
LATIN 2020: Theoretical Informatics: 14th Latin American Symposium, Sao Paulo, Brazil, January 5-8, 2021, Proceedings

Yoshiharu Kohayakawa Couverture souple
160,95 $
2 formats offerts
Reuse and Software Quality: 20th International Conference on Software and Systems Reuse, ICSR 2022, Montpellier, France, June 15-17, 2022, Proceedings

Gilles Perrouin Couverture souple
87,95 $
2 formats offerts
Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Stephanie Weirich Couverture souple
58,50 $
Computational and Corpus-Based Phraseology: 4th International Conference, Europhras 2022, Malaga, Spain, 28-30 September, 2022, Proceedings

Gloria Corpas Pastor Couverture souple
102,50 $
2 formats offerts
Service-oriented And Cloud Computing: 7th Ifip Wg 2.14 European Conference, Esocc 2018, Como, Italy, September 12-14, 2018, Proceedings

Kyriakos Kritikos Couverture souple
80,50 $
2 formats offerts
Swarm Intelligence Based Optimization: First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papers

Patrick Siarry Couverture souple
80,50 $
Software Technologies: 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022, Revised Selected Papers

Hans-georg Fill Couverture souple
124,50 $
2 formats offerts
Electronic Participation: 12th IFIP WG 8.5 International Conference, ePart 2020, Linkoping, Sweden, August 31 - September 2, 2020, Proceedings

Sara Hofmann Couverture souple
80,50 $
2 formats offerts
Smart Technologies, Systems and Applications: Second International Conference, SmartTech-IC 2021, Quito, Ecuador, December 1-3, 2021, Revised Selected Papers

Fabián R. Narv Couverture souple
145,95 $
2 formats offerts
Algebraic Informatics: 5th International Conference, Cai 2013, Porquerolles, France, September 3-6, 2013. Proceedings

Traian Muntean Couverture souple
105,50 $
Intelligent Distributed Computing XVI: 16th International Symposium on Intelligent Distributed Computing, IDC 2023

Michael Köhler-Bu Couverture souple
72,95 $
Large-scale Scientific Computing: 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009 Revised Papers

Ivan Lirkov Couverture souple
160,95 $
Electronic Participation: 13th IFIP WG 8.5 International Conference, ePart 2021, Granada, Spain, September 7-9, 2021, Proceedings

Noella Edelmann Couverture souple
80,50 $
2 formats offerts
Industrial Engineering and Applications - Europe: 11th International Conference, ICIEA-EU 2024, Nice, France, January 10-12, 2024, Revised Selected Papers

Shey-Huei Sheu Couverture souple
94,95 $
2 formats offerts
Combinatorial Algorithms: 31st International Workshop, Iwoca 2020, Bordeaux, France, June 8-10, 2020, Proceedings

Leszek Gäsieniec Couverture souple
80,50 $
2 formats offerts
Optimization and Learning: 7th International Conference, OLA 2024, Dubrovnik, Croatia, May 13-15, 2024, Revised Selected Papers

Bernabe Dorronsoro Couverture souple
124,50 $

Évaluation éditoriale

narciso marti-oliet

Auteur

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

Kyungmin Bae Couverture souple
116,95 $
2 formats offerts
Rewriting Logic and Its Applications: 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

Kazuhiro Ogata Couverture souple
72,95 $
Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Akash Lal Couverture souple
80,50 $
2 formats offerts
Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings

Virgile Prevosto Couverture souple
80,50 $
2 formats offerts
Smart Card Research and Advanced Applications: 22nd International Conference, CARDIS 2023, Amsterdam, The Netherlands, November 14-16, 2023, Revised Selected Papers

Shivam Bhasin Couverture souple
94,95 $
2 formats offerts
Learning and Intelligent Optimization: 10th International Conference, LION 10, Ischia, Italy, May 29 - June 1, 2016, Revised Selected Papers

Paola Festa Couverture souple
80,50 $
2 formats offerts
Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLi 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Nina Gierasimczuk Couverture souple
80,50 $
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
Logic, Language, Information, and Computation: 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings

George Metcalfe Couverture souple
94,95 $
2 formats offerts
Similarity Search and Applications: 15th International Conference, SISAP 2022, Bologna, Italy, October 5-7, 2022, Proceedings

Tomá Skopal Couverture souple
80,50 $
2 formats offerts
Serious Games: 9th Joint International Conference, JCSG 2023, Dublin, Ireland, October 26-27, 2023, Proceedings

Mads Haahr Couverture souple
116,95 $
2 formats offerts
Psychology, Learning, Technology: First International Conference, PLT 2022, Foggia, Italy, January 19-21, 2022, Revised Selected Papers

Pierpaolo Limone Couverture souple
72,95 $
2 formats offerts
Pattern Recognition Applications and Methods: 12th International Conference, ICPRAM 2023, Lisbon, Portugal, February 22-24, 2023, Revised Selected Papers

Maria De Marsico Couverture souple
80,50 $
2 formats offerts
Mobile, Secure, and Programmable Networking: 9th International Conference, MSPN 2023, Paris, France, October 26-27, 2023, Revised Selected Papers

Samia Bouzefrane Couverture souple
94,95 $
2 formats offerts
Code-Based Cryptography: 11th International Workshop, CBCrypto 2023, Lyon, France, April 22-23, 2023, Revised Selected Papers

Andre Esser Couverture souple
80,50 $
2 formats offerts
Algorithmic Aspects of Cloud Computing: 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers

Ioannis Chatzigiannakis Couverture souple
94,95 $
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
Unconventional Computation and Natural Computation: 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13-17, 2023, Proceedings

Daniela Genova Couverture souple
102,50 $
2 formats offerts
Smart Card Research and Advanced Applications: 21st International Conference, CARDIS 2022, Birmingham, UK, November 7-9, 2022, Revised Selected Papers

Ileana Buhan Couverture souple
102,50 $
2 formats offerts
Dynamics of Information Systems: 6th International Conference, DIS 2023, Prague, Czech Republic, September 3-6, 2023, Revised Selected Papers

Hossein Moosaei Couverture souple
94,95 $
2 formats offerts

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

Description

Vous aimerez peut-être aussi