Name: Logik für die Informatik
Price: 49.90 CHF
Availability: OutOfStock
ISBN: 9783662708248

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

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 Mai 2025

Bibliografische Angaben

Mai 2025, ca. 248 Seiten, Deutsch

Springer

978-3-662-70824-8

Schlagworte

Bibliografische Angaben

Mai 2025, ca. 248 Seiten, Deutsch

Springer

978-3-662-70824-8

Schlagworte

Weitere Titel zum Thema

Algebra for Applications

Cryptography, Secret Sharing, Error-Correcting, Fingerprinting, Compression

Slinko, Arkadii

Springer International Publishing, 2025

978-3-031-82625-2

ca. 76.00 CHF

erhältlich ab April 2025

Agents and Artificial Intelligence

16th International Conference, ICAART 2024, Rome, Italy, February 24–26, 2024, Revised Selected Papers, Part II

Rocha, Ana Paula|Steels, Luc|van den Herik, Jaap

Springer International Publishing, 2025

978-3-031-87329-4

ca. 91.00 CHF

erhältlich ab April 2025

Numerical Computations: Theory and Algorithms

4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14–20, 2023, Revised Selected Papers, Part I

Sergeyev, Yaroslav D.|Kvasov, Dmitri E.|Astorino, Annabella

Springer International Publishing, 2025

978-3-031-81240-8

103.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

Graph-Theoretic Concepts in Computer Science

50th International Workshop, WG 2024, Gozd Martuljek, Slovenia, June 19–21, 2024, Revised Selected Papers

Kráľ, Daniel|Milanič, Martin

Springer International Publishing, 2025

978-3-031-75408-1

103.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

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

189.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

Neutrosophic Paradigms: Advancements in Decision Making and Statistical Analysis

Neutrosophic Principles for Handling Uncertainty

Smarandache, Florentin|Khan, Zahid

Springer International Publishing, 2025

978-3-031-78504-7

ca. 236.00 CHF

erhältlich ab Mai 2025

Business Intelligence, Computational Mathematics, and Data Analytics

First International Conference, IBCD 2024, Indore, India, August 18–19, 2024, Proceedings

Gupta, V.B.|Shandilya, Shishir Kumar|Ortiz-Rodríguez, Fernando

Springer International Publishing, 2025

978-3-031-87510-6

ca. 157.00 CHF

erhältlich ab Juni 2025

Agents and Artificial Intelligence

16th International Conference, ICAART 2024, Rome, Italy, February 24–26, 2024, Revised Selected Papers, Part I

Rocha, Ana Paula|Steels, Luc|van den Herik, Jaap

Springer International Publishing, 2025

978-3-031-87326-3

ca. 146.00 CHF

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

92.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

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

Computational Diffusion MRI

15th International Workshop, CDMRI 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6, 2024, Proceedings

Maxime, Chamberland|Tom, Hendriks|Karaman, Muge

Springer International Publishing, 2025

978-3-031-86919-8

ca. 83.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