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

Ihre Suche nach Theoretische Informatik

  1. Abbildung von: Applied Informatics and Communication, Part I - Springer
    Dehuai Zheng
    Applied Informatics and Communication, Part I
    International Conference, ICAIC 2011, Xi'an,China, August 20-21, 2011, Proceedings, Part I
    08/2011
    Springer
    9783642232145 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    96,29 €
    Als Download verfügbar
  2. Abbildung von: Theory and Applications of Models of Computation - Springer
    Mitsunori Ogihara | Jun Tarui
    Theory and Applications of Models of Computation
    8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011, Proceedings
    04/2011
    Springer
    9783642208775 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  3. Abbildung von: AI 2011: Advances in Artificial Intelligence - Springer
    Dianhui Wang | Mark Reynolds
    AI 2011: Advances in Artificial Intelligence
    24th Australasian Joint Conference, Perth, Australia, December 5-8, 2011, Proceedings
    12/2011
    Springer
    9783642258329 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  4. Abbildung von: Advances in Artificial Intelligence - Springer
    Jose A. Lozano | José A. Gámez | José A. Moreno-Pérez
    Advances in Artificial Intelligence
    14th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2011, La Laguna, Spain, November 7-11, 2011. Proceedings
    10/2011
    Springer
    9783642252747 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  5. Abbildung von: Machine Learning and Knowledge Discovery in Databases, Part II - Springer
    Dimitrios Gunopulos | Thomas Hofmann | Donato Malerba
    Machine Learning and Knowledge Discovery in Databases, Part II
    European Conference, ECML PKDD 2010, Athens, Greece, September 5-9, 2011, Proceedings, Part II
    09/2011
    Springer
    9783642237836 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  6. Abbildung von: Theoretical Aspects of Computing -- ICTAC 2011 - Springer
    Antonio Cerone | Pekka Pihlajasaari
    Theoretical Aspects of Computing -- ICTAC 2011
    8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings
    08/2011
    Springer
    9783642232831 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  7. Abbildung von: Information Security - Springer
    Xuejia Lai | Jianying Zhou | Hui Li
    Information Security
    14th International Conference, ISC 2011, Xi'an, China, October 26-29, 2011, Proceedings
    10/2011
    Springer
    9783642248610 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  8. Abbildung von: Certified Programs and Proofs - Springer
    Jean-Pierre Jouannaud | Zhong Shao
    Certified Programs and Proofs
    First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings
    11/2011
    Springer
    9783642253799 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  9. Abbildung von: Artificial General Intelligence - Springer
    Jürgen Schmidhuber | Kristinn R. Thorisson | Moshe Looks
    Artificial General Intelligence
    4th International Conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011, Proceedings
    07/2011
    Springer
    9783642228872 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  10. Abbildung von: Intelligent Data Engineering and Automated Learning -- IDEAL 2011 - Springer
    Hujun Yin | Wenjia Wang | Victor J. Rayward-Smith
    Intelligent Data Engineering and Automated Learning -- IDEAL 2011
    12th International Conference, Norwich, UK, September 7-9, 2011. Proceedings
    08/2011
    Springer
    9783642238789 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  11. Abbildung von: Software Engineering, Business Continuity, and Education - Springer
    Tai-hoon Kim | Hojjat Adeli | Haeng-kon Kim
    Software Engineering, Business Continuity, and Education
    International Conferences, ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
    12/2011
    Springer
    9783642272073 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    96,29 €
    Als Download verfügbar
  12. Abbildung von: Neural Information Processing - Springer
    Bao-Liang Lu | Liqing Zhang | James Kwok
    Neural Information Processing
    18th International Conference, ICONIP 2011, Shanghai,China, November 13-17, 2011, Proceedings, Part III
    11/2011
    Springer
    9783642249655 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  13. Abbildung von: Simulation, Modeling, and Programming for Autonomous Robots - Springer
    Noriako Ando | Stephen Balakirsky | Thomas Hemker
    Simulation, Modeling, and Programming for Autonomous Robots
    Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010, Proceedings
    11/2010
    Springer
    9783642173196 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  14. Abbildung von: Verified Software: Theories, Tools, Experiments - Springer
    Gary T. Leavens | Peter O'Hearn | Sriram K. Rajamani
    Verified Software: Theories, Tools, Experiments
    Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
    08/2010
    Springer
    9783642150579 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  15. Abbildung von: Interactive Theorem Proving - Springer
    Matt Kaufmann | Lawrence C. Paulson
    Interactive Theorem Proving
    First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
    07/2010
    Springer
    9783642140525 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    96,29 €
    Als Download verfügbar
  16. Abbildung von: Foundations of Software Science and Computational Structures - Springer
    Martin Hofmann
    Foundations of Software Science and Computational Structures
    14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
    03/2011
    Springer
    9783642198052 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  17. Abbildung von: Mathematical Foundations of Computer Science 2010 - Springer
    Petr Hlineny | Antonin Kucera
    Mathematical Foundations of Computer Science 2010
    35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, Proceedings
    08/2010
    Springer
    9783642151552 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    96,29 €
    Als Download verfügbar
  18. Abbildung von: Formal Methods: Foundations and Applications - Springer
    Jim Davies | Leila Silva | Adenilso Simao
    Formal Methods: Foundations and Applications
    13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
    03/2011
    Springer
    9783642198298 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  19. Abbildung von: Adaptive and Natural Computing Algorithms - Springer
    Andrej Dobnikar | Uros Lotric | Branko Ster
    Adaptive and Natural Computing Algorithms
    10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part I
    04/2011
    Springer
    9783642202827 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  20. Abbildung von: Wireless Algorithms, Systems, and Applications - Springer
    Gopal Pandurangan | V. S. Anil Kumar | Gu Ming
    Wireless Algorithms, Systems, and Applications
    5th International Conference, WASA 2010, Beijing, China, August 15-17, 2010. Proceedings
    08/2010
    Springer
    9783642146541 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  2. 1
  3. …
  5. 279
  7. 281
  8. …
  9. 974