Suggested Topics within your search.
Showing 121 - 140 results of 258 for search '"Lecture notes in computer science ;"' Refine Results
  1. 121
    The logic system of concept graphs with negation : and its relationship to predicate logic / Frithjof Dau.
    by Dau, Frithjof
    Published 2003
    “...Lecture notes in computer science...”
    Book
    Save to List
    Saved in:
  2. 122
    UbiComp 2002 : ubiquitous computing : 4th International Conference, Göteborg, Sweden, September 29-October 1, 2002 : proceedings / Gaetano Borriello, Lars Erik Holmquist (eds.).
    Published 2002
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
  3. 123
    Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning / Ute Schmid.
    by Schmid, U. (Ute)
    Published 2003
    “...Lecture notes in computer science,...”
    Book
    Save to List
    Saved in:
  4. 124
    Mobile data management : 4th international conference, MDM 2003, Melbourne, Australia, January 21-24, 2003 : proceedings / Ming-Syan Chen ... [et al.] (eds.).
    Published 2003
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
  5. 125
    Wireless on-demand network systems : first IFIP TC6 Working Conference, WONS 2004, Madonna di Campiglio, Italy, January 21-23, 2004 : proceedings / Roberto Battiti, Marco Conti, Renato Lo Cigno (eds.).
    Published 2004
    “...Lecture notes in computer science;...”
    Book
    Save to List
    Saved in:
  6. 126
    Text- and speech-triggered information access : 8th ELSNET Summer School, Chios Island, Greece, July 15-30, 2000 : revised lectures / Steve Renals, Gregory Grefenstette (eds.).
    Published 2003
    “...Lecture notes in computer science....”
    Book
    Save to List
    Saved in:
  7. 127
    FM'99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings / Jeanette M. Wing, Jim Woodcock, Jim Davies (eds.)
    Published 1999
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
  8. 128
    FM'99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings / Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)
    Published 1999
    “...Lecture notes in computer science,...”
    Book
    Save to List
    Saved in:
  9. 129
    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:
  10. 130
    Intelligent hypertext : advanced techniques for the World Wide Web / Charles Nicholas, James Mayfield (eds.).
    Published 1997
    “...Lecture notes in computer science,...”
    Book
    Save to List
    Saved in:
  11. 131
    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. 132
    Logic-based program synthesis and transformation : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998 : selected papers / Pierre Flener (ed.).
    Published 1999
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
  13. 133
    Integrated circuit design : power and timing modeling, optimization and simulation : 10th International Workshop, PATMOS 2000, Göttingen, Germany, September 13-15, 2000 : proceedings / Dimitrios Soudris, Peter Pirsch, Erich Barke (eds.).
    Published 2000
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
  14. 134
    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:
  15. 135
    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:
  16. 136
    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:
  17. 137
    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:
  18. 138
    On the shape of mathematical arguments / A.J.M. van Gasteren..
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
  19. 139
    Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gda´nsk, September 6-10, 1976.
    Published 1976
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
  20. 140
    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:
Search Tools: Get RSS Feed — Email this Search — Save Search