Passer au contenu principal Passer au contenu du pied de page

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

Édition : Ulrich Berger

27 juillet 2022

72,99 $ ~~Réduction sur le prix courant 90,01 $ à~~

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 International Publishing

ISBN: 9783031087400

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

Gianluca Della Vedova Couverture souple
102,50 $
2 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
Parallel and High-Performance Computing in Artificial Intelligence

Mukesh Raghuwanshi Couverture rigide
296,50 $
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
Proceedings Of The 18th Online World Conference On Soft Computing In Industrial Applications (wsc18)

Bernadetta Kwintiana Ane Couverture souple
248,50 $
2 formats offerts
Structural Information And Communication Complexity: 27th International Colloquium, Sirocco 2020, Paderborn, Germany, June 29-july 1, 2020, Proceedings

Andrea Werneck Richa Couverture souple
80,50 $
2 formats offerts
Hybrid Soft Computing Models Applied to Graph Theory

Muhammad Akram Couverture souple
155,95 $
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
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
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 $
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 $
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
EC '18: Proceedings of the 2018 ACM Conference on Economics and Computation

EC Couverture souple
236,00 $
Intelligence Computation and Evolutionary Computation: Results of 2012 International Conference of Intelligence Computation and Evolutionary Computation ICEC 2012 Held July 7, 2012 in Wuhan, China

Zhenyu Du Couverture souple
481,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 $
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
Reversible Computation: 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings

Claudio Antares Mezzina Couverture souple
102,50 $
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
Reversible Computation: 12th International Conference, Rc 2020, Oslo, Norway, July 9-10, 2020, Proceedings

Ivan Lanese Couverture souple
80,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

Évaluation éditoriale

ulrich berger

Auteur

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

Gianluca Della Vedova 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
Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings

Virgile Prevosto Couverture souple
80,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
Metaheuristics: 14th International Conference, MIC 2022, Syracuse, Italy, July 11-14, 2022, Proceedings

Luca Di Gaspero Couverture souple
131,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
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
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
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
Diagrammatic Representation and Inference: 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings

Valeria Giardino Couverture souple
87,95 $
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
Algorithmics of Wireless Networks: 19th International Symposium, ALGOWIN 2023, Amsterdam, The Netherlands, September 7-8, 2023, Revised Selected Papers

Konstantinos Georgiou 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
Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

Laure Petrucci Couverture souple
80,50 $
2 formats offerts
Sailing Routes in the World of Computation: 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings

Florin Manea Couverture souple
80,50 $
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
Integrated Formal Methods: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings

Paula Herber Couverture souple
175,50 $
2 formats offerts
Diagrammatic Representation and Inference: 14th International Conference, Diagrams 2024, Munster, Germany, September 27 - October 1, 2024, Proceedings

Jens Lemanski 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
Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

Alessandro Cimatti Couverture souple
94,95 $
2 formats offerts