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

Ihre Suche nach Theoretische Informatik

  1. Abbildung von: Formal Modeling and Analysis of Timed Systems - Springer
    Catalin Dima | Mahsa Shirmohammadi
    Formal Modeling and Analysis of Timed Systems
    19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings
    08/2021
    Springer
    9783030850371 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  2. Abbildung von: Combinatorics on Words - Springer
    Thierry Lecroq | Svetlana Puzynina
    Combinatorics on Words
    13th International Conference, WORDS 2021, Rouen, France, September 13-17, 2021, Proceedings
    09/2021
    Springer
    9783030850883 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    69,54 €
    Als Download verfügbar
  3. Abbildung von: Computer Algebra in Scientific Computing - Springer
    François Boulier | Matthew England | Timur M. Sadykov
    Computer Algebra in Scientific Computing
    23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings
    08/2021
    Springer
    9783030851651 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    96,29 €
    Als Download verfügbar
  4. Abbildung von: Quantitative Evaluation of Systems - Springer
    Alessandro Abate | Andrea Marin
    Quantitative Evaluation of Systems
    18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, Proceedings
    08/2021
    Springer
    9783030851729 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    96,29 €
    Als Download verfügbar
  5. Abbildung von: Provenance and Annotation of Data and Processes - Springer
    Boris Glavic | Vanessa Braganholo | David Koop
    Provenance and Annotation of Data and Processes
    8th and 9th International Provenance and Annotation Workshop, IPAW 2020 + IPAW 2021, Virtual Event, July 19-22, 2021, Proceedings
    07/2021
    Springer
    9783030809607 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  6. Abbildung von: Approximation and Online Algorithms - Springer
    Christos Kaklamanis | Asaf Levin
    Approximation and Online Algorithms
    18th International Workshop, WAOA 2020, Virtual Event, September 9-10, 2020, Revised Selected Papers
    07/2021
    Springer
    9783030808792 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    160,49 €
    Als Download verfügbar
  7. Abbildung von: Multi-Agent Systems - Springer
    Ariel Rosenfeld | Nimrod Talmon
    Multi-Agent Systems
    18th European Conference, EUMAS 2021, Virtual Event, June 28-29, 2021, Revised Selected Papers
    07/2021
    Springer
    9783030822545 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  8. Abbildung von: Formal Methods for Industrial Critical Systems - Springer
    Alberto Lluch Lafuente | Anastasia Mavridou
    Formal Methods for Industrial Critical Systems
    26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings
    08/2021
    Springer
    9783030852481 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  9. Abbildung von: Modeling Decisions for Artificial Intelligence - Springer
    Vicenç Torra | Yasuo Narukawa
    Modeling Decisions for Artificial Intelligence
    18th International Conference, MDAI 2021, Umeå, Sweden, September 27-30, 2021, Proceedings
    09/2021
    Springer
    9783030855291 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    90,94 €
    Als Download verfügbar
  10. Abbildung von: Diagrammatic Representation and Inference - Springer
    Amrita Basu | Gem Stapleton | Sven Linker
    Diagrammatic Representation and Inference
    12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings
    09/2021
    Springer
    9783030860622 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    96,29 €
    Als Download verfügbar
  11. Abbildung von: Algorithms and Data Structures - Springer
    Anna Lubiw | Mohammad Salavatipour | Meng He
    Algorithms and Data Structures
    17th International Symposium, WADS 2021, Virtual Event, August 9-11, 2021, Proceedings
    07/2021
    Springer
    9783030835088 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    96,29 €
    Als Download verfügbar
  12. Abbildung von: Intelligent Computer Mathematics - Springer
    Fairouz Kamareddine | Claudio Sacerdoti Coen
    Intelligent Computer Mathematics
    14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings
    07/2021
    Springer
    9783030810979 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  13. Abbildung von: Maple in Mathematics Education and Research - Springer
    Robert M. Corless | Jürgen Gerhard | Ilias S. Kotsireas
    Maple in Mathematics Education and Research
    4th Maple Conference, MC 2020, Waterloo, Ontario, Canada, November 2-6, 2020, Revised Selected Papers
    07/2021
    Springer
    9783030816988 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    106,99 €
    Als Download verfügbar
  14. Abbildung von: Developments in Language Theory - Springer
    Nelma Moreira | Rogério Reis
    Developments in Language Theory
    25th International Conference, DLT 2021, Porto, Portugal, August 16-20, 2021, Proceedings
    08/2021
    Springer
    9783030815080 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    90,94 €
    Als Download verfügbar
  15. Abbildung von: Search-Based Software Engineering - Springer
    Una-May O'Reilly | Xavier Devroey
    Search-Based Software Engineering
    13th International Symposium, SSBSE 2021, Bari, Italy, October 11-12, 2021, Proceedings
    09/2021
    Springer
    9783030881061 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    58,84 €
    Als Download verfügbar
  16. Abbildung von: Computational Collective Intelligence - Springer
    Ngoc Thanh Nguyen | Lazaros Iliadis | Ilias Maglogiannis
    Computational Collective Intelligence
    13th International Conference, ICCCI 2021, Rhodes, Greece, September 29 - October 1, 2021, Proceedings
    09/2021
    Springer
    9783030880811 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    106,99 €
    Als Download verfügbar
  17. Abbildung von: Fundamentals of Computation Theory - Springer
    Evripidis Bampis | Aris Pagourtzis
    Fundamentals of Computation Theory
    23rd International Symposium, FCT 2021, Athens, Greece, September 12-15, 2021, Proceedings
    09/2021
    Springer
    9783030865931 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    96,29 €
    Als Download verfügbar
  18. Abbildung von: Frontiers of Combining Systems - Springer
    Boris Konev | Giles Reger
    Frontiers of Combining Systems
    13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings
    08/2021
    Springer
    9783030862053 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    80,24 €
    Als Download verfügbar
  19. Abbildung von: Computational Science and Its Applications - ICCSA 2021 - Springer
    Osvaldo Gervasi | Beniamino Murgante | Sanjay Misra
    Computational Science and Its Applications - ICCSA 2021
    21st International Conference, Cagliari, Italy, September 13-16, 2021, Proceedings, Part I
    09/2021
    Springer
    9783030866532 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    96,29 €
    Als Download verfügbar
  20. Abbildung von: Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems - Springer
    Alexandre Dolgui | Alain Bernard | David Lemoine
    Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems
    IFIP WG 5.7 International Conference, APMS 2021, Nantes, France, September 5-9, 2021, Proceedings, Part I
    08/2021
    Springer
    9783030858742 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    181,89 €
    Als Download verfügbar
  2. 1
  3. …
  5. 58
  7. 60
  8. …
  9. 973