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

Fokusthemen

Publikationen

Services

Autorinnen/Autoren

Verlag

Shop

LEXIA

Zeitschriften

Sachbuch LOKI Semaphor

DE | FR

Anmelden

Registrieren

LEXIA

Zeitschriften

Sachbuch

LOKI

Semaphor

DE | FR

Fokusthemen

Thema

Recht studieren

Arbeitsrecht

Studium

Familienrecht

Sozialversicherungsrecht

Strafrecht

Publikationen

Literatur

Datenbanken

Services

Dienstleistungen für

Corporate Books

Publishing Lösungen

Aktuelles

Kanzleien und Behörden

Autorinnen/Autoren

Unsere Schreibenden

Hilfe

Unsere Autorinnen und Autoren

Autorenlounge

Bei uns publizieren

Autorenstimmen

Verlag

Über uns

Themen

Mehr wissen

Shop

Schweizer Recht

Ausländisches Recht

Über unseren Shop

Neuerscheinungen

Infos, Tipps und Tricks

An Introduction to Theory of Computation

An Algorithmic Approach

Von:Ogihara, Mitsunori

Buch (gebunden)ca. 103.00 CHF

erhältlich ab April 2025

Bibliografische Angaben

April 2025, ca. 340 Seiten, Englisch

Springer International Publishing

978-3-031-84739-4

Schlagworte

Bibliografische Angaben

April 2025, ca. 340 Seiten, Englisch

Springer International Publishing

978-3-031-84739-4

Schlagworte

Weitere Titel zum Thema

Practical Aspects of Declarative Languages

27th International Symposium, PADL 2025, Denver, CO, USA, January 20–21, 2025, Proceedings

Erdem, Esra|Vidal, Germán

Springer International Publishing, 2025

978-3-031-84923-7

ca. 81.00 CHF

erhältlich ab April 2025

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

lieferbar in ca. 20-45 Arbeitstagen

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

ca. 103.00 CHF

erhältlich ab April 2025

Logik für die Informatik

Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie

Junker, Markus

Springer, 2025

978-3-662-70824-8

ca. 49.90 CHF

erhältlich ab Mai 2025

Knowledge Discovery, Knowledge Engineering and Knowledge Management

15th International Joint Conference, IC3K 2023, Rome, Italy, November 13-15, 2023, Revised Selected Papers

Coenen, Frans|Fred, Ana|Aveiro, David

Springer International Publishing, 2025

978-3-031-87568-7

ca. 103.00 CHF

erhältlich ab April 2025

Automated Technology for Verification and Analysis

22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I

Akshay, S.|Niemetz, Aina|Sankaranarayanan, Sriram

Springer International Publishing, 2025

978-3-031-78708-9

169.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

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

lieferbar in ca. 20-45 Arbeitstagen

Restarting Automata

Extensions and Generalizations

Otto, Friedrich

Springer International Publishing, 2025

978-3-031-78700-3

ca. 236.00 CHF

erhältlich ab April 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

ca. 83.00 CHF

erhältlich ab April 2025

Knowledge Graphs and Semantic Web

6th International Conference, KGSWC 2024, Paris, France, December 11–13, 2024, Proceedings

Tiwari, Sanju|Villazón-Terrazas, Boris|Ortiz-Rodríguez, Fernando

Springer International Publishing, 2025

978-3-031-81220-0

92.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

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

lieferbar in ca. 20-45 Arbeitstagen

Proof Assistants and Their Applications in Mathematics and Computer Science

Blanchette, Jasmin|Mahboubi, Assia

Springer International Publishing, 2025

978-3-031-85189-6

erhältlich ab Juli 2025