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: FM 2012: Formal Methods - Springer
    Dimitra Giannakopoulou | Dominique Mery
    FM 2012: Formal Methods
    18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
    08/2012
    Springer
    9783642327599 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  2. Abbildung von: Haptic and Audio Interaction Design - Springer
    Charlotte Magnusson | Delphine Szymczak | Stephen Brewster
    Haptic and Audio Interaction Design
    7th International Conference, HAID 2012, Lund, Sweden, August 23-24, 2012, Proceedings
    07/2012
    Springer
    9783642327964 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    48,14 €
    Als Download verfügbar
  3. Abbildung von: The Complexity of Valued Constraint Satisfaction Problems - Springer
    Stanislav Zivný
    The Complexity of Valued Constraint Satisfaction Problems
    10/2012
    Springer
    9783642339745 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    96,29 €
    Als Download verfügbar
  4. Abbildung von: Runtime Verification - Springer
    Shaz Qadeer | Serdar Tasiran
    Runtime Verification
    Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
    01/2013
    Springer
    9783642356322 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  5. Abbildung von: On Fuzziness - Springer
    Rudolf Seising | Enric Trillas | Claudio Moraga
    On Fuzziness
    A Homage to Lotfi A. Zadeh - Volume 1
    01/2013
    Springer
    9783642356414 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    149,79 €
    Als Download verfügbar
  6. Abbildung von: Fuzzy Semirings with Applications to Automata Theory - Springer
    Javed Ahsan | John N. Mordeson | Muhammad Shabir
    Fuzzy Semirings with Applications to Automata Theory
    03/2012
    Springer
    9783642276415 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    96,29 €
    Als Download verfügbar
  7. Abbildung von: Implementation and Application of Automata - Springer
    Nelma Moreira | Rogério Reis
    Implementation and Application of Automata
    17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings
    08/2012
    1. Aufl.1. Auflage
    Springer
    9783642316067 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  8. Abbildung von: Theory and Applications of Satisfiability Testing -- SAT 2012 - Springer
    Alessandro Cimatti | Roberto Sebastiani
    Theory and Applications of Satisfiability Testing -- SAT 2012
    15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
    06/2012
    Springer
    9783642316128 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  9. Abbildung von: Language and Automata Theory and Applications - Springer
    Adrian-Horia Dediu | Carlos Martín-Vide
    Language and Automata Theory and Applications
    6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012, Proceedings
    02/2012
    1. Aufl.1. Auflage
    Springer
    9783642283321 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  10. Abbildung von: Programming Languages and Systems - Springer
    Helmut Seidl
    Programming Languages and Systems
    21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings
    03/2012
    Springer
    9783642288692 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  11. Abbildung von: Artificial Neural Networks and Machine Learning -- ICANN 2012 - Springer
    Alessandro Villa | Wlodzislaw Duch | Peter Erdi
    Artificial Neural Networks and Machine Learning -- ICANN 2012
    22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part I
    09/2012
    Springer
    9783642332692 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  12. Abbildung von: Theory and Practice of Model Transformations - Springer
    Zhenjiang Hu | Juan De Lara
    Theory and Practice of Model Transformations
    5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings
    05/2012
    Springer
    9783642304767 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  13. Abbildung von: Formal Methods: Foundations and Applications - Springer
    Rohit Gheyi | David Naumann
    Formal Methods: Foundations and Applications
    15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
    09/2012
    Springer
    9783642332968 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    48,14 €
    Als Download verfügbar
  14. Abbildung von: PRICAI 2012: Trends in Artificial Intelligence - Springer
    Patricia Anthony | Mitsuru Ishizuka | Dickson Lukose
    PRICAI 2012: Trends in Artificial Intelligence
    12th Pacific Rim International Conference, Kuching, Malaysia, September 3-7, 2012. Proceedings
    08/2012
    Springer
    9783642326950 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  15. Abbildung von: Hybrid Artificial Intelligent Systems - Springer
    Emilio S. Corchado Rodriguez | Vaclav Snasel | Ajith Abraham
    Hybrid Artificial Intelligent Systems
    7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012, Proceedings, Part II
    03/2012
    Springer
    9783642289316 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  16. Abbildung von: Advances in Computational Intelligence, Part II - Springer
    Salvatore Greco | Bernadette Bouchon-Meunier | Giulianella Coletti
    Advances in Computational Intelligence, Part II
    14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9 - 13, 2012. Proceedings, Part II
    07/2012
    Springer
    9783642317156 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  17. Abbildung von: Advances in Computational Intelligence, Part IV - Springer
    Salvatore Greco | Bernadette Bouchon-Meunier | Giulianella Coletti
    Advances in Computational Intelligence, Part IV
    14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9 - 13, 2012. Proceedings, Part IV
    07/2012
    Springer
    9783642317248 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  18. Abbildung von: Software Composition - Springer
    Thomas Gschwind | Flavio de Paoli | Volker Gruhn
    Software Composition
    11th International Conference, SC 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings
    05/2012
    Springer
    9783642305641 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  19. Abbildung von: Reversible Computation - Springer
    Alexis De Vos | Robert Wille
    Reversible Computation
    Third International Workshop, Gent, Belgium, July 4-5, 2011, Revised Papers
    04/2012
    Springer
    9783642295171 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  20. Abbildung von: Advances in Natural Language Processing - Springer
    Hitoshi Isahara | Kyoko Kanzaki
    Advances in Natural Language Processing
    8th International Conference on NLP, JapTAL 2012, Kanazawa, Japan, October 22-24, 2012, Proceedings
    10/2012
    Springer
    9783642339837 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  2. 1
  3. …
  5. 228
  7. 230
  8. …
  9. 974