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: Parallel Problem Solving from Nature -- PPSN XIII - Springer
    Thomas Bartz-Beielstein | Juergen Branke | Bogdan Filipic
    Parallel Problem Solving from Nature -- PPSN XIII
    13th International Conference, Ljubljana, Slovenia, September 13-17,2014, Proceedings
    09/2014
    Springer
    9783319107622 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    96,29 €
    Als Download verfügbar
  2. Abbildung von: System Analysis and Modeling: Models and Reusability - Springer
    Daniel Amyot | Pau Fonseca i Casas | Gunter Mussbacher
    System Analysis and Modeling: Models and Reusability
    8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
    09/2014
    Springer
    9783319117430 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  3. Abbildung von: Reachability Problems - Springer
    Joel Ouaknine | Igor Potapov | James Worrell
    Reachability Problems
    8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings
    09/2014
    Springer
    9783319114392 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    50,28 €
    Als Download verfügbar
  4. Abbildung von: Cellular Automata - Springer
    Jaroslaw Was | Georgios Sirakoulis | Stefania Bandini
    Cellular Automata
    11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings
    09/2014
    Springer
    9783319115207 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  5. Abbildung von: Logics in Artificial Intelligence - Springer
    Eduardo Fermé | Joao Leite
    Logics in Artificial Intelligence
    14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings
    09/2014
    Springer
    9783319115580 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  6. Abbildung von: Post-Quantum Cryptography - Springer
    Michele Mosca
    Post-Quantum Cryptography
    6th International Workshop, PQCrypto 2014, Waterloo, ON, Canada, October 1-3, 2014. Proceedings
    09/2014
    Springer
    9783319116594 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  7. Abbildung von: Biometric Technology - Routledge
    Ravi Das
    Biometric Technology
    Authentication, Biocryptography, and Cloud-Based Architecture
    11/2014
    1. Aufl.1. Auflage
    Routledge
    9781466592469 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    85,39 €
    Als Download verfügbar
  8. Abbildung von: Medical Image Processing - CRC Press
    Tamalika Chaira
    Medical Image Processing
    Advanced Fuzzy Set Theoretic Techniques
    01/2015
    CRC Press
    9781498700474 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    64,49 €
    Als Download verfügbar
  9. Abbildung von: Foundational and Practical Aspects of Resource Analysis - Springer
    Ugo Dal Lago | Ricardo Peña
    Foundational and Practical Aspects of Resource Analysis
    Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
    10/2014
    Springer
    9783319124667 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    42,79 €
    Als Download verfügbar
  10. Abbildung von: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - Springer
    Tiziana Margaria | Bernhard Steffen
    Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
    6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
    09/2014
    Springer
    9783662452318 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  11. Abbildung von: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - Springer
    Tiziana Margaria | Bernhard Steffen
    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
    6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
    09/2014
    Springer
    9783662452349 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  12. Abbildung von: Transmitting and Gaining Data - Springer
    Rudolf Ahlswede | Alexander Ahlswede | Ingo Althöfer
    Transmitting and Gaining Data
    Rudolf Ahlswede's Lectures on Information Theory 2
    11/2014
    Springer
    9783319125237 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  13. Abbildung von: Shape Reconstruction from Apparent Contours - Springer
    Giovanni Bellettini | Valentina Beorchia | Maurizio Paolini
    Shape Reconstruction from Apparent Contours
    Theory and Algorithms
    02/2015
    1. Aufl.1. Auflage
    Springer
    9783662451915 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  14. Abbildung von: Semantics of Probabilistic Processes - Springer
    Yuxin Deng
    Semantics of Probabilistic Processes
    An Operational Approach
    02/2015
    Springer
    9783662451984 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  15. Abbildung von: Homomorphic Encryption and Applications - Springer
    Xun Yi | Russell Paulet | Elisa Bertino
    Homomorphic Encryption and Applications
    11/2014
    1. Aufl.1. Auflage
    Springer
    9783319122298 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    80,24 €
    Als Download verfügbar
  16. Abbildung von: Model-Based Safety and Assessment - Springer
    Frank Ortmeier | Antoine Rauzy
    Model-Based Safety and Assessment
    4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings
    09/2014
    Springer
    9783319122144 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    50,28 €
    Als Download verfügbar
  17. Abbildung von: Artificial Intelligence Tools - CRC Press
    Diego Galar Pascual
    Artificial Intelligence Tools
    Decision Support Systems in Condition Monitoring and DIagnosis
    04/2015
    CRC Press
    9781466584068 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    64,49 €
    Als Download verfügbar
  18. Abbildung von: Interdisciplinary Topics in Applied Mathematics, Modeling and Computational Science - Springer
    Monica G. Cojocaru | Ilias S. Kotsireas | Roman N. Makarov
    Interdisciplinary Topics in Applied Mathematics, Modeling and Computational Science
    07/2015
    1. Aufl.1. Auflage
    Springer
    9783319123073 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    96,29 €
    Als Download verfügbar
  19. Abbildung von: Advances in Artificial Intelligence -- IBERAMIA 2014 - Springer
    Ana L.C. Bazzan | Karim Pichara
    Advances in Artificial Intelligence -- IBERAMIA 2014
    14th Ibero-American Conference on AI, Santiago de Chile, Chile, November 24-27, 2014, Proceedings
    11/2014
    Springer
    9783319120270 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  20. Abbildung von: Verified Software: Theories, Tools and Experiments - Springer
    Dimitra Giannakopoulou | Daniel Kroening
    Verified Software: Theories, Tools and Experiments
    6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
    10/2014
    Springer
    9783319121543 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    50,28 €
    Als Download verfügbar
  2. 1
  3. …
  5. 161
  7. 163
  8. …
  9. 973