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

Ihre Suche nach Theoretische Informatik

  1. Abbildung von: Ideen der Informatik - De Gruyter Oldenbourg
    Uwe Schöning
    Ideen der Informatik
    Grundlegende Modelle und Konzepte der Theoretischen Informatik
    12/2009
    3. Aufl.3. Auflage
    De Gruyter Oldenbourg
    9783486594058 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    59,95 €
    Als Download verfügbar
  2. Abbildung von: Principles of Program Analysis - Springer
    Flemming Nielson | Hanne R. Nielson | Chris Hankin
    Principles of Program Analysis
    02/2015
    Springer
    9783662038116 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  3. Abbildung von: Program Design Calculi - Springer
    Manfred Broy
    Program Design Calculi
    12/2013
    Springer
    9783662028803 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    213,99 €
    Als Download verfügbar
  4. Abbildung von: Declarative Programming, Sasbachwalden 1991 - Springer
    John Darlington | Roland Dietrich
    Declarative Programming, Sasbachwalden 1991
    PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991
    12/2013
    Springer
    9781447137948 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  5. Abbildung von: Automata, Languages and Programming - Springer
    J. Loeckx
    Automata, Languages and Programming
    2nd Colloquium, University of Saarbrücken, July 29 - August 2, 1974. Proceedings
    12/2013
    Springer
    9783662215456 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    42,79 €
    Als Download verfügbar
  6. Abbildung von: Practical Aspects of Design Science - Springer
    Markus Helfert | Brian Donnellan
    Practical Aspects of Design Science
    European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers
    09/2012
    Springer
    9783642336812 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  7. Abbildung von: Mathematische Probleme lösen mit Maple - Springer
    Thomas Westermann
    Mathematische Probleme lösen mit Maple
    Ein Kurzeinstieg
    09/2010
    4. Aufl.4. Auflage
    Springer
    9783642121517 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    9,99 €
    Als Download verfügbar
  8. Abbildung von: Theory and Principled Methods for the Design of Metaheuristics - Springer
    Yossi Borenstein | Alberto Moraglio
    Theory and Principled Methods for the Design of Metaheuristics
    Natural Computing Series
    12/2013
    1. Aufl.1. Auflage
    Springer
    9783642332067 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  9. Abbildung von: Verification of Business Rules Programs - Springer
    Bruno Berstel-Da Silva
    Verification of Business Rules Programs
    12/2013
    Springer
    9783642400384 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  10. Abbildung von: Technological Innovation for Value Creation - Springer
    Luis M. Camarinha-Matos | Ehsan Shahamatnia | Gonçalo Nunes
    Technological Innovation for Value Creation
    Third IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2012, Costa de Caparica, Portugal, February 27-29, 2012, Proceedings
    02/2012
    Springer
    9783642282553 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    96,29 €
    Als Download verfügbar
  11. Abbildung von: Automatentheorie und Logik - Springer
    Martin Hofmann | Martin Lange
    Automatentheorie und Logik
    03/2011
    Springer
    9783642180903 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    9,99 €
    Als Download verfügbar
  12. Abbildung von: Fault-Tolerant Search Algorithms - Springer
    Ferdinando Cicalese
    Fault-Tolerant Search Algorithms
    Reliable Computation with Unreliable Information
    11/2013
    1. Aufl.1. Auflage
    Springer
    9783642173271 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  13. Abbildung von: Kanban für die Softwareentwicklung - Springer
    Thomas Epping
    Kanban für die Softwareentwicklung
    08/2011
    Springer
    9783642225956 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    6,99 €
    Als Download verfügbar
  14. Abbildung von: Model Driven SOA - Springer
    Gerhard Rempp | Mark Akermann | Martin Löffler
    Model Driven SOA
    Anwendungsorientierte Methodik und Vorgehen in der Praxis
    08/2011
    Springer
    9783642144707 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    40,46 €
    Als Download verfügbar
  15. Abbildung von: Form der wissenschaftlichen Ausarbeitung - Springer
    Tilo Gockel
    Form der wissenschaftlichen Ausarbeitung
    Studienarbeit, Diplomarbeit, Dissertation, Konferenzbeitrag
    08/2010
    2. Aufl.2. Auflage
    Springer
    9783642139079 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    6,99 €
    Als Download verfügbar
  16. Abbildung von: Language, Culture, Computation: Computing - Theory and Technology - Springer
    Nachum Dershowitz | Ephraim Nissan
    Language, Culture, Computation: Computing - Theory and Technology
    Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part I
    12/2014
    Springer
    9783642453212 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  17. Abbildung von: Transactions on Computational Science XXI - Springer
    Marina L. Gavrilova | C.J. Kenneth Tan | Ajith Abraham
    Transactions on Computational Science XXI
    Special Issue on Innovations in Nature-Inspired Computing and Applications
    11/2013
    Springer
    9783642453182 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  18. Abbildung von: Evaluation of Novel Approaches to Software Engineering - Springer
    Leszek A. Maciaszek | Joaquim Filipe
    Evaluation of Novel Approaches to Software Engineering
    7th International Conference, ENASE 2012, Wroclaw, Poland, June 29-30, 2012, Revised Selected Papers
    12/2013
    Springer
    9783642454226 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  19. Abbildung von: Verified Software: Theorie, Tools, Experiments - Springer
    Ernie Cohen | Andrey Rybalchenko
    Verified Software: Theorie, Tools, Experiments
    5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
    01/2014
    Springer
    9783642541087 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  20. Abbildung von: People, Problems, and Proofs - Springer
    Richard J. Lipton | Kenneth W. Regan
    People, Problems, and Proofs
    Essays from Gödel's Lost Letter: 2010
    12/2013
    Springer
    9783642414220 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    48,14 €
    Als Download verfügbar
  2. 1
  3. …
  5. 171
  7. 173
  8. …
  9. 973