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

Marieke Huisman Édition : Falk Howar

10 septembre 2024

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

Description

Langue

anglais

Pages

177

Lecture Notes In Computer Science

Publié par: Springer Nature

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

ISBN: 9783031720437

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

falk howar

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