17 results Refine Results
  1. 1
    Published 1984
    Conference Proceeding Book
    Save to List
    Saved in:
    Readings on cognitive ergonomics--mind and computers : proceedings of the 2nd European conference, Gmunden, Austria, September 10-14, 1984 /
  2. 2
    Published 1994
    Conference Proceeding Book
    Save to List
    Saved in:
    Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings /
  3. 3
    Published 1993
    Conference Proceeding Book
    Save to List
    Saved in:
    Computer aided verification : 5th international conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings /
  4. 4
    Published 1993
    Conference Proceeding Book
    Save to List
    Saved in:
    Performance evaluation of computer and communication systems : joint tutorial papers of Performance '93 and Sigmetrics '93 /
  5. 5
    Published 1992
    Conference Proceeding Book
    Save to List
    Saved in:
    Theory of computing and systems : Israel Symposium ISTCS '92, Haifa, Israel, May 27-28, 1992, proceedings /
  6. 6
    Published 1993
    Conference Proceeding Book
    Save to List
    Saved in:
    Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings /
  7. 7
    Published 1992
    Conference Proceeding Book
    Save to List
    Saved in:
    Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings /
  8. 8
    Published 1989
    Conference Proceeding Book
    Save to List
    Saved in:
    Database machines : sixth international workshop, IWDM '89, Deauville, France, June 19-21, 1989 : proceedings /
  9. 9
    Published 1994
    Conference Proceeding Book
    Save to List
    Saved in:
    Dependable computing--EDCC-1 : first European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994 : proceedings /
  10. 10
    Published 1996
    Conference Proceeding Book
    Save to List
    Saved in:
    Dependable computing--EDCC-2 : second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996 : proceedings /
  11. 11
    Published 1995
    Conference Proceeding Book
    Save to List
    Saved in:
    Quantitative evaluation of computing and communication systems : 8th International Conference on Modelling Techniques and Tools for Computer Performance and Evaluation, Performance Tools '95, 8th GI/ITG Conference on Measuring, Modelling, and Evaluating Computing, and Communication Systems, MMB '95, Heidelberg, Germany, September 1995 : proceedings /
  12. 12
    Published 2003
    Connect to electronic version
    Conference Proceeding Book
    Save to List
    Saved in:
    Dependable computing : first Latin-American symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003 : proceedings /
  13. 13
    Published 1997
    Conference Proceeding Book
    Save to List
    Saved in:
    Computer performance evaluation : modelling techniques and tools : 9th international conference, St. Malo, France, June 3-6, 1997 : proceedings /
  14. 14
    Published 1994
    Conference Proceeding Book
    Save to List
    Saved in:
    Computer aided verification : 7th international conference, CAV '95, Liege, Belgium, July 3-5, 1995 : proceedings /
  15. 15
    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 /
  16. 16
    Published 1994
    Conference Proceeding Book
    Save to List
    Saved in:
    Computer performance evaluation : modelling techniques and tools : 7th international conference, Vienna, Austria, May 3-6, 1994 : proceedings /
  17. 17
    Published 2004
    Connect to electronic version
    Conference Proceeding Book
    Save to List
    Saved in:
    Power-aware computing systems : third international workshop, PACS 2003, San Diego, CA, USA, December 1, 2003 : revised papers /

Search Tools: