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: Membrane Computing - Springer
    Thomas Hinze | Grzegorz Rozenberg | Arto Salomaa
    Membrane Computing
    19th International Conference, CMC 2018, Dresden, Germany, September 4-7, 2018, Revised Selected Papers
    01/2019
    Springer
    9783030127978 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  2. Abbildung von: Structured Object-Oriented Formal Language and Method - Springer
    Zhenhua Duan | Shaoying Liu | Cong Tian
    Structured Object-Oriented Formal Language and Method
    8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
    03/2019
    Springer
    9783030136512 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  3. Abbildung von: Ordinal Computability - De Gruyter
    Merlin Carl
    Ordinal Computability
    An Introduction to Infinitary Machines
    09/2019
    1. Aufl.1. Auflage
    De Gruyter
    9783110492910 (ISBN)
    E-Book
    ePUB
    Weitere Ausgaben
    139,95 €
    Als Download verfügbar
  4. Abbildung von: Intelligent and Interactive Computing - Springer
    Vincenzo Piuri | Valentina Emilia Balas | Samarjeet Borah
    Intelligent and Interactive Computing
    Proceedings of IIC 2018
    05/2019
    1. Aufl.1. Auflage
    Springer
    9789811360312 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    149,79 €
    Als Download verfügbar
  5. Abbildung von: Evolutionary Learning: Advances in Theories and Algorithms - Springer
    Zhi-Hua Zhou | Yang Yu | Chao Qian
    Evolutionary Learning: Advances in Theories and Algorithms
    05/2019
    1. Aufl.1. Auflage
    Springer
    9789811359569 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    139,09 €
    Als Download verfügbar
  6. Abbildung von: Extending the Boundaries of Design Science Theory and Practice - Springer
    Bengisu Tulu | Soussan Djamasbi | Gondy Leroy
    Extending the Boundaries of Design Science Theory and Practice
    14th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2019, Worcester, MA, USA, June 4-6, 2019, Proceedings
    05/2019
    Springer
    9783030195045 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    69,54 €
    Als Download verfügbar
  7. Abbildung von: Understanding the Brain Function and Emotions - Springer
    José Manuel Ferrández Vicente | José Ramón Álvarez-Sánchez | Félix de la Paz López
    Understanding the Brain Function and Emotions
    8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almería, Spain, June 3-7, 2019, Proceedings, Part I
    05/2019
    Springer
    9783030195915 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  8. Abbildung von: Formal Techniques for Safety-Critical Systems - Springer
    Cyrille Artho | Peter Csaba Ölveczky
    Formal Techniques for Safety-Critical Systems
    6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
    02/2019
    Springer
    9783030129880 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  9. Abbildung von: Evolutionary Multi-Criterion Optimization - Springer
    Kalyanmoy Deb | Erik Goodman | Carlos A. Coello Coello
    Evolutionary Multi-Criterion Optimization
    10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019, Proceedings
    02/2019
    Springer
    9783030125981 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    96,29 €
    Als Download verfügbar
  10. Abbildung von: Fuzzy Logic and Applications - Springer
    Robert Fullér | Silvio Giove | Francesco Masulli
    Fuzzy Logic and Applications
    12th International Workshop, WILF 2018, Genoa, Italy, September 6-7, 2018, Revised Selected Papers
    02/2019
    Springer
    9783030125448 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  11. Abbildung von: Logic-Based Program Synthesis and Transformation - Springer
    Manuel V. Hermenegildo | Pedro Lopez-Garcia
    Logic-Based Program Synthesis and Transformation
    26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers
    07/2017
    Springer
    9783319631394 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  12. Abbildung von: Inductive Logic Programming - Springer
    James Cussens | Alessandra Russo
    Inductive Logic Programming
    26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers
    07/2017
    Springer
    9783319633428 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  13. Abbildung von: Computer Aided Verification - Springer
    Rupak Majumdar | Viktor Kuncak
    Computer Aided Verification
    29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
    07/2017
    Springer
    9783319633879 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  14. Abbildung von: Computer Aided Verification - Springer
    Rupak Majumdar | Viktor Kuncak
    Computer Aided Verification
    29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
    07/2017
    Springer
    9783319633909 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  15. Abbildung von: Numerical Software Verification - Springer
    Alessandro Abate | Sylvie Boldo
    Numerical Software Verification
    10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
    07/2017
    Springer
    9783319635019 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  16. Abbildung von: Biomimetic and Biohybrid Systems - Springer
    Michael Mangan | Mark Cutkosky | Anna Mura
    Biomimetic and Biohybrid Systems
    6th International Conference, Living Machines 2017, Stanford, CA, USA, July 26-28, 2017, Proceedings
    07/2017
    Springer
    9783319635378 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  17. Abbildung von: Modern Language Models and Computation - Springer
    Alexander Meduna | Ondrej Soukup
    Modern Language Models and Computation
    Theory with Applications
    10/2017
    Springer
    9783319631004 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    96,29 €
    Als Download verfügbar
  18. Abbildung von: Multi-Agent Based Simulation XVII - Springer
    Luis Gustavo Nardin | Luis Antunes
    Multi-Agent Based Simulation XVII
    International Workshop, MABS 2016, Singapore, Singapore, May 10, 2016, Revised Selected Papers
    10/2017
    Springer
    9783319674773 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  19. Abbildung von: Fetal, Infant and Ophthalmic Medical Image Analysis - Springer
    M. Jorge Cardoso | Tal Arbel | Andrew Melbourne
    Fetal, Infant and Ophthalmic Medical Image Analysis
    International Workshop, FIFI 2017, and 4th International Workshop, OMIA 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, Proceedings
    09/2017
    Springer
    9783319675619 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  20. Abbildung von: Scalable Uncertainty Management - Springer
    Serafín Moral | Olivier Pivert | Daniel Sánchez
    Scalable Uncertainty Management
    11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings
    09/2017
    Springer
    9783319675824 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  2. 1
  3. …
  5. 140
  7. 142
  8. …
  9. 973