19.443 Treffer
Medienart (8)
Lieferbarkeit (3)
Sprache (3)
Klassifikation (25)
Jahr
Verlag
Fachkatalog
Sortierung
Treffer pro Seite
Filter
19.443 Treffer

Ihre Suche nach Theoretische Informatik

  1. Abbildung von: Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems - Springer
    Tiziana Margaria | Bernhard Steffen
    Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
    12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II
    10/2024
    Springer
    9783031751073 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    69,54 €
    Als Download verfügbar
  2. Abbildung von: A Journey into Modern Physics - Springer
    Carmine Granata
    A Journey into Modern Physics
    From Relativity to Quantum Technologies
    03/2025
    1. Aufl.1. Auflage
    Springer
    9783031777752 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    48,14 €
    Als Download verfügbar
  3. Abbildung von: Knowledge Engineering and Knowledge Management - Springer
    Mehwish Alam | Marco Rospocher | Marieke van Erp
    Knowledge Engineering and Knowledge Management
    24th International Conference, EKAW 2024, Amsterdam, The Netherlands, November 26-28, 2024, Proceedings
    11/2024
    Springer
    9783031777929 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    78,10 €
    Als Download verfügbar
  4. Abbildung von: Artificial Psychology - Springer
    Clayton Lewis
    Artificial Psychology
    Learning from the Unexpected Capabilities of Large Language Models
    02/2025
    1. Aufl.1. Auflage
    Springer
    9783031766466 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    42,79 €
    Als Download verfügbar
  5. Abbildung von: Theoretical Aspects of Computing - ICTAC 2024 - Springer
    Chutiporn Anutariya | Marcello M. Bonsangue
    Theoretical Aspects of Computing - ICTAC 2024
    21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings
    11/2024
    Springer
    9783031770197 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    69,54 €
    Als Download verfügbar
  6. Abbildung von: The Semantic Web - ISWC 2024 - Springer
    Gianluca Demartini | Katja Hose | Maribel Acosta
    The Semantic Web - ISWC 2024
    23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part II
    11/2024
    Springer
    9783031778506 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    60,98 €
    Als Download verfügbar
  7. Abbildung von: The Semantic Web - ISWC 2024 - Springer
    Gianluca Demartini | Katja Hose | Maribel Acosta
    The Semantic Web - ISWC 2024
    23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part I
    11/2024
    Springer
    9783031778445 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    60,98 €
    Als Download verfügbar
  8. Abbildung von: Formal Methods: Foundations and Applications - Springer
    Sidney C. Nogueira | Ciprian Teodorov
    Formal Methods: Foundations and Applications
    27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings
    11/2024
    Springer
    9783031781162 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    60,98 €
    Als Download verfügbar
  9. Abbildung von: Optimization and Learning - Springer
    Bernabé Dorronsoro | Martin Zagar | El-Ghazali Talbi
    Optimization and Learning
    7th International Conference, OLA 2024, Dubrovnik, Croatia, May 13-15, 2024, Revised Selected Papers
    01/2025
    Springer
    9783031779411 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    80,24 €
    Als Download verfügbar
  10. Abbildung von: The Semantic Web - ISWC 2024 - Springer
    Gianluca Demartini | Katja Hose | Maribel Acosta
    The Semantic Web - ISWC 2024
    23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part III
    11/2024
    Springer
    9783031778476 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    85,59 €
    Als Download verfügbar
  11. Abbildung von: PRIMA 2024: Principles and Practice of Multi-Agent Systems - Springer
    Ryuta Arisaka | Victor Sanchez-Anguix | Sebastian Stein
    PRIMA 2024: Principles and Practice of Multi-Agent Systems
    25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings
    11/2024
    Springer
    9783031773679 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    78,10 €
    Als Download verfügbar
  12. Abbildung von: TOOLympics Challenge 2023 - Springer
    Dirk Beyer | Arnd Hartmanns | Fabrice Kordon
    TOOLympics Challenge 2023
    Updates, Results, Successes of the Formal-Methods Competitions
    10/2024
    Springer
    9783031676956 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    128,39 €
    Als Download verfügbar
  13. Abbildung von: Foundation Mathematics for Computer Science - Springer
    John Vince
    Foundation Mathematics for Computer Science
    A Visual Approach
    09/2024
    4. Aufl.4. Auflage
    Springer
    9783031665493 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    69,54 €
    Als Download verfügbar
  14. Abbildung von: Machines, Computations, and Universality - Springer
    Enrico Formenti | Jérôme Durand-Lose
    Machines, Computations, and Universality
    10th International Conference, MCU 2024, Nice, France, June 5-7, 2024, Revised Selected Papers
    02/2025
    Springer
    9783031812026 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  15. Abbildung von: Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic - Springer
    Marco Console | Boris Konev
    Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic
    19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures
    02/2025
    Springer
    9783031802836 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    60,98 €
    Als Download verfügbar
  16. Abbildung von: Structural, Syntactic, and Statistical Pattern Recognition - Springer
    Andrea Torsello | Luca Rossi | Luca Cosmo
    Structural, Syntactic, and Statistical Pattern Recognition
    Joint IAPR International Workshops, S+SSPR 2024, Venice, Italy, September 9-10, 2024, Revised Selected Papers
    01/2025
    Springer
    9783031805073 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  17. Abbildung von: Progress in Cryptology - INDOCRYPT 2024 - Springer
    Sourav Mukhopadhyay | Pantelimon Stanica
    Progress in Cryptology - INDOCRYPT 2024
    25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024, Proceedings, Part I
    12/2024
    Springer
    9783031803086 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    70,61 €
    Als Download verfügbar
  18. Abbildung von: The Semantic Web: ESWC 2024 Satellite Events - Springer
    Albert Meroño Peñuela | Oscar Corcho | Paul Groth
    The Semantic Web: ESWC 2024 Satellite Events
    Hersonissos, Crete, Greece, May 26-30, 2024, Proceedings, Part II
    01/2025
    Springer
    9783031789557 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    60,98 €
    Als Download verfügbar
  19. Abbildung von: AIxIA 2024 - Advances in Artificial Intelligence - Springer
    Alessandro Artale | Gabriella Cortellessa | Marco Montali
    AIxIA 2024 - Advances in Artificial Intelligence
    XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024 Proceedings
    12/2024
    Springer
    9783031806070 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    69,54 €
    Als Download verfügbar
  20. Abbildung von: Modern Time Series Forecasting with Python - Packt Publishing
    Manu Joseph | Jeffrey Tackes
    Modern Time Series Forecasting with Python
    Industry-ready machine learning and deep learning time series analysis with PyTorch and pandas
    10/2024
    1. Aufl.1. Auflage
    Packt Publishing
    9781835883198 (ISBN)
    E-Book
    ePUB
    41,99 €
    Als Download verfügbar
  2. 1
  3. …
  5. 33
  7. 35
  8. …
  9. 973