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

Ihre Suche nach Theoretische Informatik

  1. Abbildung von: Verification, Model Checking, and Abstract Interpretation - Springer
    Cezara Dragoi | Michael Emmi | Jingbo Wang
    Verification, Model Checking, and Abstract Interpretation
    24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
    01/2023
    Springer
    9783031249501 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    80,24 €
    Als Download verfügbar
  2. Abbildung von: Practical Aspects of Declarative Languages - Springer
    Michael Hanus | Daniela Inclezan
    Practical Aspects of Declarative Languages
    25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
    01/2023
    Springer
    9783031248412 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    80,24 €
    Als Download verfügbar
  3. Abbildung von: Combinatorial Image Analysis - Springer
    Reneta P. Barneva | Valentin E. Brimkov | Giorgio Nordo
    Combinatorial Image Analysis
    21st International Workshop, IWCIA 2022, Messina, Italy, July 13-15, 2022, Proceedings
    01/2023
    Springer
    9783031236129 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    80,24 €
    Als Download verfügbar
  4. Abbildung von: Artificial Intelligence and Soft Computing - Springer
    Leszek Rutkowski | Rafal Scherer | Marcin Korytkowski
    Artificial Intelligence and Soft Computing
    21st International Conference, ICAISC 2022, Zakopane, Poland, June 19-23, 2022, Proceedings, Part II
    01/2023
    Springer
    9783031234804 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    80,24 €
    Als Download verfügbar
  5. Abbildung von: Artificial Intelligence and Soft Computing - Springer
    Leszek Rutkowski | Rafal Scherer | Marcin Korytkowski
    Artificial Intelligence and Soft Computing
    21st International Conference, ICAISC 2022, Zakopane, Poland, June 19-23, 2022, Proceedings, Part I
    01/2023
    Springer
    9783031234927 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    85,59 €
    Als Download verfügbar
  6. Abbildung von: Optimization and Applications - Springer
    Nicholas Olenev | Yuri Evtushenko | Milojica Jacimovic
    Optimization and Applications
    13th International Conference, OPTIMA 2022, Petrovac, Montenegro, September 26-30, 2022, Revised Selected Papers
    01/2023
    Springer
    9783031225437 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    69,54 €
    Als Download verfügbar
  7. Abbildung von: Algorithms and Architectures for Parallel Processing - Springer
    Weizhi Meng | Rongxing Lu | Geyong Min
    Algorithms and Architectures for Parallel Processing
    22nd International Conference, ICA3PP 2022, Copenhagen, Denmark, October 10-12, 2022, Proceedings
    01/2023
    Springer
    9783031226779 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    106,99 €
    Als Download verfügbar
  8. Abbildung von: Human-Centered Artificial Intelligence - Springer
    Mohamed Chetouani | Virginia Dignum | Paul Lukowicz
    Human-Centered Artificial Intelligence
    Advanced Lectures
    04/2023
    Springer
    9783031243493 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    78,10 €
    Als Download verfügbar
  9. Abbildung von: Computational Linguistics and Intelligent Text Processing - Springer
    Alexander Gelbukh
    Computational Linguistics and Intelligent Text Processing
    20th International Conference, CICLing 2019, La Rochelle, France, April 7-13, 2019, Revised Selected Papers, Part I
    02/2023
    Springer
    9783031243370 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    96,29 €
    Als Download verfügbar
  10. Abbildung von: Programming Languages and Systems - Springer
    Ilya Sergey
    Programming Languages and Systems
    20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings
    11/2022
    Springer
    9783031210372 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    69,54 €
    Als Download verfügbar
  11. Abbildung von: Simple Type Theory - Birkhäuser
    William M. Farmer
    Simple Type Theory
    A Practical Logic for Expressing and Reasoning About Mathematical Ideas
    01/2023
    Birkhäuser
    9783031211126 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    64,19 €
    Als Download verfügbar
    Zur neuen Auflage
  12. Abbildung von: Software Verification and Formal Methods for ML-Enabled Autonomous Systems - Springer
    Omri Isac | Radoslav Ivanov | Guy Katz
    Software Verification and Formal Methods for ML-Enabled Autonomous Systems
    5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings
    12/2022
    Springer
    9783031212222 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    69,54 €
    Als Download verfügbar
  13. Abbildung von: Multigrammatical Framework for Knowledge-Based Digital Economy - Springer
    Igor A. Sheremet
    Multigrammatical Framework for Knowledge-Based Digital Economy
    10/2022
    1. Aufl.1. Auflage
    Springer
    9783031138584 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    213,99 €
    Als Download verfügbar
  14. Abbildung von: Online Capacity Provisioning for Energy-Efficient Datacenters - Springer
    Minghua Chen | Sid Chi-Kin Chau
    Online Capacity Provisioning for Energy-Efficient Datacenters
    10/2022
    1. Aufl.1. Auflage
    Springer
    9783031115493 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  15. Abbildung von: Deep Learning with TensorFlow and Keras - 3rd edition - De Gruyter
    Amita Kapoor | Antonio Gulli | Sujit Pal
    Deep Learning with TensorFlow and Keras - 3rd edition
    Build and deploy supervised, unsupervised, deep, and reinforcement learning models
    10/2022
    3. Aufl.3. Auflage
    De Gruyter
    9781803245713 (ISBN)
    E-Book
    ePUB
    35,99 €
    Als Download verfügbar
  16. Abbildung von: Machine Learning and Knowledge Discovery in Databases - Springer
    Massih-Reza Amini | Stéphane Canu | Asja Fischer
    Machine Learning and Knowledge Discovery in Databases
    European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part I
    03/2023
    Springer
    9783031263873 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    96,29 €
    Als Download verfügbar
  17. Abbildung von: Logic and Its Applications - Springer
    Mohua Banerjee | A. V. Sreejith
    Logic and Its Applications
    10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings
    02/2023
    Springer
    9783031266898 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    69,54 €
    Als Download verfügbar
  18. Abbildung von: AIxIA 2022 - Advances in Artificial Intelligence - Springer
    Agostino Dovier | Angelo Montanari | Andrea Orlandini
    AIxIA 2022 - Advances in Artificial Intelligence
    XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings
    03/2023
    Springer
    9783031271816 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    69,54 €
    Als Download verfügbar
  19. Abbildung von: Evolutionary Multi-Criterion Optimization - Springer
    Michael Emmerich | André Deutz | Hao Wang
    Evolutionary Multi-Criterion Optimization
    12th International Conference, EMO 2023, Leiden, The Netherlands, March 20-24, 2023, Proceedings
    03/2023
    Springer
    9783031272509 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    90,94 €
    Als Download verfügbar
  20. Abbildung von: Formal Methods and Software Engineering - Springer
    Adrian Riesco | Min Zhang
    Formal Methods and Software Engineering
    23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings
    10/2022
    Springer
    9783031172441 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  2. 1
  3. …
  5. 95
  7. 97
  8. …
  9. 973