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: Automata and Languages - Springer
    Alexander Meduna
    Automata and Languages
    Theory and Applications
    12/2012
    Springer
    9781447105015 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    106,99 €
    Als Download verfügbar
  2. Abbildung von: Industrial-Strength Formal Methods in Practice - Springer
    Michael G. Hinchey | Jonathan P. Bowen
    Industrial-Strength Formal Methods in Practice
    12/2012
    Springer
    9781447105237 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    149,79 €
    Als Download verfügbar
  3. Abbildung von: Tools for Working with Guidelines - Springer
    Jean Vanderdonckt | Christelle Farenc
    Tools for Working with Guidelines
    Annual Meeting of the Special Interest Group
    12/2012
    Springer
    9781447102793 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    149,79 €
    Als Download verfügbar
  4. Abbildung von: Business Process Modelling with ARIS - Springer
    Rob Davis
    Business Process Modelling with ARIS
    A Practical Guide
    12/2012
    Springer
    9781447103219 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    96,29 €
    Als Download verfügbar
  5. Abbildung von: User-Centred Requirements Engineering - Springer
    Alistair Sutcliffe
    User-Centred Requirements Engineering
    12/2012
    Springer
    9781447102175 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  6. Abbildung von: Self-Organising Neural Networks - Springer
    Mark Girolami
    Self-Organising Neural Networks
    Independent Component Analysis and Blind Source Separation
    12/2012
    Springer
    9781447108252 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    96,29 €
    Als Download verfügbar
  7. Abbildung von: Stability and Stabilization of Infinite Dimensional Systems with Applications - Springer
    Zheng-Hua Luo | Bao-Zhu Guo | Ömer Morgül
    Stability and Stabilization of Infinite Dimensional Systems with Applications
    12/2012
    Springer
    9781447104193 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    213,99 €
    Als Download verfügbar
  8. Abbildung von: Computer Graphics through Key Mathematics - Springer
    Huw Jones
    Computer Graphics through Key Mathematics
    12/2012
    Springer
    9781447102977 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    90,94 €
    Als Download verfügbar
  9. Abbildung von: Practical Software Reuse - Springer
    Michel Ezran | Maurizio Morisio | Colin Tully
    Practical Software Reuse
    12/2012
    Springer
    9781447101413 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  10. Abbildung von: Program Development by Refinement - Springer
    Emil Sekerinski | Kaisa Sere
    Program Development by Refinement
    Case Studies Using the B Method
    12/2012
    Springer
    9781447105855 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    213,99 €
    Als Download verfügbar
  11. Abbildung von: Collision-Based Computing - Springer
    Andrew Adamatzky
    Collision-Based Computing
    12/2012
    Springer
    9781447101291 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    96,29 €
    Als Download verfügbar
  12. Abbildung von: Software Specification Methods - Springer
    Marc Frappier | Henri Habrias
    Software Specification Methods
    An Overview Using a Case Study
    12/2012
    Springer
    9781447107019 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    96,29 €
    Als Download verfügbar
  13. Abbildung von: Theory and Formal Methods 1993 - Springer
    Geoffrey Burn | Simon Gay | Mark Ryan
    Theory and Formal Methods 1993
    Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993
    12/2012
    Springer
    9781447135036 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  14. Abbildung von: Asynchronous Digital Circuit Design - Springer
    Graham Birtwistle | Alan Davis
    Asynchronous Digital Circuit Design
    04/2013
    Springer
    9781447135753 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  15. Abbildung von: Functional Programming, Glasgow 1994 - Springer
    Kevin Hammond | David N. Turner | Patrick M. Sansom
    Functional Programming, Glasgow 1994
    Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994
    03/2013
    Springer
    9781447135739 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    96,29 €
    Als Download verfügbar
  16. Abbildung von: New Soft Computing Techniques for System Modeling, Pattern Classification and Image Processing - Springer
    Leszek Rutkowski
    New Soft Computing Techniques for System Modeling, Pattern Classification and Image Processing
    03/2013
    Springer
    9783540400462 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    149,79 €
    Als Download verfügbar
  17. Abbildung von: Designing Evolutionary Algorithms for Dynamic Environments - Springer
    Ronald W. Morrison
    Designing Evolutionary Algorithms for Dynamic Environments
    06/2013
    Springer
    9783662065600 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  18. Abbildung von: Elements of Distributed Algorithms - Springer
    Wolfgang Reisig
    Elements of Distributed Algorithms
    Modeling and Analysis with Petri Nets
    04/2013
    Springer
    9783662036877 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    39,58 €
    Als Download verfügbar
  19. Abbildung von: Computational Conflicts - Springer
    Heinz J. Müller | Rose Dieng
    Computational Conflicts
    Conflict Modeling for Distributed Intelligent Systems
    12/2012
    Springer
    9783642569807 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  20. Abbildung von: Algorithmics for Hard Problems - Springer
    Juraj Hromkovic
    Algorithmics for Hard Problems
    Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics
    03/2013
    2. Aufl.2. Auflage
    Springer
    9783662052693 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    69,54 €
    Als Download verfügbar
  2. 1
  3. …
  5. 207
  7. 209
  8. …
  9. 974