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
Restarting Automata
Extensions and Generalizations
Von:
Otto, Friedrich
Buch (gebunden)
ca. 236.00 CHF
erhältlich ab März 2025
In den Warenkorb
Bibliografische Angaben
März 2025
,
ca. 302 Seiten
,
Theory and Applications of Computability
,
Englisch
Springer International Publishing
978-3-031-78700-3
Schlagworte
Bibliografische Angaben
März 2025
,
ca. 302 Seiten
,
Theory and Applications of Computability
,
Englisch
Springer International Publishing
978-3-031-78700-3
Schlagworte
Weitere Titel der Reihe: Theory and Applications of Computability
Alle anzeigen
The Incomputable
Journeys Beyond the Turing Barrier
Cooper, S. Barry
|
Soskova, Mariya I.
Springer Nature EN
,
2018
978-3-319-82881-7
169.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Turing Computability
Theory and Applications
Soare, Robert I.
Springer Nature EN
,
2018
978-3-662-56858-3
79.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Higher-Order Computability
Longley, John
|
Normann, Dag
Springer Nature EN
,
2016
978-3-662-51711-6
199.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Turing Computability
Theory and Applications
Soare, Robert I.
Springer Nature EN
,
2016
978-3-642-31932-7
110.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Apartness and Uniformity
A Constructive Development
Bridges, Douglas S.
|
Vîţă, Luminiţa Simona
Springer Nature EN
,
2013
978-3-642-26996-7
135.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Weitere Titel zum Thema
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
ca. 81.00 CHF
erhältlich ab Februar 2025
Grundkurs Künstliche Intelligenz
Eine praxisorientierte Einführung
Ertel, Wolfgang
Vieweg + Teubner
,
2025
978-3-658-44954-4
ca. 52.50 CHF
erhältlich ab März 2025
Rethinking Language Education in the Age of Generative AI
Tian, Zhongfeng
|
Wang, Chaoran
Taylor and Francis
,
2025
978-1-032-73141-4
ca. 235.00 CHF
erhältlich ab Mai 2025
Writing across the Social Spectrum
Letter Writing Practices in Nineteenth-Century Northern England
Auer, Anita
De Gruyter
,
2025
978-1-61451-403-9
ca. 143.00 CHF
erhältlich ab Januar 2025
The Menzerath-Altmann Law
Mačutek, Ján
|
Čech, Radek
|
Rovenchak, Andrij
De Gruyter
,
2025
978-3-11-072038-9
ca. 143.00 CHF
erhältlich ab März 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
ca. 96.00 CHF
erhältlich ab März 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
Automated Technology for Verification and Analysis
22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II
Akshay, S.
|
Niemetz, Aina
|
Sankaranarayanan, Sriram
Springer International Publishing
,
2025
978-3-031-78749-2
ca. 188.00 CHF
erhältlich ab März 2025
Quantification in Linguistics and Text Analysis
Selected Papers of Gabriel Altmann
Kelih, Emmerich
|
Mačutek, Ján
|
Koščová, Michaela
De Gruyter
,
2025
978-3-11-135143-8
ca. 148.00 CHF
erhältlich ab Mai 2025
A Beginner’s Guide to Generative AI
An Introductory Path to Diffusion Models, ChatGPT, and LLMs
Bhati, Deepshikha
|
Neha, Fnu
|
Guercio, Angela
Springer International Publishing
,
2025
978-3-031-84723-3
ca. 55.50 CHF
erhältlich ab Juli 2025
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
How to Build a Talking Robot
Linguistics, Philosophy, and Artificial Intelligence
Hausser, Roland
Springer Nature EN
,
2043
978-3-319-60611-8
ca. 63.00 CHF
erhältlich ab Mai 2043