Passer au contenu principal Passer au contenu du pied de page

Tests and Proofs: 18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings

Édition : Marieke Huisman

11 octobre 2024

157,99 $ ~~Réduction sur le prix courant 196,27 $ à~~

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

Logic, Rationality, and Interaction: 9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023, Proceedin: 9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023, Proceedings

Natasha Alechina Couverture souple
109,50 $
2 formats offerts
Logic, Language, Information, and Computation: 28th International Workshop, WoLLIC 2022, IaEi, Romania, September 20-23, 2022, Proceedings

Agata Ciabattoni Couverture souple
80,50 $
2 formats offerts
Collaboration Technologies and Social Computing: 28th International Conference, CollabTech 2022, Santiago, Chile, November 8-11, 2022, Proceedings

Lung-Hsiang Wong Couverture souple
124,50 $
2 formats offerts
Logic, Rationality, and Interaction: 8th International Workshop, LORI 2021, Xi'an, China, October 16-18, 2021, Proceedin: 8th International Workshop, LORI 2021, Xi'an, China, October 16-18, 2021, Proceedings

Sujata Ghosh Couverture souple
94,95 $
2 formats offerts
Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings

Helle Hvid Hansen Couverture souple
109,50 $
2 formats offerts
The Proceedings Of The 15th International Humanities Conference: All & Everything 2010

Stephen Aronson Couverture souple
32,50 $
Logic, Language, Information, And Computation: 27th International Workshop, Wollic 2021, Virtual Event, October 5-8, 2021, Proceedings

Alexandra Silva Couverture souple
116,95 $
2 formats offerts
The Proceedings of the 19th International Humanities Conference: All & Everything 2014

George Bennett Couverture souple
32,50 $
The Proceedings of the 17th International Humanities Conference: All & Everything 2012

John Amaral Couverture souple
32,50 $
The Proceedings Of The 16th International Humanities Conference: All & Everything 2011

Couverture souple
29,95 $
An Introduction to the Logic of the Computing Sciences: A Contemporary Look at Symbolic Logic

Richard F. Dohlen Couverture souple
91,00 $
Domains and Processes: Proceedings Of The 1st International Symposium On Domain Theory Shanghai, China, October 1999

Klaus Keimel Couverture souple
160,95 $
2 formats offerts
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics

Claudia Casadio Couverture souple
204,50 $
Games Iteration Numbers: A Philosophical Introduction to Computability Theory

Luca M Possati Couverture souple
24,50 $
Works; Volume 3

Richard Lewis Nettleship Couverture rigide
44,95 $
Works; Volume 3

Richard Lewis Nettleship Couverture souple
33,77 $
A Baroque Vision: 100 verse selections from 50 volumes

Nicholas Hagger Couverture souple
31,95 $
2 formats offerts
null

null
N/A
The Europa International Foundation Directory 2020

Livre numérique Kobo
1301,99 $
10 formats offerts
The Oxford Dictionary of the Classical World: Reissue

John Roberts Couverture rigide
53,95 $

Évaluation éditoriale

marieke huisman

Auteur

Tests and Proofs: 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings

Laura Kov Couverture souple
80,50 $
2 formats offerts
Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

Anne E. Haxthausen Couverture souple
94,95 $
2 formats offerts
Rigorous State-Based Methods: 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

Silvia Bonfanti Couverture souple
109,50 $
2 formats offerts
Post-Quantum Cryptography: 15th International Workshop, PQCrypto 2024, Oxford, UK, June 12-14, 2024, Proceedings, Part I

Markku-Juhani Saarinen 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
Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings

Bernhard Steffen Couverture souple
58,50 $
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

Andr Platzer Couverture souple
72,95 $
2 formats offerts
Bridging the Gap Between AI and Reality: Second International Conference, AISoLA 2024, Crete, Greece, October 30-November 3, 2024, Proceedings

Bernhard Steffen Couverture souple
116,95 $
Artificial Intelligence in Music, Sound, Art and Design: 12th International Conference, EvoMUSART 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings

Colin Johnson Couverture souple
131,50 $
2 formats offerts
Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings

Martin Gebser Couverture souple
94,95 $
2 formats offerts
Bridging the Gap between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings

Bernhard Steffen 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
Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers

Bernhard Steffen Couverture souple
204,50 $
Algorithmic Game Theory: 17th International Symposium, SAGT 2024, Amsterdam, The Netherlands, September 3-6, 2024, Proceedings

Guido Schäfer Couverture souple
131,50 $
2 formats offerts
Games and Learning Alliance: 12th International Conference, GALA 2023, Dublin, Ireland, November 29 - December 1, 2023, Proceedings

Pierpaolo Dondio Couverture souple
175,50 $
2 formats offerts
Reachability Problems: 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

Laura Kov Couverture souple
94,95 $
2 formats offerts
Algorithmic Game Theory: 15th International Symposium, SAGT 2022, Colchester, UK, September 12-15, 2022, Proceedings

Panagiotis Kanellopoulos Couverture souple
80,50 $
2 formats offerts
Extended Reality: International Conference, XR Salento 2024, Lecce, Italy, September 4-7, 2024, Proceedings, Part I

Lucio Tommaso De Paolis Couverture souple
116,95 $
2 formats offerts
Document Analysis and Recognition - ICDAR 2024: 18th International Conference, Athens, Greece, August 30-September 4, 2024, Proceedings, Part I

Elisa H. Barney Smith Couverture souple
116,95 $
2 formats offerts
Generative Intelligence and Intelligent Tutoring Systems: 20th International Conference, ITS 2024, Thessaloniki, Greece, June 10-13, 2024, Proceedings, Part II

Angelo Sifaleras Couverture souple
109,50 $
2 formats offerts