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 die Informatik
Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
Von:
Junker, Markus
Buch (broschiert)
ca. 49.90 CHF
erhältlich ab Juni 2025
In den Warenkorb
Bibliografische Angaben
Juni 2025
,
Deutsch
Springer
978-3-662-70824-8
Schlagworte
Bibliografische Angaben
Juni 2025
,
Deutsch
Springer
978-3-662-70824-8
Schlagworte
Weitere Titel zum Thema
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 II
Guarda, Teresa
|
Portela, Filipe
|
Gatica, Gustavo
Springer International Publishing
,
2025
978-3-031-83209-3
ca. 102.00 CHF
erhältlich ab März 2025
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
Statistics for Scientists
A Concise Guide for Data-driven Research
Michelucci, Umberto
Springer International Publishing
,
2026
978-3-031-78146-9
ca. 96.00 CHF
erhältlich ab Juni 2026
Random Number Generators for Computer Simulation and Cyber Security
Design, Search, Theory, and Application
Deng, Lih-Yuan
|
Kumar, Nirman
|
Lu, Henry Horng-Shing
Springer International Publishing
,
2025
978-3-031-76721-0
ca. 55.50 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
Handbook of Artificial Intelligence and Data Sciences for Routing Problems
Oliveira, Carlos A.S.
|
Pardalos, Miltiades P.
Springer International Publishing
,
2025
978-3-031-78261-9
0
erhältlich ab März 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
Numerical Computations: Theory and Algorithms
4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14–20, 2023 Revised Selected Papers, Part III
Sergeyev, Yaroslav D.
|
Kvasov, Dmitri E.
|
Astorino, Annabella
Springer International Publishing
,
2025
978-3-031-81246-0
91.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Number-Theoretic Methods in Cryptology
Fourth International Conference, NuTMiC 2024, Szczecin, Poland, June 24–26, 2024, Revised Selected Papers
Dąbrowski, Andrzej
|
Pieprzyk, Josef
|
Pomykała, Jacek
Springer International Publishing
,
2025
978-3-031-82379-4
ca. 91.00 CHF
erhältlich ab Februar 2025
Optimization, Discrete Mathematics and Applications to Data Sciences
Nikeghbali, Ashkan
|
Pardalos, Panos M.
|
Rassias, Michael Th.
Springer International Publishing
,
2025
978-3-031-78368-5
168.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Distributed Computer and Communication Networks
27th International Conference, DCCN 2024, Moscow, Russia, September 27, 2024, Revised Selected Papers
Vishnevsky, Vladimir M.
|
Samouylov, Konstantin E.
|
Kozyrev, Dmitry V.
Springer International Publishing
,
2025
978-3-031-80852-4
ca. 102.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