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: Computer Architecture - Springer
    Ana Lucia Varbanescu | Anca Molnos | Rob van Nieuwpoort
    Computer Architecture
    ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers
    02/2012
    Springer
    9783642243226 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  2. Abbildung von: Advances in Neural Networks - ISNN 2012 - Springer
    Jun Wang | Gary G. Yen | Marios M. Polycarpou
    Advances in Neural Networks - ISNN 2012
    9th International Symposium on Neural Networks, ISNN 2012, Shenyang, China, July 11-14, 2012. Proceedings, Part I
    07/2012
    Springer
    9783642313462 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  3. Abbildung von: Research in Cryptology - Springer
    Frederik Armknecht | Stefan Lucks
    Research in Cryptology
    4th Western European Workshop, WEWoRC 2011, Weimar, Germany, July 20-22, 2011, Revised Selected Papers
    10/2012
    Springer
    9783642341595 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    48,14 €
    Als Download verfügbar
  4. Abbildung von: Evolutionary and Biologically Inspired Music, Sound, Art and Design - Springer
    Penousal Machado | Juan J. Romero | Adrian Carballal
    Evolutionary and Biologically Inspired Music, Sound, Art and Design
    First International Conference, EvoMUSART 2012, Málaga, Spain, April 11-13, 2012, Proceedings
    03/2012
    1. Aufl.1. Auflage
    Springer
    9783642291425 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  5. Abbildung von: Rough Sets and Knowledge Technology - Springer
    Tianrui Li | Hung Son Nguyen | Guoyin Wang
    Rough Sets and Knowledge Technology
    7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012, Proceedings
    07/2012
    Springer
    9783642319006 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  6. Abbildung von: The NCL Natural Constraint Language - Springer
    Jianyang Zhou
    The NCL Natural Constraint Language
    12/2012
    1. Aufl.1. Auflage
    Springer
    9783642238451 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    149,79 €
    Als Download verfügbar
  7. Abbildung von: Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity - Springer
    Tai-hoon Kim | Carlos Ramos | Haeng-kon Kim
    Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity
    International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
    11/2012
    Springer
    9783642352676 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  8. Abbildung von: Computer Aided Verification - Springer
    Madhusudan Parthasarathy | Sanjit A. Seshia
    Computer Aided Verification
    24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
    06/2012
    1. Aufl.1. Auflage
    Springer
    9783642314247 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  9. Abbildung von: Coordination Models and Languages - Springer
    Marjan Sirjani
    Coordination Models and Languages
    14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012, Proceedings
    06/2012
    Springer
    9783642308291 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  10. Abbildung von: Software Service and Application Engineering - Springer
    Maritta Heisel
    Software Service and Application Engineering
    Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday
    06/2012
    Springer
    9783642308352 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  11. Abbildung von: From Animals to Animats 12 - Springer
    Tom Ziemke | Christian Balkenius | John Hallam
    From Animals to Animats 12
    12th International Conference on Simulation of Adaptive Behavior, SAB 2012, Odense, Denmark, August 27-30, 2012, Proceedings
    08/2012
    Springer
    9783642330933 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  12. Abbildung von: Certified Programs and Proofs - Springer
    Chris Hawblitzel | Dale Miller
    Certified Programs and Proofs
    Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
    11/2012
    Springer
    9783642353086 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  13. Abbildung von: Logic for Programming, Artificial Intelligence, and Reasoning - Springer
    Nikolaj Bjørner | Andrei Voronkov
    Logic for Programming, Artificial Intelligence, and Reasoning
    18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings
    03/2012
    Springer
    9783642287176 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  14. Abbildung von: Abstract State Machines, Alloy, B, VDM, and Z - Springer
    John Derrick | John Fitzgerald | Stefania Gnesi
    Abstract State Machines, Alloy, B, VDM, and Z
    Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
    06/2012
    Springer
    9783642308857 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  15. Abbildung von: Logic, Language and Meaning - Springer
    Maria Aloni | Vadim Kimmelman | Floris Roelofsen
    Logic, Language and Meaning
    18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011, Revised Selected Papers
    06/2012
    Springer
    9783642314827 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  16. Abbildung von: Incomplete Information System and Rough Set Theory - Springer
    Xibei Yang | Jingyu Yang
    Incomplete Information System and Rough Set Theory
    Models and Attribute Reductions
    12/2012
    1. Aufl.1. Auflage
    Springer
    9783642259357 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    96,29 €
    Als Download verfügbar
  17. Abbildung von: Static Analysis - Springer
    Antoine Mine | David Schmidt
    Static Analysis
    19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
    08/2012
    1. Aufl.1. Auflage
    Springer
    9783642331251 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  18. Abbildung von: Mathematics of Discrete Structures for Computer Science - Springer
    Gordon J. Pace
    Mathematics of Discrete Structures for Computer Science
    09/2012
    Springer
    9783642298400 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    48,10 €
    Als Download verfügbar
  19. Abbildung von: Resilience Assessment and Evaluation of Computing Systems - Springer
    Katinka Wolter | Alberto Avritzer | Marco Vieira
    Resilience Assessment and Evaluation of Computing Systems
    11/2012
    Springer
    9783642290329 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    96,29 €
    Als Download verfügbar
  20. Abbildung von: Computer Performance Engineering - Springer
    Nigel Thomas
    Computer Performance Engineering
    8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, The English Lake District, October 12-13,2011, Proceedings
    01/2012
    Springer
    9783642247491 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  2. 1
  3. …
  5. 230
  7. 232
  8. …
  9. 974