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: 68.99 CAD
Availability: InStock
Author: Kazuhiro Ogata
ISBN: 9783031659416

Édition : Kazuhiro Ogata

1 août 2024

68,99 $ ~~Réduction sur le prix courant 85,58 $ à~~

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

Acheter le livre numérique

Description

Langue

anglais

Lecture Notes In Computer Science

Publié par: Springer Nature Switzerland

ISBN: 9783031659416

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 $
ECOOP 2002 - Object-Oriented Programming: 16th European Conference Malaga, Spain, June 10-14, 2002 Proceedings

Boris Magnusson Couverture souple
160,95 $
Web-Age Information Management: WAIM 2016 International Workshops, MWDA, SDMMW, and SemiBDMA, Nanchang, China, June 3-5, 2016, Revised Selected Papers

Shaoxu Song Couverture souple
80,50 $
2 formats offerts
Pattern Recognition Applications and Methods: 10th International Conference, ICPRAM 2021, and 11th International Conference, ICPRAM 2022, Virtual Event, February 4-6, 2021 and February 3-5, 2022, Revised Selected Papers

Maria De Marsico Couverture souple
87,95 $
2 formats offerts
Intelligent Robotics and Applications: Second International Conference, ICIRA 2009, Singapore, December 16-18, 2009, Proceedings

Ming Xie Couverture souple
321,50 $
Software Architecture: 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings

Khalil Drira Couverture souple
80,50 $
Financial Cryptography and Data Security. FC 2023 International Workshops: Voting, CoDecFin, DeFi, WTSC, Bol, BraA, Croatia, May 5, 2023, Revised Selected Papers

Aleksander Essex Couverture souple
116,95 $
2 formats offerts
Multimedia, Hypermedia, And Virtual Reality: Models, Systems, And Applications: First International Conference, MHVR'94, Moscow, Russia September (14-16), 1996. Selected Papers

Couverture souple
71,50 $
Implementation and Application of Automata: 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings

Pascal Caron Couverture souple
102,50 $
2 formats offerts
Ad-hoc, Mobile and Wireless Networks: 7th International Conference, ADHOC-NOW 2008, Sophia Antipolis, France, September 10-12, 2008, Proceedings

David Coudert Couverture souple
80,50 $
Financial Cryptography and Data Security. FC 2023 International Workshops: Voting, CoDecFin, DeFi, WTSC, Bol, BraA, Croatia, May 5, 2023, Revised Selected Papers

Aleksander Essex Couverture souple
58,50 $
Web Information Systems and Technologies: 18th International Conference, WEBIST 2022, Valletta, Malta, October 25-27, 2022, Revised Selected Papers

Massimo Marchiori Couverture souple
94,95 $
2 formats offerts
Information Security and Cryptology: 17th International Conference, Inscrypt 2021, Virtual Event, August 12-14, 2021, Revised Selected Papers

Yu Yu Couverture souple
145,95 $
2 formats offerts
Finite Fields and Applications: 7th International Conference, Fq7, Toulouse, France, May 5-9, 2003, Revised Papers

Gary L. Mullen Couverture souple
80,50 $
Advanced Information Systems Engineering Workshops: Caise 2020 International Workshops, Grenoble, France, June 8-12, 2020, Proceedings

Sophie Dupuy-chessa Couverture souple
80,50 $
2 formats offerts
Bio-Inspired Computing: Theories and Applications: 15th International Conference, BIC-TA 2020, Qingdao, China, October 23-25, 2020, Revised Selected Papers

Linqiang Pan Couverture souple
160,95 $
2 formats offerts
Artificial Intelligence and Mobile Services - AIMS 2020: 9th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings

Ruifeng Xu Couverture souple
80,50 $
2 formats offerts
Intelligent Systems: Models and Applications: Revised and Selected Papers from the 9th IEEE International Symposium on Intelligent Systems and Informatics SISY 2011

Endre Pap Couverture souple
160,95 $
2 formats offerts
Computer Security. Esorics 2021 International Workshops: Cybericps, Secpre, Adiot, Spose, Cps4cip, And Cdt

Sokratis Katsikas Couverture souple
116,95 $
2 formats offerts
Pattern Recognition Applications and Methods: 9th International Conference, ICPRAM 2020, Valletta, Malta, February 22-24, 2020, Revised Selected Papers

Maria De Marsico Couverture souple
80,50 $
2 formats offerts

Évaluation éditoriale

kazuhiro ogata

Auteur

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 $
Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

Kazuhiro Ogata Couverture souple
109,50 $
2 formats offerts
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
Graph Drawing and Network Visualization: 30th International Symposium, GD 2022, Tokyo, Japan, September 13-16, 2022, Revised Selected Papers

Patrizio Angelini Couverture souple
131,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
58,50 $
Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 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 I

Naoki Kobayashi Couverture souple
72,95 $
2 formats offerts
Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 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

Naoki Kobayashi Couverture rigide
72,95 $
2 formats offerts
Multi-Agent-Based Simulation VII: International Workshop, MABS 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

