Suggested Topics within your search.
Showing 81 - 100 results of 258 for search '"Lecture notes in computer science ;"' Refine Results
  1. 81
    Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings / Dennis Dams ... [et al.], (eds.).
    Published 1999
    “...Lecture notes in computer science,...”
    Book
    Save to List
    Saved in:
  2. 82
    Semantics, applications, and implementation of program generation : second international workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings / Walid Taha (ed.).
    Published 2001
    “...Lecture notes in computer science,...”
    Book
    Save to List
    Saved in:
  3. 83
    Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 2000 : proceedings / Roland Backhouse, Jos e Nuno Oliveira (eds.).
    Published 2000
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
  4. 84
    Informatics : 10 years back, 10 years ahead / Reinhard Wilhelm (ed.).
    Published 2001
    “...Lecture notes in computer science,...”
    Book
    Save to List
    Saved in:
  5. 85
    Field-programmable logic and applications : the roadmap to reconfigurable computing : 10th International Conference, FPL 2000, Villach, Austria, August 27-30, 2000 : proceedings / Reiner W. Hartenstein, Herbert Gr unbacher (eds.).
    Published 2000
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
  6. 86
    Field-programmable logic and applications : 11th international conference, FPL 2001, Belfast, Northern Ireland, UK, August 27-29, 2001 : proceedings / Gordon Brebner, Roger Woods (eds.).
    Published 2001
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
  7. 87
    Computing and combinatorics : 7th annual international conference, COCOON 2001, Guilin, China, August 20-23, 2001 : proceedings / Jie Wang (ed.).
    Published 2001
    “...Lecture notes in computer science,...”
    Book
    Save to List
    Saved in:
  8. 88
    Algorithms and computation : 12th International Symposium, ISAAC 2001, Christchurch, New Zealand, December 19-21, 2001 proceedings / Peter Eades, Tadao Takaoka (eds.).
    Published 2001
    “...Lecture notes in computer science,...”
    Book
    Save to List
    Saved in:
  9. 89
    High-performance computing and networking : 9th international conference, HPCN Europe 2001, Amsterdam, The Netherlands, June 25-27, 2001 : proceedings / Bob Hertzberger, Alfons Hoekstra, Roy Williams (eds.).
    Published 2001
    “...Lecture notes in computer science....”
    Book
    Save to List
    Saved in:
  10. 90
    Graph drawing : 9th international symposium, GB 2001, Vienna, Austria, September 2001 : revised papers / Petra Mutzel, Michael Jünger, Sebastian Leipert (eds.).
    Published 2002
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
  11. 91
    ZB 2000 : formal specification and development in Z and B : first international conference of B and Z Users, York, UK, August 29-September 2, 2000 : proceedings / Jonathan P. Bowen ... [et al.] (eds.).
    Published 2000
    “...Lecture notes in computer science...”
    Book
    Save to List
    Saved in:
  12. 92
    Correct system design : recent insights and advances / Ernst-Rüdiger Olderog, Bernhard Steffen (eds.).
    Published 1999
    “...Lecture notes in computer science...”
    Book
    Save to List
    Saved in:
  13. 93
    Parallel computing technologies : 6th international conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 : proceedings / Victor Malyshkin (ed.).
    Published 2001
    “...Lecture notes in computer science,...”
    Book
    Save to List
    Saved in:
  14. 94
    Electronic commerce : second international workshop, WELCOM 2001, Heidelberg, Germany, November 16-17, 2001 : proceedings. / Ludger Fiege, Gero Muhl, Uwe Wilhelm (eds.).
    Published 2001
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
  15. 95
    Handheld and ubiquitous computing : first international symposium, HUC'99, Karlsruhe, Germany, September 27-29, 1999 : proceedings / Hans-W. Gellersen (ed.).
    Published 1999
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
  16. 96
    Computational linguistics and intelligent text processing : third international conference, CICLing 2001, Mexico City, Mexico, February 17-23, 2002 : proceedings / Alexander Gelbukh (ed.).
    Published 2002
    “...Lecture notes in computer science,...”
    Book
    Save to List
    Saved in:
  17. 97
    Ubicomp 2001 :Ubiquitous Computing : International Conference, Atlanta, Georgia, USA, September 30-October 2, 2001 : proceedings / Gregory D. Abowd, Barry Brumitt, Steven Shafer (eds.).
    Published 2001
    “...Lecture notes in computer science,...”
    Book
    Save to List
    Saved in:
  18. 98
    Isabelle / HOL : a proof assistant for higher-order logic / Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel.
    by Nipkow, Tobias, 1958-
    Published 2002
    “...Lecture notes in computer science...”
    Book
    Save to List
    Saved in:
  19. 99
    Modeling and using context : fourth international and interdisciplinary conference, CONTEXT 2003, Stanford, CA, USA, June, 2003 : proceedings / Patrick Blackburn ... [et al.], (eds.).
    Published 2003
    “...Lecture notes in computer science,...”
    Book
    Save to List
    Saved in:
  20. 100
    Modeling and using context : third international and interdisciplinary conference, CONTEXT 2001, Dundee, UK, July 27-30, 2001 : proceedings / Varol Akman ... [et al.], (eds.).
    Published 2001
    “...Lecture notes in computer science....”
    Book
    Save to List
    Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search