Search Results - "theoretical computer science"

Suggested Topics within your search.
  • Showing 1 - 7 results of 7
Refine Results
  1. 1
    Automata theory in theoretical computer science [

    Automata theory in theoretical computer science [ by Jensen, Tomas

    Published 2012
    Research World
  2. 2
    Stochastic coalgebraic logic

    Stochastic coalgebraic logic by Doberkat, Ernst-Erich

    Published 2010
    “…Monographs in theoretical computer science an eatcs series…”
  3. 3
    Formal methods and hybrid real-time systems essays in honour of Dines Bjorner and Zhou Chaochen on the occasion of their 70th birthdays

    Formal methods and hybrid real-time systems essays in honour of Dines Bjorner and Zhou Chaochen on the occasion of their 70th birthdays by Bjorner, D. (Dines) 1937-, Zhou, Chaochen 1937-

    Published 2007
    “…LNCS sublibrary. Theoretical computer science and general issues…”
    Table of contents
  4. 4
    Computers and games 5th international conference, CG 2006, Turin, Italy, May 29-31, 2006: revised papers

    Computers and games 5th international conference, CG 2006, Turin, Italy, May 29-31, 2006: revised papers by Ciancarini, Paolo 1959-, Donkers, H. H. L. M., Herik, Jaap van den

    Published 2007
    “…LNCS sublibrary Theoretical computer science and general issues…”
  5. 5
    Foundations of algebraic specification and formal software development

    Foundations of algebraic specification and formal software development by Sannella, Donald 1956-, Tarlecki, Andrzej

    Published 2012
    “…Monographs in theoretical computer science…”
  6. 6
    Algorithmics of matching under preferences

    Algorithmics of matching under preferences by Manlove, David F., Mehlhorn, Kurt , 1949-

    Published 2013
    “…Series on theoretical computer science…”
  7. 7
    Computer science -- theory and applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedings

    Computer science -- theory and applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedings by Diekert, Volker 1955-, Volkov, Mikhail V., Voronkov, A. (Andrei), 1959-

    Published 2007
    “…LNCS sublibrary. SL 1, Theoretical computer science and general issues…”

Search Tools: