Search Results - "theoretical computer science"

Suggested Topics within your search.
  • Showing 1 - 9 results of 9
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…”
  8. 8
    Handbook of computer science [

    Handbook of computer science [ by Forrest, Shirlee

    Published 2012
    Table of Contents: “…History of computer science -- 4. Theoretical computer science -- 5. Software engineering -- 6. …”
    Learning Press
  9. 9
    Computer science : the hardware, software and heart of it

    Computer science : the hardware, software and heart of it by Aho, Alfred V., Blum, E. K. [ (Edward K.)] , 1923-

    Published 2011

Search Tools: