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

Name: Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings
Price: 87.95 CAD
Availability: InStock
Author: Alicia Villanueva
ISBN: 9783031167669

Alicia Villanueva

11 septembre 2022

87,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 440 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

155

Lecture Notes In Computer Science

Publié par: Springer Nature

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

ISBN: 9783031167669

Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Márcio Cornélio Couverture souple
65,95 $
2 formats offerts
Practical Aspects of Declarative Languages: 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings

Paul Hudak Couverture rigide
80,50 $
Data And Applications Security And Privacy Xxxiv: 34th Annual Ifip Wg 11.3 Conference, Dbsec 2020, Regensburg, Germany, June 25-26, 2020, Proceedings

Anoop Singhal Couverture souple
80,50 $
2 formats offerts
Quantitative Evaluation Of Systems: 16th International Conference, Qest 2019, Glasgow, Uk, September 10-12, 2019, Proceedings

David Parker Couverture souple
80,50 $
2 formats offerts
Open Source Systems: Grounding Research: 7th IFIP 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011, Proceedings

Scott Hissam Couverture rigide
160,95 $
Coordination Models and Languages: 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings

David Clarke Couverture souple
80,50 $
The Role of AI in Bio-Medical Translations' Research for the Health Care Industry: First International Conference, AIBTR 2023, Nagpur, India, September 23, 2023, Revised Selected Papers

Sivaram Ponnusamy Couverture souple
94,95 $
2 formats offerts
The Role of AI in Bio-Medical Translations' Research for the Health Care Industry: First International Conference, AIBTR 2023, Nagpur, India, September 23, 2023, Revised Selected Papers

Sivaram Ponnusamy Couverture souple
58,50 $
Principles and Practice of Constraint Programming - CP 2009: 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings

Ian P. Gent Couverture souple
160,95 $
Information Security Practice and Experience: 18th International Conference, ISPEC 2023, Copenhagen, Denmark, August 24-25, 2023, Proceedings

Weizhi Meng Couverture souple
145,95 $
2 formats offerts
Conceptual Modeling: 39th International Conference, Er 2020, Vienna, Austria, November 3-6, 2020, Proceedings

Gillian Dobbie Couverture souple
80,50 $
2 formats offerts
Creative Solutions for a Sustainable Development: 21st International TRIZ Future Conference, TFC 2021, Bolzano, Italy, September 22-24, 2021, Proceedings

Yuri Borgianni Couverture souple
204,50 $
Critical Information Infrastructures Security: 18th International Conference, CRITIS 2023, Helsinki Region, Finland, September 13-15, 2023, Revised Selected Papers

Stefan Pickl Couverture souple
72,95 $
Information Technologies and Intelligent Decision Making Systems: Third International Scientific and Practical Conference, ITIDMS 2023, Moscow, Russia, December, 12-14, 2023, Revised Selected Papers

Arthur Gibadullin Couverture souple
116,95 $
2 formats offerts
Information Technologies and Intelligent Decision Making Systems: Third International Scientific and Practical Conference, ITIDMS 2023, Moscow, Russia, December, 12-14, 2023, Revised Selected Papers

Arthur Gibadullin Couverture souple
72,95 $
Critical Information Infrastructures Security: 18th International Conference, CRITIS 2023, Helsinki region, Finland, September 13-15, 2023, Revised Selected Papers

Stefan Pickl Couverture souple
94,95 $
2 formats offerts
Declarative Programming and Knowledge Management: Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Wurzburg, Germany, September 19-22, 2017, Revised Selected Papers

Dietmar Seipel Couverture souple
80,50 $
2 formats offerts
Smart Card Research and Advanced Applications: 18th International Conference, CARDIS 2019, Prague, Czech Republic, November 11-13, 2019, Revised Selected Papers

Sonia Bela Couverture souple
80,50 $
2 formats offerts
Creative Solutions for a Sustainable Development: 21st International TRIZ Future Conference, TFC 2021, Bolzano, Italy, September 22-24, 2021, Proceedings

Yuri Borgianni Couverture rigide
204,50 $
2 formats offerts
Learning and Collaboration Technologies. Human and Technology Ecosystems: 7th International Conference, LCT 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part II

Panayiotis Zaphiris Couverture souple
80,50 $
2 formats offerts

Évaluation éditoriale

Auteur

Logic-based Program Synthesis And Transformation: 30th International Symposium, Lopstr 2020, Bologna, Italy, September 7-9, 2020, Proceedings

Maribel Fernández Couverture souple
124,50 $
2 formats offerts
Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

Robert Gl Couverture souple
80,50 $
2 formats offerts
Foundations of Information and Knowledge Systems: 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings

Ivan Varzinczak Couverture souple
116,95 $
2 formats offerts
Logic-Based Program Synthesis and Transformation: 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings

Juliana Bowles Couverture souple
94,95 $
2 formats offerts
Foundations of Information and Knowledge Systems: 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings

Arne Meier Couverture souple
72,95 $
Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings

Ekaterina Komendantskaya Couverture souple
94,95 $
2 formats offerts
Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings

Pierre Schaus Couverture souple
131,50 $
2 formats offerts
Rigorous State-based Methods: 8th International Conference, Abz 2021, Ulm, Germany, June 9-11, 2021, Proceedings

