1,000 results Refine Results
  1. 161
    Published 1986
    Book
    Save to List
    Saved in:
    Current trends in concurrency : overviews and tutorials /
  2. 162
    Published 1986
    Book
    Save to List
    Saved in:
    8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings /
  3. 163
    Published 1986
    Book
    Save to List
    Saved in:
    Mathematical foundations of computer science 1986 : proceedings of the 12th symposium, Bratislava, Czechoslovakia, August 25-29, 1986 /
  4. 164
    Published 1986
    Book
    Save to List
    Saved in:
    CONPAR 86 : Conference on Algorithms and Hardware for Parallel Processing, Aachen, September 17-19, 1986 : proceedings /
  5. 165
    Published 1985
    Book
    Save to List
    Saved in:
    Proceedings of the Sixteenth Lunar and Planetary Science Conference /
  6. 166
    Published 1986
    Book
    Save to List
    Saved in:
    Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings /
  7. 167
    Published 1974
    Book
    Save to List
    Saved in:
    Computing methods in applied sciences and engineering : International symposium, Versailles, December 17-21, 1973 /
  8. 168
    Published 1992
    Conference Proceeding Book
    Save to List
    Saved in:
    Advanced database systems : 10th British National Conference on Databases, BNCOD 10, Aberdeen, Scotland, July 6-8, 1992 : proceedings /
  9. 169
    Published 1992
    Book
    Save to List
    Saved in:
    Network and operating system support for digital audio and video : second international workshop, Heidelberg, Germany, November 18-19, 1991: proceedings /
  10. 170
    Published 1992
    Conference Proceeding Book
    Save to List
    Saved in:
    PARLE '92, parallel architectures and languages Europe : 4th International PARLE Conference, Paris, France, June 15-18, 1992, proceedings /
  11. 171
    Published 1992
    Conference Proceeding Book
    Save to List
    Saved in:
    Algorithm theory--SWAT '92 : Third Scandinavian Workshop on Algorithm Theory, Helsinki, Finland, July 8-10, 1992 : proceedings /
  12. 172
    Published 1992
    Book
    Save to List
    Saved in:
    Real-time : theory in practice : REX workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings /
  13. 173
    Published 1992
    Conference Proceeding Book
    Save to List
    Saved in:
    Object-based concurrent computing : ECOOP '91 workshop, Geneva, Swizterland, July 15-16, 1991 : proceedings /
  14. 174
    Published 1992
    Conference Proceeding Book
    Save to List
    Saved in:
    ECOOP '92, European Conference on Object-Oriented Programming : Utrecht, The Netherlands, June 29-July 3, 1992 : proceedings /
  15. 175
    Published 1992
    Conference Proceeding Book
    Save to List
    Saved in:
    Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991, proceedings /
  16. 176
    Published 1992
    Conference Proceeding Book
    Save to List
    Saved in:
    Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings /
  17. 177
    Published 1992
    Book
    Save to List
    Saved in:
    Advanced topics in artificial intelligence : international summer school, Prague, Czechoslovakia, July 6-17, 1992 : proceedings /
  18. 178
    Published 1992
    Conference Proceeding Book
    Save to List
    Saved in:
    Industrial and engineering applications of artificial intelligence and expert systems : 5th international conference, IEA/AIE-92, Paderborn, Germany, June 9-12, 1992 : proceedings /
  19. 179
    Published 1992
    Conference Proceeding Book
    Save to List
    Saved in:
    Ada : moving towards 2000 : 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992 : proceedings /
  20. 180
    Published 1993
    Book
    Save to List
    Saved in:
    Network and operating system support for digital audio and video : third international workshop, La Jolla, California, USA, November 12-13 1992 : proceedings /

Search Tools: