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

Ihre Suche nach Theoretische Informatik

  1. Abbildung von: Carl Adam Petri - Springer
    Einar Smith
    Carl Adam Petri
    Life and Science
    10/2015
    1. Aufl.1. Auflage
    Springer
    9783662480939 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    32,09 €
    Als Download verfügbar
  2. Abbildung von: Intelligent Computing Theories and Methodologies - Springer
    De-Shuang Huang | Kang-Hyun Jo | Abir Hussain
    Intelligent Computing Theories and Methodologies
    11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, Proceedings, Part II
    08/2015
    Springer
    9783319221861 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  3. Abbildung von: Implementation and Application of Automata - Springer
    Frank Drewes
    Implementation and Application of Automata
    20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings
    07/2015
    Springer
    9783319223605 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  4. Abbildung von: Algorithms - ESA 2015 - Springer
    Nikhil Bansal | Irene Finocchi
    Algorithms - ESA 2015
    23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings
    09/2015
    Springer
    9783662483503 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    96,29 €
    Als Download verfügbar
  5. Abbildung von: Computer Aided Verification - Springer
    Daniel Kroening | Corina S. Pasareanu
    Computer Aided Verification
    27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
    07/2015
    Springer
    9783319216683 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  6. Abbildung von: Stabilization, Safety, and Security of Distributed Systems - Springer
    Andrzej Pelc | Alexander A. Schwarzmann
    Stabilization, Safety, and Security of Distributed Systems
    17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings
    08/2015
    Springer
    9783319217413 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    58,84 €
    Als Download verfügbar
  7. Abbildung von: Reasoning Web. Web Logic Rules - Springer
    Wolfgang Faber | Adrian Paschke
    Reasoning Web. Web Logic Rules
    11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.
    07/2015
    Springer
    9783319217680 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  8. Abbildung von: Computer Aided Verification - Springer
    Daniel Kroening | Corina S. Pasareanu
    Computer Aided Verification
    27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
    07/2015
    Springer
    9783319216904 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  9. Abbildung von: Logic, Language, Information, and Computation - Springer
    Valeria de Paiva | Ruy de Queiroz | Lawrence S. Moss
    Logic, Language, Information, and Computation
    22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
    06/2015
    1. Aufl.1. Auflage
    Springer
    9783662477090 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    42,79 €
    Als Download verfügbar
    Zur neuen Auflage
  10. Abbildung von: Theory and Practice of Model Transformations - Springer
    Dimitris Kolovos | Manuel Wimmer
    Theory and Practice of Model Transformations
    8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings
    07/2015
    Springer
    9783319211558 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    50,28 €
    Als Download verfügbar
  11. Abbildung von: Reversible Computation - Springer
    Jean Krivine | Jean-Bernard Stefani
    Reversible Computation
    7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings
    06/2015
    Springer
    9783319208602 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    50,28 €
    Als Download verfügbar
  12. Abbildung von: Advances in Data Mining: Applications and Theoretical Aspects - Springer
    Petra Perner
    Advances in Data Mining: Applications and Theoretical Aspects
    15th Industrial Conference, ICDM 2015, Hamburg, Germany, July 11-24, 2015. Proceedings
    06/2015
    Springer
    9783319209104 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    50,28 €
    Als Download verfügbar
  13. Abbildung von: Automata, Languages, and Programming - Springer
    Magnús M. Halldórsson | Kazuo Iwama | Naoki Kobayashi
    Automata, Languages, and Programming
    42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I
    06/2015
    Springer
    9783662476727 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    96,29 €
    Als Download verfügbar
  14. Abbildung von: Modelling Foundations and Applications - Springer
    Gabriele Taentzer | Francis Bordeleau
    Modelling Foundations and Applications
    11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings
    07/2015
    Springer
    9783319211510 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    42,79 €
    Als Download verfügbar
  15. Abbildung von: Artificial General Intelligence - Springer
    Jordi Bieger | Ben Goertzel | Alexey Potapov
    Artificial General Intelligence
    8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
    07/2015
    Springer
    9783319213651 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  16. Abbildung von: Foundation Mathematics for Computer Science - Springer
    John Vince
    Foundation Mathematics for Computer Science
    A Visual Approach
    07/2015
    Springer
    9783319214375 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    48,14 €
    Als Download verfügbar
    Zur neuen Auflage
  17. Abbildung von: Automated Deduction in Geometry - Springer
    Francisco Botana | Pedro Quaresma
    Automated Deduction in Geometry
    10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
    07/2015
    Springer
    9783319213620 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    42,79 €
    Als Download verfügbar
  18. Abbildung von: Automata, Languages, and Programming - Springer
    Magnús M. Halldórsson | Kazuo Iwama | Naoki Kobayashi
    Automata, Languages, and Programming
    42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II
    06/2015
    Springer
    9783662476666 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  19. Abbildung von: Engineering Psychology and Cognitive Ergonomics - Springer
    Don Harris
    Engineering Psychology and Cognitive Ergonomics
    12th International Conference, EPCE 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings
    07/2015
    Springer
    9783319203737 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  20. Abbildung von: Artificial Intelligence and Soft Computing - Springer
    Leszek Rutkowski | Marcin Korytkowski | Rafal Scherer
    Artificial Intelligence and Soft Computing
    14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I
    06/2015
    Springer
    9783319193243 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    96,29 €
    Als Download verfügbar
  2. 1
  3. …
  5. 183
  7. 185
  8. …
  9. 974