Skip to main content Skip to footer content

Unity of Logic and Computation: 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings

Edited by Gianluca Della Vedova

Aug 19, 2023

$78.99 ~~Price reduced from $98.13 to~~

Online pricing. Prices and offers may vary in store.

Buy eBook

Overview

Language

English

Lecture Notes In Computer Science

Publisher: Springer Nature Switzerland

ISBN: 9783031369780

Advances in Computing Science - ASIAN'98: 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings

Jieh Hsiang Paperback
$80.50
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II

Sharon Shoham Paperback
$72.95
2 formats available
Algorithms And Discrete Applied Mathematics: 6th International Conference, Caldam 2020, Hyderabad, India, February 13-15, 2020, Proceedings

Manoj Changat Paperback
$116.95
2 formats available
Haptics: Perception, Devices and Scenarios: 6th International Conference, EuroHaptics 2008 Madrid, Spain, June 11-13, 2008, Proceedings

Manuel Ferre Paperback
$248.50
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I

Sharon Shoham Paperback
$72.95
2 formats available
Structural Information and Communication Complexity: 30th International Colloquium, SIROCCO 2023, Alcala de Henares, Spain, June 6-9, 2023, Proceedings

Sergio Rajsbaum Paperback
$160.95
2 formats available
Human-Computer Interaction: Thematic Area, HCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II

Masaaki Kurosu Paperback
$248.50
2 formats available
Human-Computer Interaction: Thematic Area, HCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part III

Masaaki Kurosu Paperback
$248.50
2 formats available
Parallel Processing and Applied Mathematics, Part I: 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009

Roman Wyrzykowski Paperback
$160.95
Advances in Computing: 17th Colombian Conference on Computing, CCC 2023, Medellin, Colombia, August 10-11, 2023, Revised Selected Papers

Marta Tabares Paperback
$58.50
Advances in Computing: 17th Colombian Conference on Computing, CCC 2023, Medellin, Colombia, August 10-11, 2023, Revised Selected Papers

Marta Tabares Paperback
$145.95
2 formats available
Human-Computer Interaction: Thematic Area, HCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part IV

Masaaki Kurosu Paperback
$204.50
2 formats available
Human-Computer Interaction: Thematic Area, HCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

Masaaki Kurosu Paperback
$160.95
2 formats available
Algorithms and Complexity: 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, Proceedings

Marios Mavronicolas Paperback
$124.50
2 formats available
Evolutionary Computation in Combinatorial Optimization: 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013, Proceedings

Martin Middendorf Paperback
$72.95
Beyond the Horizon of Computability: 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29-July 3, 2020, Proceedings

Marcella Anselmo Paperback
$80.50
2 formats available
Human-computer Interaction: 7th Iberoamerican Workshop, Hci-collab 2021, Sao Paulo, Brazil, September 8-10, 2021, Proceedings

Pablo H. Ruiz Paperback
$124.50
2 formats available
WALCOM: Algorithms and Computation: 13th International Conference, WALCOM 2019, Guwahati, India, February 27 - March 2, 2019, Proceedings

Gautam K. Das Paperback
$80.50
2 formats available
Reversible Computation: 13th International Conference, Rc 2021, Virtual Event, July 7-8, 2021, Proceedings

Shigeru Yamashita Paperback
$80.50
2 formats available
Modelling - Foundation and Applications: 7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011, Proceedin: 7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011, Proceedings

Robert B. France Paperback
$80.50

Editorial reviews

gianluca della vedova

Author

Revolutions and Revelations in Computability: 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022, Proceedings

Ulrich Berger Paperback
$102.50
2 formats available
Beyond the Horizon of Computability: 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29-July 3, 2020, Proceedings

Marcella Anselmo Paperback
$80.50
2 formats available
Implementation and Application of Automata: 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings

Szilárd Zsolt Fazekas Paperback
$109.50
2 formats available
Unconventional Computation and Natural Computation: 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13-17, 2023, Proceedings

Daniela Genova Paperback
$102.50
2 formats available
Connecting with Computability: 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings

Liesbeth De Mol Paperback
$80.50
2 formats available
Similarity Search and Applications: 15th International Conference, SISAP 2022, Bologna, Italy, October 5-7, 2022, Proceedings

Tomá Skopal Paperback
$80.50
2 formats available
Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Orna Kupferman Paperback
$72.95
2 formats available
Theory and Applications of Models of Computation: 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedings

Xujin Chen Paperback
$321.50
2 formats available
Evolutionary Multi-Criterion Optimization: 12th International Conference, EMO 2023, Leiden, The Netherlands, March 20-24, 2023, Proceedings

Michael Emmerich Paperback
$145.95
2 formats available
Logic, Language, Information, and Computation: 28th International Workshop, WoLLIC 2022, IaEi, Romania, September 20-23, 2022, Proceedings

Agata Ciabattoni Paperback
$80.50
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
Inductive Logic Programming: 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers

Fabrizio Riguzzi Paperback
$72.95
NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings

Jyotirmoy V. Deshmukh Paperback
$204.50
2 formats available
Rewriting Logic and Its Applications: 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers

Kyungmin Bae Paperback
$116.95
2 formats available
Theory and Applications of Models of Computation: 17th Annual Conference, TAMC 2022, Tianjin, China, September 16-18, 2022, Proceedings

Ding-Zhu Du Paperback
$131.50
2 formats available
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

Andr Platzer Paperback
$72.95
2 formats available
Applications of Evolutionary Computation: 26th European Conference, EvoApplications 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings

Jo Correia Paperback
$175.50
2 formats available
Theoretical Aspects of Computing - ICTAC 2022: 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings

Helmut Seidl Paperback
$80.50
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
Fundamentals of Computation Theory: 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedings

Henning Fernau Paperback
$116.95
2 formats available