Suggested Topics within your search.
Showing 61 - 80 results of 258 for search '"Lecture notes in computer science ;"' Refine Results
  1. 61
    Mathematical foundations of computer science, 1977 : proceedings, 6th Symposium, Tatranská Lomnica, September 5-9, 1977.
    Published 1977
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
  2. 62
    Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Pozna´n-Kórnik, Poland September 19-23, 1977 / edited by Marek Karpi´nski.
    Published 1977
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
  3. 63
    Parallel problem solving from nature : 1st Workshop, PPSN 1, Dortmund, FRG, October 1-3, 1990 : proceedings / H.-P. Schwefel, R. Männer (eds.).
    Published 1991
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
  4. 64
    Embedded systems : new approaches to their formal description and design : an advanced course, : Zürich, Switzerland, March 5-7, 1986 / A. Kündig, R.E. Bührer, J. Dähler (eds.).
    Published 1987
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
  5. 65
    Mathematical foundations of computer science 1986 : proceedings, 12th symposium, Bratislava, Czechoslovakia, August 25-29, 1986 / edited by J. Gruska, B. Rovan, and J. Wiedermann.
    Published 1986
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
  6. 66
    Computer Aided Design, Modelling, Systems Engineering, CAD-Systems : CREST Advanced Course Darmstadt, 8.-19. September 1980 / edited by J. Encarnacao.
    Published 1980
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
  7. 67
    The adaptation of virtual man-computer interfaces to user requirements in dialogs / (by) Waltraud Dehning, Heidrun Essig, Susanne Maass.
    by Dehning, Waltraud, 1952-
    Published 1981
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
  8. 68
    Methods and tools for computer integrated manufacturing / Advanced CREST Course on Computer Integrated Manufacturing, CIM 83, Karlsruhe, Germany, September 5 to 16, 1983 ; edited by U. Rembold and R. Dillmann.
    Published 1984
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
  9. 69
    On the shape of mathematical arguments / A.J.M. van Gasteren..
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
  10. 70
    Computer Vision, Virtual Reality and Robotics in Medicine : First International Conference, CVRMed '95, Nice, France, April 3-6, 1995 : proceedings / Nicholas Ayache (ed.).
    Published 1995
    “...Lecture notes in computer sciences ;...”
    Book
    Save to List
    Saved in:
  11. 71
    Electronic publishing, artistic imaging, and digital typography : 7th International Conference on Electronic Publishing, EP'98 held jointly with the 4th International Conference on Raster Imaging and Digital Typography, RIDT'98, St. Malo, France, March 30 - April 3, 1998 : proceedings / Roger D. Hersch, Jacques André and Heather Brown (Eds.).
    Published 1998
    “...Lecture notes in computer science,...”
    Book
    Save to List
    Saved in:
  12. 72
    Computer science logic : 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings / Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.).
    Published 1999
    “...Lecture notes in computer science,...”
    Book
    Save to List
    Saved in:
  13. 73
    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:
  14. 74
    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:
  15. 75
    SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-Sept. 1, 2000 : proceedings / Klaus Havelund, John Penix, Willem Visser (eds.).
    Published 2000
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
  16. 76
    Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings / Matthew Dwyer (ed.).
    Published 2001
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
  17. 77
    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:
  18. 78
    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:
  19. 79
    Networking : ICN 2001 - First International Conference on Networking, Colmar, France, July 9-13, 2001 proceedings / Pascal Lorenz (ed.).
    Published 2001
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
  20. 80
    Graph drawing : 7th international symposium, GD '99, Stirin Castle, Czech Republic, September 15-19, 1999 : proceedings / Jan Kratochvil (ed.).
    Published 1999
    “...Lecture notes in computer science...”
    Book
    Save to List
    Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search