Showing 1 - 20 results of 253 for search '', query time: 0.04s Refine Results
  1. 1
    Introduction to Evolutionary Computing
    by Eiben, A.E, Smith, J.E
    Published in Springer eBooks (2015)
    Get full text
    eBook
  2. 2
    CryptoSchool
    by von zur Gathen, Joachim
    Published in Springer eBooks (2015)
    Get full text
    eBook
  3. 3
    Petri Net Synthesis
    Get full text
    eBook
  4. 4
    Graph and Model Transformation General Framework and Applications /
    Get full text
    eBook
  5. 5
    Higher-Order Computability
    by Longley, John, Normann, Dag
    Published in Springer eBooks (2015)
    Get full text
    eBook
  6. 6
    Advances in Cryptology -- ASIACRYPT 2015 21st International Conference on the Theory and Application of Cryptology and Information Security,Auckland, New Zealand, November 29 -- December 3, 2015, Proceedings, Part I /
    Published in Springer eBooks (2015)
    Get full text
    eBook
  7. 7
    Programming Languages and Operational Semantics A Concise Overview /
    by Fernández, Maribel
    Published in Springer eBooks (2014)
    Get full text
    eBook
  8. 8
    Carl Adam Petri Life and Science /
    by Smith, Einar
    Published in Springer eBooks (2015)
    Get full text
    eBook
  9. 9
    Advances in Cryptology – ASIACRYPT 2015 21st International Conference on the Theory and Application of Cryptology and Information Security, Auckland, New Zealand, November 29 -- December 3, 2015, Proceedings, Part II /
    Published in Springer eBooks (2015)
    Get full text
    eBook
  10. 10
    The Universe as Automaton From Simplicity and Symmetry to Complexity /
    by Mainzer, Klaus, Chua, Leon
    Published in Springer eBooks (2012)
    Get full text
    eBook
  11. 11
    Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures /
    Published in Springer eBooks (2013)
    Get full text
    eBook
  12. 12
    Principles of the Spin Model Checker
    by Ben-Ari, Mordechai
    Published in Springer eBooks (2008)
    Get full text
    eBook
  13. 13
    Shared Memory Parallel Programming with Open MP 5th International Workshop on Open MP Application and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004
    by Chapman, Barbara M.
    Published in Springer e-books (2005)
    Get full text
    eBook
  14. 14
    Applications of Membrane Computing
    by Ciobanu, Gabriel
    Published in Springer e-books (2006)
    Get full text
    eBook
  15. 15
    STACS 2005 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2004, Proceedings
    by Diekert, Volker
    Published in Springer e-books (2005)
    Get full text
    eBook
  16. 16
    Robust Intelligent Systems
    by Schuster, Alfons
    Published in Springer eBooks (2009)
    Get full text
    eBook
  17. 17
    High Performance Computing for Computational Science - VECPAR 2004 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers
    Published in Springer e-books (2005)
    Get full text
    eBook
  18. 18
    Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3-15 August 2004 /
    by Broy, Manfred
    Published in Springer e-books (2005)
    Get full text
    eBook
  19. 19
    SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján Slovakia, January 22-28, 2005, Proceedings
    by Bieliková, Mária
    Published in Springer e-books (2005)
    Get full text
    eBook
  20. 20
    Parameterized Complexity Theory
    by Flum, Jörg
    Published in Springer e-books (2006)
    Get full text
    eBook
Search Tools: Get RSS Feed