Alexander Raschke Couverture souple
94,95 $
2 formats offerts
Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers

Maurizio Gabbrielli 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
Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings

Erika Ábrah Couverture souple
80,50 $
2 formats offerts
Trends in Functional Programming: 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers

Stephen Chang Couverture souple
80,50 $
2 formats offerts
Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers

Couverture souple
71,50 $
Software Reuse: Methods, Techniques, and Tools: 7th International Conference, ICSR-7, Austin, TX, USA, April 15-19, 2002. Proceedings

Cristina Gacek Couverture souple
80,50 $
Advances in Cryptology - EUROCRYPT '98: International Conference on the Theory and Application of Cryptographic Techniques, Espoo, Finland, May 31 - June 4, 1998, Proceedings

Kaisa Nyberg Couverture souple
80,50 $
Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

Maurice Bruynooghe Couverture souple
80,50 $
Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Gopal Gupta Couverture souple
80,50 $
Principles and Practice of Constraint Programming - CP'99: 5th International Conference, CP'99, Alexandria, VA, USA, October 11-14, 1999 Proceedings

Couverture souple
142,95 $
Structural Information and Communication Complexity: 29th International Colloquium, SIROCCO 2022, Paderborn, Germany, June 27-29, 2022, Proceedings

Merav Parter Couverture souple
124,50 $
2 formats offerts
Theory of Cryptography: 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part I

Elette Boyle Couverture souple
131,50 $

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

Description

Vous aimerez peut-être aussi

Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Practical Aspects of Declarative Languages: 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings

Data And Applications Security And Privacy Xxxiv: 34th Annual Ifip Wg 11.3 Conference, Dbsec 2020, Regensburg, Germany, June 25-26, 2020, Proceedings

Quantitative Evaluation Of Systems: 16th International Conference, Qest 2019, Glasgow, Uk, September 10-12, 2019, Proceedings

Open Source Systems: Grounding Research: 7th IFIP 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011, Proceedings

Coordination Models and Languages: 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings

The Role of AI in Bio-Medical Translations' Research for the Health Care Industry: First International Conference, AIBTR 2023, Nagpur, India, September 23, 2023, Revised Selected Papers

The Role of AI in Bio-Medical Translations' Research for the Health Care Industry: First International Conference, AIBTR 2023, Nagpur, India, September 23, 2023, Revised Selected Papers

Principles and Practice of Constraint Programming - CP 2009: 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings

Information Security Practice and Experience: 18th International Conference, ISPEC 2023, Copenhagen, Denmark, August 24-25, 2023, Proceedings

Conceptual Modeling: 39th International Conference, Er 2020, Vienna, Austria, November 3-6, 2020, Proceedings

Creative Solutions for a Sustainable Development: 21st International TRIZ Future Conference, TFC 2021, Bolzano, Italy, September 22-24, 2021, Proceedings

Critical Information Infrastructures Security: 18th International Conference, CRITIS 2023, Helsinki Region, Finland, September 13-15, 2023, Revised Selected Papers

Information Technologies and Intelligent Decision Making Systems: Third International Scientific and Practical Conference, ITIDMS 2023, Moscow, Russia, December, 12-14, 2023, Revised Selected Papers

Information Technologies and Intelligent Decision Making Systems: Third International Scientific and Practical Conference, ITIDMS 2023, Moscow, Russia, December, 12-14, 2023, Revised Selected Papers

Critical Information Infrastructures Security: 18th International Conference, CRITIS 2023, Helsinki region, Finland, September 13-15, 2023, Revised Selected Papers

Declarative Programming and Knowledge Management: Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Wurzburg, Germany, September 19-22, 2017, Revised Selected Papers

Smart Card Research and Advanced Applications: 18th International Conference, CARDIS 2019, Prague, Czech Republic, November 11-13, 2019, Revised Selected Papers

Creative Solutions for a Sustainable Development: 21st International TRIZ Future Conference, TFC 2021, Bolzano, Italy, September 22-24, 2021, Proceedings

Learning and Collaboration Technologies. Human and Technology Ecosystems: 7th International Conference, LCT 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part II

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Logic-based Program Synthesis And Transformation: 30th International Symposium, Lopstr 2020, Bologna, Italy, September 7-9, 2020, Proceedings

Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

Foundations of Information and Knowledge Systems: 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings

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

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

Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings

Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings

Rigorous State-based Methods: 8th International Conference, Abz 2021, Ulm, Germany, June 9-11, 2021, Proceedings

Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers

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

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

Trends in Functional Programming: 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers

Software Reuse: Methods, Techniques, and Tools: 7th International Conference, ICSR-7, Austin, TX, USA, April 15-19, 2002. Proceedings

Advances in Cryptology - EUROCRYPT '98: International Conference on the Theory and Application of Cryptographic Techniques, Espoo, Finland, May 31 - June 4, 1998, Proceedings

Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Principles and Practice of Constraint Programming - CP'99: 5th International Conference, CP'99, Alexandria, VA, USA, October 11-14, 1999 Proceedings

Structural Information and Communication Complexity: 29th International Colloquium, SIROCCO 2022, Paderborn, Germany, June 27-29, 2022, Proceedings

Theory of Cryptography: 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part I