Luis Antunes Couverture rigide
80,50 $
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
Constructive Side-Channel Analysis and Secure Design: 15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024, Proceedings

Romain Wacquez Couverture souple
94,95 $
2 formats offerts
Constructive Side-Channel Analysis and Secure Design: 15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024, Proceedings

Romain Wacquez Couverture souple
72,95 $
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 8th International Conference, AAECC-8, Tokyo, Japan, August 20-24, 1990. Proceedings

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

Santiago Escobar Couverture souple
80,50 $
2 formats offerts
Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023, Proceedings

CATHERINE DUBOIS Couverture souple
87,95 $
Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings

Naoki Kobayashi Couverture souple
80,50 $
Theory and Applications of Models of Computation: 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011, Proceedings

Mitsunori Ogihara Couverture souple
80,50 $
Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Tetsuo Ida Couverture souple
72,95 $
Emerging Technologies for Authorization and Authentication: 5th International Workshop, ETAA 2022, Copenhagen, Denmark, September 30, 2022, Revised Selected Papers

Andrea Saracino Couverture souple
87,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
Formal Aspects of Component Software: 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

Diego Marmsoler Couverture souple
80,50 $
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

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

ECOOP 2002 - Object-Oriented Programming: 16th European Conference Malaga, Spain, June 10-14, 2002 Proceedings

Web-Age Information Management: WAIM 2016 International Workshops, MWDA, SDMMW, and SemiBDMA, Nanchang, China, June 3-5, 2016, Revised Selected Papers

Pattern Recognition Applications and Methods: 10th International Conference, ICPRAM 2021, and 11th International Conference, ICPRAM 2022, Virtual Event, February 4-6, 2021 and February 3-5, 2022, Revised Selected Papers

Intelligent Robotics and Applications: Second International Conference, ICIRA 2009, Singapore, December 16-18, 2009, Proceedings

Software Architecture: 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings

Financial Cryptography and Data Security. FC 2023 International Workshops: Voting, CoDecFin, DeFi, WTSC, Bol, BraA, Croatia, May 5, 2023, Revised Selected Papers

Multimedia, Hypermedia, And Virtual Reality: Models, Systems, And Applications: First International Conference, MHVR'94, Moscow, Russia September (14-16), 1996. Selected Papers

Implementation and Application of Automata: 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings

Ad-hoc, Mobile and Wireless Networks: 7th International Conference, ADHOC-NOW 2008, Sophia Antipolis, France, September 10-12, 2008, Proceedings

Financial Cryptography and Data Security. FC 2023 International Workshops: Voting, CoDecFin, DeFi, WTSC, Bol, BraA, Croatia, May 5, 2023, Revised Selected Papers

Web Information Systems and Technologies: 18th International Conference, WEBIST 2022, Valletta, Malta, October 25-27, 2022, Revised Selected Papers

Information Security and Cryptology: 17th International Conference, Inscrypt 2021, Virtual Event, August 12-14, 2021, Revised Selected Papers

Finite Fields and Applications: 7th International Conference, Fq7, Toulouse, France, May 5-9, 2003, Revised Papers

Advanced Information Systems Engineering Workshops: Caise 2020 International Workshops, Grenoble, France, June 8-12, 2020, Proceedings

Bio-Inspired Computing: Theories and Applications: 15th International Conference, BIC-TA 2020, Qingdao, China, October 23-25, 2020, Revised Selected Papers

Artificial Intelligence and Mobile Services - AIMS 2020: 9th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings

Intelligent Systems: Models and Applications: Revised and Selected Papers from the 9th IEEE International Symposium on Intelligent Systems and Informatics SISY 2011

Computer Security. Esorics 2021 International Workshops: Cybericps, Secpre, Adiot, Spose, Cps4cip, And Cdt

Pattern Recognition Applications and Methods: 9th International Conference, ICPRAM 2020, Valletta, Malta, February 22-24, 2020, Revised Selected Papers

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

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

Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

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

Graph Drawing and Network Visualization: 30th International Symposium, GD 2022, Tokyo, Japan, September 13-16, 2022, Revised Selected Papers

Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLi 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 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 I

Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 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

Multi-Agent-Based Simulation VII: International Workshop, MABS 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

Smart Card Research and Advanced Applications: 21st International Conference, CARDIS 2022, Birmingham, UK, November 7-9, 2022, Revised Selected Papers

Constructive Side-Channel Analysis and Secure Design: 15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024, Proceedings

Constructive Side-Channel Analysis and Secure Design: 15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024, Proceedings

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 8th International Conference, AAECC-8, Tokyo, Japan, August 20-24, 1990. Proceedings

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

Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023, Proceedings

Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings

Theory and Applications of Models of Computation: 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011, Proceedings

Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Emerging Technologies for Authorization and Authentication: 5th International Workshop, ETAA 2022, Copenhagen, Denmark, September 30, 2022, Revised Selected Papers

Code-Based Cryptography: 11th International Workshop, CBCrypto 2023, Lyon, France, April 22-23, 2023, Revised Selected Papers

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