Showing 1 - 20 results of 60 for search '', query time: 0.10s Refine Results
  1. 1
    Graph-theoretic concepts in computer science : 30th International Workshop, WG 2004, Bad Honnef, Germany, June 21-23, 2004 : revised papers

    Graph-theoretic concepts in computer science : 30th International Workshop, WG 2004, Bad Honnef, Germany, June 21-23, 2004 : revised papers

    Berlin ; New York : Springer, 2004
    Format: Conference Proceeding Book


    Save to List
    Saved in:
  2. 2
    Implementation and application of automata : 9th international conference, CIAA 2004, Kingston, Canada, July 22-24, 2004 : revised selected papers

    Implementation and application of automata : 9th international conference, CIAA 2004, Kingston, Canada, July 22-24, 2004 : revised selected papers

    Berlin ; New York : Springer, 2005
    Format: Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  3. 3
    Pure mathematics

    Pure mathematics by Turing, Alan, 1912-1954

    Amsterdam ; New York : New York, NY, U.S.A. : North-Holland ; Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1992
    Format: Book


    Save to List
    Saved in:
  4. 4
    LATIN 2006 : theoretical informatics : 7th Latin American symposium, Valdivia, Chile, March 20-24, 2006 : proceedings

    LATIN 2006 : theoretical informatics : 7th Latin American symposium, Valdivia, Chile, March 20-24, 2006 : proceedings

    Berlin ; New York : Springer, 2006
    Format: Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  5. 5
    Foundations of computer science

    Foundations of computer science by Aho, Alfred V.

    New York : Computer Science Press, 1995
    C ed.
    Format: Book


    Save to List
    Saved in:
  6. 6
    Mathematical foundations of computer science. Volume 1, Sets, relations, and induction

    Mathematical foundations of computer science. Volume 1, Sets, relations, and induction by Fejer, Peter A., Simovici, Dan A.

    New York : Springer-Verlag, 1991
    Format: Book


    Save to List
    Saved in:
  7. 7
    Algebra and coalgebra in computer science : first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings

    Algebra and coalgebra in computer science : first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings

    Berlin ; New York : Springer, 2005
    Format: Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  8. 8
    Theoretical computer science : 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003 : proceedings

    Theoretical computer science : 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003 : proceedings

    Berlin ; New York : Springer, 2003
    Format: Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  9. 9
    Machines, computations, and universality : 4th international conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004 ; revised selected papers

    Machines, computations, and universality : 4th international conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004 ; revised selected papers

    Berlin : Springer, 2005
    Format: Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  10. 10
    Reasoning about knowledge

    Reasoning about knowledge

    Cambridge, Mass. : MIT Press, 1995
    Format: Book


    Save to List
    Saved in:
  11. 11
    The (new) Turing omnibus : 66 excursions in computer science

    The (new) Turing omnibus : 66 excursions in computer science by Dewdney, A. K.

    New York : Henry Holt, 2001
    1st Holt paperback ed.
    Format: Book


    Save to List
    Saved in:
  12. 12
    Foundations of computing : system development with set theory and logic

    Foundations of computing : system development with set theory and logic by Scheurer, Thierry

    Wokingham, England ; Reading, Mass. : Addison-Wesley, 1994
    Format: Book


    Save to List
    Saved in:
  13. 13
    People & ideas in theoretical computer science

    People & ideas in theoretical computer science

    Singapore ; New York : Auckland, N.Z. : Springer ; Centre for Discrete Mathematics & Theoretical Computer Science, 1999
    Format: Book


    Save to List
    Saved in:
  14. 14
    Implementation and application of automata : 5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papers

    Implementation and application of automata : 5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papers

    Berlin ; New York : Springer, 2001
    Format: Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  15. 15
    Cryptography, information theory, and error-correction : a handbook for the 21st century

    Cryptography, information theory, and error-correction : a handbook for the 21st century by Bruen, Aiden A., 1941-

    Hoboken, N.J. : Wiley-Interscience, 2005
    Format: Book


    Save to List
    Saved in:
  16. 16
    Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday

    Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday

    Berlin ; New York, NY : Springer, 2004
    Format: Electronic eBook
    Save to List
    Saved in:
  17. 17
    Verification : theory and practice : essays delivered to Zohar Manna on the occasion of his 64th birthday

    Verification : theory and practice : essays delivered to Zohar Manna on the occasion of his 64th birthday

    Berlin ; New York : Springer-Verlag, 2003
    Format: Electronic eBook
    Save to List
    Saved in:
  18. 18
    Theoretical computer science : essays in memory of Shimon Even

    Theoretical computer science : essays in memory of Shimon Even

    Berlin ; New York : Springer, 2006
    Format: Book


    Save to List
    Saved in:
  19. 19
    Languages and machines : an introduction to the theory of computer science

    Languages and machines : an introduction to the theory of computer science by Sudkamp, Thomas A.

    Reading, Mass. : Addison-Wesley, 1988
    Format: Book


    Save to List
    Saved in:
  20. 20
    Language equations

    Language equations by Leiss, Ernst L., 1952-

    New York : Springer, 1999
    Format: Book


    Save to List
    Saved in:

Search Tools: