Showing 1 - 10 results of 10 for search '"Lecture notes in computer science (Springer-Verlag)"', query time: 0.04s Refine Results
  1. 1
    Formal hardware verification : methods and systems in comparison /
    Published 1997
    “…Lecture notes in computer science (Springer-Verlag)…”
    Book
  2. 2
    Randomness and completeness in computational complexity /
    by Melkebeek, Dieter Van
    Published 2000
    “…Lecture notes in computer science (Springer-Verlag)…”
    Book
  3. 3
    Parallel and distributed computing : theory and practice : first Canada-France conference, Montréal, Canada, May 19-21, 1994 : proceedings /
    Published 1994
    “…Lecture notes in computer science (Springer-Verlag)…”
    Conference Proceeding Book
  4. 4
    Software engineering : an advanced course /
    by Bauer, Friedrich Ludwiq 1924-
    Published 1977
    “…Lecture notes in computer science (Springer-Verlag)…”
    Book
  5. 5
    Optimization techniques : modeling and optimization in the service of man : proceedings, 7th IFIP Conference Nice, September 8-12, 1975 /
    Published 1976
    “…Lecture notes in computer science (Springer-Verlag)…”
    Conference Proceeding Book
  6. 6
    Automata, languages and programming : 12th Colloquium Nafplion, Greece July 15-19, 1985 /
    Published 1985
    “…Lecture notes in computer science (Springer-Verlag)…”
    Conference Proceeding Book
  7. 7
    Algorithms - ESA '95 : Third Annual European Symposium, Corfu, Greece, September 25-27, 1995 : proceedings /
    Published 1995
    “…Lecture notes in computer science (Springer-Verlag)…”
    Conference Proceeding Book
  8. 8
    Natural language processing - NLP 2000 : Second International Conference Patras, Greece, June 2–4 2000, Proceedings /
    Published 2000
    “…Lecture notes in computer science (Springer-Verlag)…”
    Book
  9. 9
    Performance tools and applications to networked systems : revised tutorial lectures /
    Published 2004
    “…Lecture notes in computer science (Springer-Verlag)…”
    Conference Proceeding Book
  10. 10
    E-commerce agents : marketplace solutions, security issues, and supply and demand /
    Published 2001
    “…Lecture notes in computer science (Springer-Verlag)…”
    Book
Search Tools: RSS Feed – Email Search