Passer au contenu principal Passer au contenu du pied de page

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

Édition : Gianluca Della Vedova

19 août 2023

78,99 $ ~~Réduction sur le prix courant 98,13 $ à~~

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: 9783031369780

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

Ulrich Berger Couverture souple
102,50 $
2 formats offerts
Computing And Combinatorics: 25th International Conference, Cocoon 2019, Xi'an, China, July 29-31, 2019, Proceedings

Ding-Zhu Du Couverture souple
80,50 $
2 formats offerts
Theoretical Aspects Of Computing - Ictac 2020: 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings

Violet Ka I Pun Couverture souple
80,50 $
2 formats offerts
EC '18: Proceedings of the 2018 ACM Conference on Economics and Computation

EC Couverture souple
236,00 $
Proceedings Of The 18th Online World Conference On Soft Computing In Industrial Applications (wsc18)

Bernadetta Kwintiana Ane Couverture souple
248,50 $
2 formats offerts
Computing and Combinatorics: 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014, Proceedings

Zhipeng Cai Couverture souple
80,50 $
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II

Sharon Shoham Couverture souple
72,95 $
2 formats offerts
Reversible Computation: 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings

Claudio Antares Mezzina Couverture souple
102,50 $
2 formats offerts
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I

Sharon Shoham Couverture souple
72,95 $
2 formats offerts
Intelligence Science II: Third IFIP TC 12 International Conference, ICIS 2018, Beijing, China, November 2-5, 2018, Proceedings

ZHONGZHI Shi Couverture souple
80,50 $
3 formats offerts
Structural Information and Communication Complexity: 30th International Colloquium, SIROCCO 2023, Alcala de Henares, Spain, June 6-9, 2023, Proceedings

Sergio Rajsbaum Couverture souple
160,95 $
2 formats offerts
Software Composition: 11th International Conference, SC 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceeding: 11th International Conference, SC 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings

Thomas Gschwind Couverture souple
80,50 $
Proceedings of the Third International Conference on Cognitive and Intelligent Computing, Volume 2: ICCIC 2023, 8-9 Dec., Hyderabad, India

Amit Kumar Couverture rigide
656,95 $
Algorithms and Complexity: 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, Proceedings

Marios Mavronicolas Couverture souple
124,50 $
2 formats offerts
Reversible Computation: 12th International Conference, Rc 2020, Oslo, Norway, July 9-10, 2020, Proceedings

Ivan Lanese Couverture souple
80,50 $
2 formats offerts
Advances in Bioinformatics and Computational Biology: 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012, Proceedings

Marcilio C.P. de Souto Couverture souple
72,95 $
Evolutionary Computation in Combinatorial Optimization: 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013, Proceedings

Martin Middendorf Couverture souple
72,95 $
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III

Constantin Enea Couverture souple
72,95 $
2 formats offerts
Algorithms and Computation: 25th International Symposium, Isaac 2014, Jeonju, Korea, December 15-17, 2014, Proceedings

Hee-Kap Ahn Couverture souple
160,95 $
Proceedings of the Third International Conference on Cognitive and Intelligent Computing, Volume 1: ICCIC 2023, 8-9 Dec., Hyderabad, India

Amit Kumar Couverture rigide
656,95 $

Évaluation éditoriale

gianluca della vedova

Auteur

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

Ulrich Berger Couverture souple
102,50 $
2 formats offerts
Connecting with Computability: 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings

Liesbeth De Mol Couverture souple
80,50 $
2 formats offerts
Beyond the Horizon of Computability: 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29-July 3, 2020, Proceedings

Marcella Anselmo Couverture souple
80,50 $
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
Twenty Years of Theoretical and Practical Synergies: 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8-12, 2024, Proceedings

Ludovic Levy Patey Couverture souple
116,95 $
2 formats offerts
Logic and Engineering of Natural Language Semantics: 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers

Daisuke Bekki Couverture souple
94,95 $
2 formats offerts
Implementation and Application of Automata: 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings

Szilárd Zsolt Fazekas Couverture souple
109,50 $
2 formats offerts
Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Carla Ferreira Couverture souple
102,50 $
2 formats offerts
Implementation and Application of Automata: 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings

Benedek Nagy 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
Logic and Engineering of Natural Language Semantics: 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers

Daisuke Bekki Couverture souple
109,50 $
2 formats offerts
Developments in Language Theory: 26th International Conference, DLT 2022, Tampa, FL, USA, May 9-13, 2022, Proceedings

Volker Diekert Couverture souple
124,50 $
2 formats offerts
Metaheuristics: 14th International Conference, MIC 2022, Syracuse, Italy, July 11-14, 2022, Proceedings

Luca Di Gaspero Couverture souple
131,50 $
2 formats offerts
Developments in Language Theory: 27th International Conference, DLT 2023, Umea, Sweden, June 12-16, 2023, Proceedings

Frank Drewes Couverture souple
102,50 $
2 formats offerts
Neural-Symbolic Learning and Reasoning: 18th International Conference, NeSy 2024, Barcelona, Spain, September 9-12, 2024, Proceedings, Part I

Tarek R. Besold Couverture souple
204,50 $
2 formats offerts
Diagrammatic Representation And Inference: 10th International Conference, Diagrams 2018, Edinburgh, Uk, June 18-22, 2018, Proceedings

Peter Chapman Couverture souple
160,95 $
2 formats offerts
Neural-Symbolic Learning and Reasoning: 18th International Conference, NeSy 2024, Barcelona, Spain, September 9-12, 2024, Proceedings, Part II

Tarek R. Besold Couverture souple
204,50 $
2 formats offerts
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
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
Algorithms and Complexity: 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, Proceedings

Marios Mavronicolas Couverture souple
124,50 $
2 formats offerts