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

Ulrich Berger Édition : Johanna N. Y. Franklin , Florin Manea

26 juin 2022

102,50 $

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

Description

Langue

anglais

Pages

327

Lecture Notes In Computer Science

Publié par: Springer Nature

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

ISBN: 9783031087394

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

johanna n y franklin

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