908 results Refine Results
  1. 781
    Published 1996
    Conference Proceeding Book
    Save to List
    Saved in:
    Principles and practice of constraint programming -CP '96 : Second International Conference, CP '96, Cambridge, MA, USA, August 19-22, 1996 : proceedings /
  2. 782
    Published 1996
    Conference Proceeding Book
    Save to List
    Saved in:
    Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings /
  3. 783
    Published 1996
    Conference Proceeding Book
    Save to List
    Saved in:
    Advances in cryptology, CRYPTO '96 : 16th annual international cryptology conference, Santa Barbara, California, USA, August 18-22, 1996 : proceedings /
  4. 784
    Published 1996
    Conference Proceeding Book
    Save to List
    Saved in:
    Over-constrained systems /
  5. 785
    Published 1996
    Conference Proceeding Book
    Save to List
    Saved in:
    Computer aided learning and instruction in science and engineering : third international conference, CALISCE '96, San Sebastián, Spain, July 29-31, 1996 : proceedings /
  6. 786
    Published 1996
    Conference Proceeding Book
    Save to List
    Saved in:
    Computer aided systems theory : CAST'94, 4th international workshop, Ottawa, Ontario, Canada, May 16-20, 1994 : selected papers /
  7. 787
    Published 1996
    Conference Proceeding Book
    Save to List
    Saved in:
    Parallel algorithms for irregularly structured problems : third international workshop, IRREGULAR '96, Santa Barbara, CA, USA, August 19-21, 1996 : proceedings /
  8. 788
    Published 1996
    Conference Proceeding Book
    Save to List
    Saved in:
    Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings /
  9. 789
    Published 1996
    Conference Proceeding Book
    Save to List
    Saved in:
    Coordination : languages and models : First International Conference COORDINATION '96, Cesena, Italy, April 15-17, 1996 : proceedings /
  10. 790
    Published 1996
    Conference Proceeding Book
    Save to List
    Saved in:
    Broadband communications : networks, services, applications, future directions : 1996 International Zurich Seminar on Digital Communications, IZS '96, Zurich, Switzerland, February 21-23, 1996 : proceedings /
  11. 791
    Published 1996
    Conference Proceeding Book
    Save to List
    Saved in:
    STACS 96 : 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996 : proceedings /
  12. 792
    Published 1996
    Conference Proceeding Book
    Save to List
    Saved in:
    Applied parallel computing : computations in physics, chemistry, and engineering science : second international workshop, PARA '95, Lyngby, Denmark, August 21-24, 1995 : proceedings /
  13. 793
    Published 1996
    Conference Proceeding Book
    Save to List
    Saved in:
    Teleservices and multimedia communications : second International COST 237 Workshop, Copenhagen, Denmark, November, 1995 : proceedings /
  14. 794
    Published 1996
    Conference Proceeding Book
    Save to List
    Saved in:
    FME '96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings /
  15. 795
    Published 1996
    Conference Proceeding Book
    Save to List
    Saved in:
    Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings /
  16. 796
    Published 1996
    Conference Proceeding Book
    Save to List
    Saved in:
    Object-technologies for advanced software : Second JSSST International Symposium, ISOTAS ʾ96, Kanazawa, Japan, March 11-15, 1996 : proceedings /
  17. 797
    Published 1996
    Conference Proceeding Book
    Save to List
    Saved in:
    Artificial neural networks : ICANN 96 : 6th international conference, Bochum, Germany, July 16-19, 1996 : proceedings /
  18. 798
    Published 1994
    Conference Proceeding Book
    Save to List
    Saved in:
    Algorithmic number theory : first international symposium, ANTS-I, Ithaca, NY, USA, May 6-9, 1994 : proceedings /
  19. 799
    Published 1995
    Conference Proceeding Book
    Save to List
    Saved in:
    Database theory--ICDT'95 : 5th International Conference, Prague, Czech Republic, January 11-13,1995 : proceedings /
  20. 800
    Published 1995
    Conference Proceeding Book
    Save to List
    Saved in:
    Software process technology : 4th European workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3-5, 1995 : proceedings /

Search Tools: