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
Onlinemodule LEXIA
Bücher
Buchreihen
Zeitschriften
Datenbanken
recht.ch
Studienliteratur
Services
Dienstleistungen für
Corporate Books
Publishing Lösungen
Aktuelles
Kanzleien und Behörden
Corporate Publishing
Content solutions
Buchhandlungen
Veranstaltungen
Presse
Dozierende
Studierende
Inserierende
Newsletter
Blog
Autorinnen/Autoren
Unsere Schreibenden
Hilfe
Unsere Autorinnen und Autoren
Autorenlounge
Bei uns publizieren
Autorenstimmen
Verlag
Über uns
Themen
Mehr wissen
Mitarbeitende
Nachhaltigkeit
Newsletter
Geschichte
Open Access
Vision und Mission
Karriere
Unser Magazin
Unternehmenskultur
Partner
Kontakt
Shop
Schweizer Recht
Ausländisches Recht
Über unseren Shop
Neuerscheinungen
Neuerscheinungen
Infos, Tipps und Tricks
Vorankündigungen
Vorankündigungen
Nach Rechtsgebiet
Kommentare
Anmelden
Registrieren
Download Cover
An Introduction to Theory of Computation
An Algorithmic Approach
Von:
Ogihara, Mitsunori
Buch (gebunden)
ca. 103.00 CHF
erhältlich ab Juli 2025
In den Warenkorb
Bibliografische Angaben
Juli 2025
,
ca. 340 Seiten
,
Englisch
Springer International Publishing
978-3-031-84739-4
Schlagworte
Bibliografische Angaben
Juli 2025
,
ca. 340 Seiten
,
Englisch
Springer International Publishing
978-3-031-84739-4
Schlagworte
Weitere Titel zum Thema
Verification, Model Checking, and Abstract Interpretation
26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II
Shankaranarayanan, Krishna
|
Sankaranarayanan, Sriram
|
Trivedi, Ashutosh
Springer International Publishing
,
2025
978-3-031-82702-0
ca. 81.00 CHF
erhältlich ab Februar 2025
Computer Vision
Statistical Models for Marr's Paradigm
Zhu, Song-Chun
|
Wu, Ying Nian
Springer Nature EN
,
2024
978-3-030-96532-7
77.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Advances in Computational Intelligence. MICAI 2024 International Workshops
HIS 2024, WILE 2024, and CIAPP 2024, Tonantzintla, Mexico, October 21–25, 2024, Proceedings, Part I
Martínez-Villaseñor, Lourdes
|
Ochoa-Ruiz, Gilberto
|
Montes Rivera, Martin
Springer International Publishing
,
2025
978-3-031-83878-1
ca. 91.00 CHF
erhältlich ab März 2025
Advances in Computer Graphics
41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1–5, 2024, Proceedings, Part I
Magnenat-Thalmann, Nadia
|
Kim, Jinman
|
Sheng, Bin
Springer International Publishing
,
2025
978-3-031-81805-9
ca. 91.00 CHF
erhältlich ab Februar 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
ca. 103.00 CHF
erhältlich ab Februar 2025
Applications of Computational Intelligence in Management and Mathematics II
9th ICCM 2023, NERIST, Arunachal Pradesh, India, August 04-05
Lin, Frank
|
Patel, Ashok
|
Kesswani, Nishtha
Springer International Publishing
,
2025
978-3-031-84512-3
ca. 215.00 CHF
erhältlich ab April 2025
Highlights in Practical Applications of Agents, Multi-Agent Systems, and ...
International Workshops of PAAMS 2024, Salamanca, Spain, June 26–28, 2024, Proceedings
González-Briones, Alfonso
|
Julian Inglada, Vicente
|
El Bolock, Alia
Springer International Publishing
,
2025
978-3-031-73057-3
103.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 März 2025
Lehrbuch der Softwaretechnik
Balzert, Helmut
|
Ebert, Christof
Springer
,
2025
978-3-662-67655-4
ca. 71.00 CHF
erhältlich ab Mai 2025
Algorithmische Wissenskulturen
Der Einfluss des Computers auf die Wissenschaftsentwicklung
Hashagen, Ulf
|
Seising, Rudolf
Vieweg + Teubner
,
2025
978-3-658-35559-3
ca. 65.00 CHF
erhältlich ab Juni 2025
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
ca. 81.00 CHF
erhältlich ab April 2025
Institution-independent Model Theory
Diaconescu, Răzvan
Springer International Publishing
,
2025
978-3-031-68853-9
ca. 215.00 CHF
erhältlich ab März 2025