Name: An Introduction to Theory of Computation
Price: 103.00 CHF
Availability: OutOfStock
ISBN: 9783031847394

Thèmes principaux

Publications

Services

Auteurs

Éditions

Shop

LEXIA

Revues

Livres spécialisés LOKI Semaphor

DE | FR

Se connecter

S’enregistrer

LEXIA

Revues

Livres spécialisés

LOKI

Semaphor

DE | FR

Thèmes principaux

Sujet

Étudier le droit

Droit du travail

Études

Droit de la famille

Droit des assurances sociales

Droit pénal

Publications

Littérature

Modules en ligne LEXIA

Bases de données

Littérature pour les études

Services

Services pour

Corporate Books

Solutions d'édition

Actualités

Auteurs

Nos Auteurs

Aide

Éditions

Qui sommes-nous?

Thèmes

Shop

Droit suisse

Droit étranger

A propos de notre boutique

Nouveautés

Infos, conseils et astuces

Préavis

Par domaine juridique

Commentaires

Se connecter

S’enregistrer

An Introduction to Theory of Computation

An Algorithmic Approach

De:Ogihara, Mitsunori

Livre (relié)env. 103.00 CHF

disponible dès avril 2025

Informations bibliographiques

avril 2025, env. 340 Pages, Anglais

Springer International Publishing

978-3-031-84739-4

Mots-clés

Informations bibliographiques

avril 2025, env. 340 Pages, Anglais

Springer International Publishing

978-3-031-84739-4

Mots-clés

Autres titres sur ce thème

The Semantic Web: ESWC 2024 Satellite Events

Hersonissos, Crete, Greece, May 26–30, 2024, Proceedings, Part II

Meroño Peñuela, Albert|Corcho, Oscar|Groth, Paul

Springer International Publishing, 2025

978-3-031-78954-0

82.00 CHF

livrable dans env. 20-45 jours

Lehrbuch der Softwaretechnik

Balzert, Helmut|Ebert, Christof

Springer, 2025

978-3-662-67655-4

env. 71.00 CHF

disponible dès septembre 2025

Metadata and Semantic Research

18th Research Conference, MTSR 2024, Athens, Greece, November 19–22, 2024, Revised Selected Papers

Sfakakis, Michalis|Garoufallou, Emmanouel|Damigos, Matthew

Springer International Publishing, 2025

978-3-031-81973-5

env. 103.00 CHF

disponible dès mars 2025

Proof Assistants and Their Applications in Mathematics and Computer Science

Blanchette, Jasmin|Mahboubi, Assia

Springer International Publishing, 2025

978-3-031-85189-6

disponible dès juillet 2025

Artificial Intelligence: Towards Sustainable Intelligence

Second International Conference, AI4S 2024, Alcala de Henares, Spain, October 3–4, 2024, Proceedings

Tiwari, Sanju|Ortiz-Rodriguez, Fernando|Sicilia, Miguel-Angel

Springer International Publishing, 2025

978-3-031-81368-9

97.00 CHF

livrable dans env. 20-45 jours

Verification, Model Checking, and Abstract Interpretation

26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I

Shankaranarayanan, Krishna|Sankaranarayanan, Sriram|Trivedi, Ashutosh

Springer International Publishing, 2025

978-3-031-82699-3

82.00 CHF

livrable dans env. 20-45 jours

Computer Science and Education in Computer Science

20th EAI International Conference, CSECS 2024, Sofia, Bulgaria, June 28–30, 2024, Proceedings

Zlateva, Tanya|Tuparov, Georgi

Springer International Publishing, 2025

978-3-031-84311-2

env. 103.00 CHF

disponible dès avril 2025

From Data to Models and Back

12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers

M. Czekster, Ricardo|Milazzo, Paolo

Springer International Publishing, 2025

978-3-031-87907-4

env. 157.00 CHF

disponible dès avril 2025

Coordination, Organizations, Institutions, Norms, and Ethics for Governance of ...

International Workshop, COINE 2024, Auckland, New Zealand, May 7, 2024, Revised Selected Papers

Cranefield, Stephen|Nardin, Luis Gustavo|Lloyd, Nathan

Springer International Publishing, 2025

978-3-031-82038-0

env. 69.00 CHF

disponible dès avril 2025

Static Analysis

31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings

Giacobazzi, Roberto|Gorla, Alessandra

Springer International Publishing, 2025

978-3-031-74775-5

103.00 CHF

livrable dans env. 20-45 jours

Human and Artificial Rationalities. Advances in Cognition, Computation, and ...

Third International Conference, HAR 2024, Paris, France, September 17–20, 2024, Proceedings

Baratgin, Jean|Jacquet, Baptiste|Brochier, Emmanuel

Springer International Publishing, 2025

978-3-031-84594-9

env. 102.00 CHF

disponible dès avril 2025

Computational Intelligence, Cyber Security and Computational Models. Emerging ...

6th International Conference, ICC3 2023, Coimbatore, India, December 14–16, 2023, Revised Selected Papers

Sheen, Shina|R, Latha|U K, Sridevi

Springer International Publishing, 2025

978-3-031-88296-8

env. 83.00 CHF

disponible dès avril 2025