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

Ihre Suche nach Theoretische Informatik

  1. Abbildung von: Autonomy Requirements Engineering for Space Missions - Springer
    Emil Vassev | Mike Hinchey
    Autonomy Requirements Engineering for Space Missions
    08/2014
    Springer
    9783319098166 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    96,29 €
    Als Download verfügbar
  2. Abbildung von: Gentzen's Centenary - Springer
    Reinhard Kahle | Michael Rathjen
    Gentzen's Centenary
    The Quest for Consistency
    11/2015
    Springer
    9783319101033 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    160,49 €
    Als Download verfügbar
  3. Abbildung von: Controlled Natural Language - Springer
    Brian Davis | Kaarel Kaljurand | Tobias Kuhn
    Controlled Natural Language
    4th International Workshop, CNL 2014, Galway, Ireland, August 20-22, 2014, Proceedings
    07/2014
    Springer
    9783319102238 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    50,28 €
    Als Download verfügbar
  4. Abbildung von: Descriptional Complexity of Formal Systems - Springer
    Helmut Jürgensen | Juhani Karhumäki | Alexander Okhotin
    Descriptional Complexity of Formal Systems
    16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings
    07/2014
    Springer
    9783319097046 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  5. Abbildung von: Computational Processing of the Portuguese Language - Springer
    Jorge Baptista | Nuno Mamede | Sara Candeias
    Computational Processing of the Portuguese Language
    11th International Conference, PROPOR 2014, Sao Carlos/SP, Brazil, October 6-8, 2014, Proceedings
    09/2014
    Springer
    9783319097619 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  6. Abbildung von: Type Theory and Formal Proof - Cambridge University Press
    Rob Nederpelt | Herman Geuvers
    Type Theory and Formal Proof
    An Introduction
    11/2014
    1. Aufl.1. Auflage
    Cambridge University Press
    9781316056349 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    85,29 €
    Als Download verfügbar
  7. Abbildung von: Rules on the Web: From Theory to Applications - Springer
    Antonis Bikakis | Paul Fodor | Dumitru Roman
    Rules on the Web: From Theory to Applications
    8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings
    07/2014
    Springer
    9783319098708 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  8. Abbildung von: Artificial Intelligence and Soft Computing - Springer
    Leszek Rutkowski | Marcin Korytkowski | Rafal Scherer
    Artificial Intelligence and Soft Computing
    13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part II
    05/2014
    Springer
    9783319071763 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    96,29 €
    Als Download verfügbar
  9. Abbildung von: Swarm Intelligence Based Optimization - Springer
    Patrick Siarry | Lhassane Idoumghar | Julien Lepagnot
    Swarm Intelligence Based Optimization
    First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papers
    11/2014
    Springer
    9783319129709 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    50,28 €
    Als Download verfügbar
  10. Abbildung von: Neural Information Processing - Springer
    Chu Kiong Loo | Yap Keem Siah | Kok Wai Wong
    Neural Information Processing
    21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part I
    10/2014
    Springer
    9783319126371 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  11. Abbildung von: Advances in Artificial Life and Evolutionary Computation - Springer
    Clara Pizzuti | Giandomenico Spezzano
    Advances in Artificial Life and Evolutionary Computation
    9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised Selected Papers
    11/2014
    Springer
    9783319127453 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  12. Abbildung von: Formal Languages, Automata and Numeration Systems 2 - Wiley-ISTE
    Michel Rigo
    Formal Languages, Automata and Numeration Systems 2
    Applications to Recognizability and Decidability
    09/2014
    Wiley-ISTE
    9781119042952 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    139,99 €
    Als Download verfügbar
  13. Abbildung von: AsiaSim 2014 - Springer
    Satoshi Tanaka | Kyoko Hasegawa | Rui Xu
    AsiaSim 2014
    14th International Conference on Systems Simulation, Kitakyushu, Japan, October 26-30, 2014. Proceedings
    09/2014
    Springer
    9783662452899 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  14. Abbildung von: Neural Information Processing - Springer
    Chu Kiong Loo | Yap Keem Siah | Kok Wai Wong
    Neural Information Processing
    21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part II
    10/2014
    Springer
    9783319126401 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  15. Abbildung von: From Requirements to Java in a Snap - Springer
    Michal Smialek | Wiktor Nowakowski
    From Requirements to Java in a Snap
    Model-Driven Requirements Engineering in Practice
    01/2015
    1. Aufl.1. Auflage
    Springer
    9783319128382 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  16. Abbildung von: Inductive Logic Programming - Springer
    Gerson Zaverucha | Vítor Santos Costa | Aline Paes
    Inductive Logic Programming
    23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers
    09/2014
    Springer
    9783662449233 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    42,79 €
    Als Download verfügbar
  17. Abbildung von: Signal Processing and Information Technology - Springer
    Vinu V. Das | Passent M. El-Kafrawy
    Signal Processing and Information Technology
    Second International Joint Conference, SPIT 2012, Dubai, UAE, September 20-21, 2012, Revised Selected Papers
    11/2014
    Springer
    9783319116297 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    50,28 €
    Als Download verfügbar
  18. Abbildung von: Algorithmic Learning Theory - Springer
    Peter Auer | Alexander Clark | Thomas Zeugmann
    Algorithmic Learning Theory
    25th International Conference, ALT 2014, Bled, Slovenia, October 8-10, 2014, Proceedings
    10/2014
    Springer
    9783319116624 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  19. Abbildung von: Artificial Evolution - Springer
    Pierrick Legrand | Marc-Michel Corsini | Jin-Kao Hao
    Artificial Evolution
    11th International Conference, Evolution Artificielle, EA 2013, Bordeaux, France, October 21-23, 2013. Revised Selected Papers
    10/2014
    Springer
    9783319116839 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    50,28 €
    Als Download verfügbar
  20. Abbildung von: Formal Methods and Software Engineering - Springer
    Stephan Merz | Jun Pang
    Formal Methods and Software Engineering
    16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
    10/2014
    Springer
    9783319117379 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  2. 1
  3. …
  5. 168
  7. 170
  8. …
  9. 973