Suggested Topics within your search.
Showing 121 - 140 results of 400 for search '"Lecture notes in computer science,"', query time: 0.04s Refine Results
  1. 121
    CONCUR - 2007 : Concurrency Theory : 18th International Conference, CONCUR 2007 Lisbon, Portugal, September 3-8, 2007 : Proceedings /

    CONCUR - 2007 : Concurrency Theory : 18th International Conference, CONCUR 2007 Lisbon, Portugal, September 3-8, 2007 : Proceedings /

    Published 2007
    “…Lecture notes in computer science ;…”
    Conference Proceeding eBook
  2. 122
    Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : Proceedings /

    Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : Proceedings /

    Published 2007
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  3. 123
    Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 ; revised tutorial lectures /

    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,…”
    Conference Proceeding Book
  4. 124
    Typed lambda calculi and applications : 9th International Conference, TICA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings /

    Typed lambda calculi and applications : 9th International Conference, TICA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings /

    Published 2009
    “…Lecture notes in computer science,…”
    Conference Proceeding Book
  5. 125
    Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings /

    Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings /

    Published 2012
    “…Lecture notes in computer science ;…”
    Book
  6. 126
    Symbolic and algebraic computation /

    Symbolic and algebraic computation /

    Published 1989
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  7. 127
    Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013 : proceedings /

    Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013 : proceedings /

    Published 2013
    “…Lecture notes in computer science ;…”
    Book
  8. 128
    Parallel computing technologies : Proceedings /

    Parallel computing technologies : Proceedings /

    Published 1995
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  9. 129
    A concurrent Pascal compiler for minicomputers /

    A concurrent Pascal compiler for minicomputers / by Hartmann, Alfred C., 1948-

    Published 1977
    “…Lecture notes in computer science ;…”
    Book
  10. 130
    Mathematical foundations of computer science 1977 : Proceedings /

    Mathematical foundations of computer science 1977 : Proceedings /

    Published 1977
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  11. 131
    Word equations and related topics /

    Word equations and related topics /

    Published 1992
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  12. 132
    Conditional term rewriting systems /

    Conditional term rewriting systems /

    Published 1993
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  13. 133
    Matrix eigensystem routines -EISPACK guide extension /

    Matrix eigensystem routines -EISPACK guide extension /

    Published 1977
    “…Lecture notes in computer science ;…”
    Book
  14. 134
    Advances in spatial databases /

    Advances in spatial databases /

    Published 1995
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  15. 135
    Graph grammars and their application to computer science /

    Graph grammars and their application to computer science /

    Published 1996
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  16. 136
    Fundamentals of computation theory : 0th international conference, FCT '95, Dresden, Germany, August 1995 : proceedings /

    Fundamentals of computation theory : 0th international conference, FCT '95, Dresden, Germany, August 1995 : proceedings /

    Published 1995
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  17. 137
    Memory management : International workshop IWMM '95 Kinross, UK, September 1995 : proceeding /

    Memory management : International workshop IWMM '95 Kinross, UK, September 1995 : proceeding /

    Published 1995
    “…Lecture notes in computer science ;…”
    Book
  18. 138
    Database and expert systems applications : 6th International Coonference, DEXA' 95 London, United Kingdom, September 1995 Proceeding /

    Database and expert systems applications : 6th International Coonference, DEXA' 95 London, United Kingdom, September 1995 Proceeding /

    Published 1995
    “…Lecture notes in computer science ;…”
    Book
  19. 139
    Image analysis and processing : Proceedings /

    Image analysis and processing : Proceedings /

    Published 1995
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  20. 140
    Distributed algorithms : 9th international workshop, WDAG '95, Le-Mont-Saint-Michel, France, September 13-15, 1995 : proceedings /

    Distributed algorithms : 9th international workshop, WDAG '95, Le-Mont-Saint-Michel, France, September 13-15, 1995 : proceedings /

    Published 1995
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book

Search Tools: