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
Logik für das Informatikstudium
Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
Von:
Junker, Markus
Buch (broschiert)
ca. 49.90 CHF
erhältlich ab Juli 2025
In den Warenkorb
Bibliografische Angaben
Juli 2025
,
Deutsch
Springer
978-3-662-70824-8
Schlagworte
Bibliografische Angaben
Juli 2025
,
Deutsch
Springer
978-3-662-70824-8
Schlagworte
Weitere Titel zum Thema
SOFSEM 2025: Theory and Practice of Computer Science
50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20–23, 2025, Proceedings, Part II
Královič, Rastislav
|
Kůrková, Věra
Springer International Publishing
,
2025
978-3-031-82696-2
ca. 91.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
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
Algorithmik Eine universelle Methode im Überblick
Kultur- und Wissenschaftsgeschichte, Philosophie, aktuelle Entwicklungen
Ziegenbalg, Jochen
Springer
,
2025
978-3-662-70803-3
ca. 18.50 CHF
erhältlich ab März 2025
Advanced Research in Technologies, Information, Innovation and Sustainability
4th International Conference, ARTIIS 2024, Santiago de Chile, Chile, October 21–23, 2024, Revised Selected Papers, Part III
Guarda, Teresa
|
Portela, Filipe
|
Gatica, Gustavo
Springer International Publishing
,
2025
978-3-031-84077-7
ca. 116.00 CHF
erhältlich ab März 2025
SOFSEM 2025: Theory and Practice of Computer Science
50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20–23, 2025, Proceedings, Part I
Královič, Rastislav
|
Kůrková, Věra
Springer International Publishing
,
2025
978-3-031-82669-6
ca. 91.00 CHF
erhältlich ab März 2025
An Introduction to Theory of Computation
An Algorithmic Approach
Ogihara, Mitsunori
Springer International Publishing
,
2025
978-3-031-84739-4
ca. 103.00 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-II
Martínez-Villaseñor, Lourdes
|
Ochoa-Ruiz, Gilberto
|
Montes Rivera, Martin
Springer International Publishing
,
2025
978-3-031-83881-1
ca. 81.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
A Concise Introduction to Software Engineering
With Open Source and GenAI
Jalote, Pankaj
Springer International Publishing
,
2025
978-3-031-74317-7
ca. 69.00 CHF
erhältlich ab März 2025
Constrained Markov Sequence Generation
Applications to Music and Text
Pachet, François
|
Papadopoulos, Alexandre
|
Roy, Pierre
Springer Nature EN
,
2099
978-3-319-43496-4
ca. 78.00 CHF
erhältlich ab Dezember 2099
Algorithms and Discrete Applied Mathematics
11th International Conference, CALDAM 2025, Coimbatore, India, February 13–15, 2025, Proceedings
Gaur, Daya
|
Mathew, Rogers
Springer International Publishing
,
2025
978-3-031-83437-0
ca. 91.00 CHF
erhältlich ab März 2025