Passer au contenu principal Passer au contenu du pied de page

Automata And Computability

Dexter C. Kozen

13 octobre 2012

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

Description

Langue

anglais

Pages

400

Undergraduate Texts in Computer Science

Publié par: Springer/Sci-Tech/Trade

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

ISBN: 9781461273097

Automata And Computability

Dexter C. Kozen Couverture souple
128,95 $
Artificial Intelligence and Symbolic Computation: 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings

Gonzalo A. Aranda-Corral Couverture souple
80,50 $
Computational Logistics: 12th International Conference, ICCL 2021, Enschede, The Netherlands, September 27-29, 2021, Proceedings

Martijn Mes Couverture souple
189,95 $
2 formats offerts
Advances in Databases and Information Systems: 27th European Conference, ADBIS 2023, Barcelona, Spain, September 4-7, 2023, Proceedings

Alberto Abell Couverture souple
94,95 $
2 formats offerts
Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedin: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings

Brijesh Dongol Couverture souple
80,50 $
2 formats offerts
Model Driven Engineering Languages and Systems: 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 - October 5, 2012, Proceedings

Robert B. France Couverture souple
80,50 $
Distributed Computing And Artificial Intelligence, 16th International Conference

Francisco Herrera Couverture souple
160,95 $
2 formats offerts
Cooperative Information Systems: 28th International Conference, CoopIS 2022, Bozen-Bolzano, Italy, October 4-7, 2022, Proceedings

Mohamed Sellami Couverture souple
80,50 $
2 formats offerts
Distributed Computing and Artificial Intelligence: 10th International Conference

Sigeru Omatu Couverture souple
321,50 $
Web Information Systems Engineering - WISE 2022: 23rd International Conference, Biarritz, France, November 1-3, 2022, Proceedings

Richard Chbeir Couverture souple
160,95 $
2 formats offerts
Distributed Computing And Artificial Intelligence, 14th International Conference

Sigeru Omatu Couverture souple
248,50 $
Distributed Computing and Artificial Intelligence, 11th International Conference

Sigeru Omatu Couverture souple
321,50 $
Logic Programming and Nonmonotonic Reasoning: 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Pedro Cabalar Couverture souple
80,50 $
Computational Logistics: Second International Conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011, Proceeding: Second International Conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011, Proceedings

Couverture souple
80,50 $
Technologies And Innovation: 7th International Conference, Citi 2021, Guayaquil, Ecuador, November 22-25, 2021, Proceedings

Rafael Valencia-garc Couverture souple
124,50 $
2 formats offerts
Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings

Tayssir Touili Couverture souple
160,95 $
Big Data Analytics: 10th International Conference, BDA 2022, Hyderabad, India, December 19-22, 2022, Proceedings

Partha Pratim Roy Couverture souple
102,50 $
2 formats offerts
Technologies and Innovation: 6th International Conference, CITI 2020, Guayaquil, Ecuador, November 30 - December 3, 2020, Proceedings

Rafael Valencia-garc Couverture souple
80,50 $
2 formats offerts
Runtime Verification: 21st International Conference, Rv 2021, Virtual Event, October 11-14, 2021, Proceedings

Lu Feng Couverture souple
124,50 $
2 formats offerts
Advances in Databases and Information Systems: 26th European Conference, ADBIS 2022, Turin, Italy, September 5-8, 2022, Proceedings

Silvia Chiusano Couverture souple
124,50 $
2 formats offerts

Évaluation éditoriale

Auteur

Automata And Computability

Dexter C. Kozen Couverture souple
128,95 $
Categories and Computer Science

R. F. C. Walters Couverture souple
62,95 $
2 formats offerts
Extremal Combinatorics: With Applications in Computer Science

Stasys Jukna Couverture souple
90,95 $
2 formats offerts
Formal Methods In Computer Science

Jiacun Wang Couverture souple
162,95 $
2 formats offerts
Introduction To Computation: Haskell, Logic And Automata

Donald Sannella Couverture rigide
55,50 $
2 formats offerts
Boolean Functions and Computation Models

Peter Clote Couverture souple
159,50 $
2 formats offerts
Descriptive Complexity

Neil Immerman Couverture souple
145,95 $
2 formats offerts
Exploring RANDOMNESS

Gregory J. Chaitin Couverture souple
175,50 $
3 formats offerts
Theory of Computation

Dexter C. Kozen Couverture souple
159,50 $
Computational Thinking: First Algorithms, Then Code

Paolo Ferragina Couverture souple
80,50 $
3 formats offerts
Communication Complexity and Parallel Computing

Juraj Hromkovi Couverture souple
102,50 $
2 formats offerts
Parameterized Complexity Theory

J. Flum Couverture souple
131,50 $
2 formats offerts
Exploring Computer Science with Scheme

Oliver Grillmeyer Couverture rigide
181,50 $
Computability and Complexity

Hubie Chen Couverture rigide
86,00 $
2 formats offerts
Quantum Computation

Helmut Bez Couverture rigide
147,95 $
2 formats offerts
Foundations Of Programming Languages

Kent D. Lee Couverture souple
87,95 $
4 formats offerts
Graph Separators, with Applications

Arnold L. Rosenberg Couverture souple
160,95 $
2 formats offerts
A Primer On Quantum Computing

Franklin De Lima Marquezino Couverture souple
94,95 $
2 formats offerts
Handbook of Mathematical Models in Computer Vision

Nikos Paragios Couverture souple
160,95 $
2 formats offerts
Computer Graphics and Geometric Modelling: Mathematics

Max K. Agoston Couverture rigide
80,50 $
2 formats offerts