Lieferbarkeit
Sprachversion
Thema
Produktform
Maximalpreis
CHF

Suchresultat in Bücher (Theoretische Informatik)

Norbert Gratzl - Von Logik zu Metalogik Einführung in die Metatheorie der Prädikatenlogik
Norbert Gratzl Von Logik zu Metalogik Deutsch 12.06.2026 Fester Einband CHF 58.50 1-3 Arbeitstage
Bernadette Bouchon-Meunier, Giulianella Coletti, Thierry Denoeux, Thierry Denoeux et al, Anne Laurent, … - Information Processing and Management of Uncertainty in Knowledge-Based Systems 21st International Conference, IPMU 2026, Rome, Italy, June 15-19, 2026, Proceedings, Part II
Bernadette Bouchon-Meunier, Giulianella Coletti, Thierry Denoeux, Thierry Denoeux et al, Anne Laurent, … Information Processing and Management of Uncertainty in Knowledge-Based Systems Englisch, Deutsch 12.07.2026 Taschenbuch CHF 159.00 6-7 Wochen
Bernadette Bouchon-Meunier, Giulianella Coletti, Thierry Denoeux, Thierry Denoeux et al, Anne Laurent, … - Information Processing and Management of Uncertainty in Knowledge-Based Systems 21st International Conference, IPMU 2026, Rome, Italy, June 15-19, 2026, Proceedings, Part III
Bernadette Bouchon-Meunier, Giulianella Coletti, Thierry Denoeux, Thierry Denoeux et al, Anne Laurent, … Information Processing and Management of Uncertainty in Knowledge-Based Systems Englisch, Deutsch 12.07.2026 Taschenbuch CHF 147.00 6-7 Wochen
Herbert Rubin, Herbert M Rubin, Herbert M. Rubin - Vom Doppelspalt zum Quantencomputer Die Grundkonzepte der Quantentheorie und ihre technische Nutzung verstehen
Herbert Rubin, Herbert M Rubin, Herbert M. Rubin Vom Doppelspalt zum Quantencomputer Deutsch 23.05.2026 Taschenbuch CHF 44.50 1-3 Arbeitstage
George Tourlakis - Axiomatic Set Theory An Introduction
George Tourlakis Axiomatic Set Theory Englisch, Deutsch Fester Einband CHF 55.90 Erscheint am 10.05.2026
Helmut Balzert, Christof Ebert - Lehrbuch der Softwaretechnik
Helmut Balzert, Christof Ebert Lehrbuch der Softwaretechnik Deutsch Fester Einband CHF 71.00 Erscheint am 04.05.2026
Carlo Combi, Carlo Combi et al, Lidia Fuentes, Pierluigi Plebani, Hajo Reijers - Advanced Information Systems Engineering 38th International Conference, CAiSE 2026, Verona, Italy, June 8-12, 2026, Proceedings, Part II
Carlo Combi, Carlo Combi et al, Lidia Fuentes, Pierluigi Plebani, Hajo Reijers Advanced Information Systems Engineering Englisch, Deutsch 13.08.2026 Taschenbuch CHF 103.00 6-7 Wochen
Jyotirmoy Deshmukh, Klaus Havelund, Alessandro Pinto - NASA Formal Methods 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, Proceedings
Jyotirmoy Deshmukh, Klaus Havelund, Alessandro Pinto NASA Formal Methods Englisch, Deutsch 13.08.2026 Taschenbuch CHF 103.00 6-7 Wochen
Laura Bocchi, Kulahcioglu Ozkan, Burcu Kulahcioglu Ozkan - Formal Techniques for Distributed Objects, Components, and Systems 46th IFIP WG 6.1 International Conference, FORTE 2026, Held as Part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, Urbino, Italy, June 8-12, 2026, Proceedings
Laura Bocchi, Kulahcioglu Ozkan, Burcu Kulahcioglu Ozkan Formal Techniques for Distributed Objects, Components, and Systems Englisch, Deutsch 13.08.2026 Taschenbuch CHF 82.00 6-7 Wochen
Timo Felser, Montangero, Simone Montangero - Introduction to Tensor Network Methods From Many-Body Quantum Systems to Machine Learning
Timo Felser, Montangero, Simone Montangero Introduction to Tensor Network Methods Englisch, Deutsch 17.08.2026 Fester Einband CHF 123.00 6-7 Wochen
Eva Darulova, Anthony W. Lin, Philipp Rümmer, Anthony W Lin - Computer Aided Verification 38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part I
Eva Darulova, Anthony W. Lin, Philipp Rümmer, Anthony W Lin Computer Aided Verification Englisch, Deutsch Taschenbuch CHF 55.90 Erscheint am 19.08.2026
Eva Darulova, Anthony W. Lin, Philipp Rümmer, Anthony W Lin - Computer Aided Verification 38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part III
Eva Darulova, Anthony W. Lin, Philipp Rümmer, Anthony W Lin Computer Aided Verification Englisch, Deutsch Taschenbuch CHF 55.90 Erscheint am 19.08.2026
Sascha Kersken - Künstliche Intelligenz und Machine Learning Das umfassende Lehrbuch
Sascha Kersken Künstliche Intelligenz und Machine Learning Deutsch Fester Einband CHF 77.00 Erscheint am 08.09.2026
Reinhard Oldenburg - Mathematische Algorithmen im Unterricht Mathematik aktiv erleben durch Programmieren in Python
Reinhard Oldenburg Mathematische Algorithmen im Unterricht Deutsch 11.09.2026 Taschenbuch CHF 44.50 mind. 4 Wochen
Florian Reuss - Der Solovay-Strassen-Test
Florian Reuss Der Solovay-Strassen-Test Deutsch 11.03.2026 Taschenbuch CHF 17.50 1-2 Wochen
Francois Chapeau-Blondeau - Quantum Information and Quantum Signal Processing
Francois Chapeau-Blondeau Quantum Information and Quantum Signal Processing Englisch, Deutsch Fester Einband CHF 146.00 Erscheint am 28.09.2026
Jörg Bewersdorff - RSA- und Elliptic-Curve-Kryptographie Von den mathematischen und algorithmischen Grundlagen bis zur Kryptoanalyse mit Quantencomputern
Jörg Bewersdorff RSA- und Elliptic-Curve-Kryptographie Deutsch Taschenbuch CHF 31.90 Erscheint am 10.10.2026
Gero Szepannek - Grundprinzipien des maschinellen Lernens verständlich erklärt - mit Fallstudien in R
Gero Szepannek Grundprinzipien des maschinellen Lernens Deutsch 11.10.2026 Taschenbuch CHF 27.90 6-7 Wochen
André Schulz - Grundlagen der Theoretischen Informatik Einführung in Formale Sprachen, Berechenbarkeit, Komplexität - Ein Lernkurs mit Übungen
André Schulz Grundlagen der Theoretischen Informatik Deutsch 20.01.2026 Taschenbuch CHF 52.50 1-3 Arbeitstage
Johannes Buchmann, Johannes A Buchmann, Johannes A. Buchmann - Quantenalgorithmen Eine Einführung
Johannes Buchmann, Johannes A Buchmann, Johannes A. Buchmann Quantenalgorithmen Deutsch 11.01.2026 Taschenbuch CHF 44.50 1-3 Arbeitstage