Search Results - "Computer science"

Refine Results
  1. 1
    Conference Proceeding
    Conference Proceeding

    Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 ; revised tutorial lectures

    Published 2009
    “…Lecture notes in computer science ;…”
  2. 2
    Conference Proceeding
    Conference Proceeding

    Algorithms and data structures : 8th international workshop, WADS 2003, Ottawa, Ontario, Canada, July 30-August 1, 2003 : proceedings

    Published 2003
    “…Lecture notes in computer science . ;…”
  3. 3
  4. 4
    Book
    Book

    Guide to reliable distributed systems : building high-assurance applications and cloud-hosted services / by Birman, Kenneth P.

    Published 2012
    “…Texts in computer science (Springer)…”
  5. 5
    Conference Proceeding
    Conference Proceeding

    ECOOP 2002-object-oriented programming : 16th European Conference, Málaga, Spain, June 10-14, 2002 : proceedings /

    Published 2002
    “…Lecture notes in computer science…”
  6. 6
    Conference Proceeding
    Conference Proceeding

    ECOOP 2003 - Object-oriented programmings : 17th European conference, Darmstadt, Germany, july 2003 Proceedings /

    Published 2003
    “…Lecture notes in computer science…”
  7. 7
  8. 8
    Conference Proceeding
    Conference Proceeding

    Digital cities : technologies, experiences, and future perspectives

    Published 2000
    “…Lecture notes in computer science (Springer),…”
  9. 9
    Conference Proceeding
    Conference Proceeding

    Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proc...

    Published 2003
    “…Lecture notes in computer science (Springer). ;…”
  10. 10
    Conference Proceeding
    Conference Proceeding

    Logical foundations of computer science : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings

    Published 2007
    “…Lecture notes in computer science (Springer) . ;…”
  11. 11
    Conference Proceeding
    Conference Proceeding

    CONCUR 2003 - concurrency theory : 14th international conference, Marseille, France, September 3-5, 2003 : proceedings

    Published 2003
    “…Lecture notes in computer science (Springer). ;…”
  12. 12
    Conference Proceeding
    Conference Proceeding

    Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice...

    Published 2003
    “…Lecture notes in computer science (Springer). ;…”
  13. 13
    Conference Proceeding
    Conference Proceeding

    Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings

    Published 2000
    “…Lecture notes in computer science (Springer).…”
  14. 14
    Conference Proceeding
    Conference Proceeding

    Object-oriented information systems : 8th International Conference, OOIS 2002, Montpellier, France, September 2-5, 2002 : proceedings /

    Published 2002
    “…Lecture notes in computer science…”
  15. 15
    Book
    Book

    Mathematical foundations of computer science . by Fejer, Peter A

    Published 1991
    “…Texts and monographs in computer science (Springer-Verlag).…”
  16. 16
    Book
    Book

    Elements of functional programming by Reade, Chris

    Published 1989
    “…International computer science series (Addison-Wesley).…”
  17. 17
    Book
    Book

    Theoretical computer science : introduction to automata, computability, complexity, algorithmics, randomization, communication and cryptography by Hromkovic, Juraj

    Published 2004
    “…Texts in theoretical computer science, an EATCS series.…”
  18. 18
    Book
    Book

    Constraint programming languages : their specification and generation by Leler, Wm (William)

    Published 1988
    “…Addison-Wesley series in computer science (Addison-Wesley).…”
  19. 19
    Conference Proceeding
    Conference Proceeding

    Model driven engineering languages and systems : 9th international conference, MoDELS 2006, Genova, Italy, October 1-6, 2006 : proceedings /

    Published 2006
    “…Lecture notes in computer science…”


  20. 20
    Book
    Book

    The 68000 microprocessor : hardware and software : principles and applications by Antonakos, James L

    Published 1990
    “…Computer science…”