163 results Refine Results
  1. 101
    Published 1985
    Subjects
    Book
    Save to List
    Saved in:
    Modelling techniques and tools for performance analysis : proceedings of the International Conference on Modelling Techniques and Tools for Performance Analysis, Paris, France, 16-18 May, 1984 /
  2. 102
    by Hwang, Kai
    Published 1979
    Subjects “...Electronic digital computers....”
    Book
    Save to List
    Saved in:
    Computer arithmetic : principles, architecture, and design /
  3. 103
    Published 1986
    Subjects
    Conference Proceeding Book
    Save to List
    Saved in:
    Modelling techniques and tools for performance analysis '85 : proceedings of the International Conference on Modelling Techniques and Tools for Performance Analysis, Sophia Antipolis, France, 5-7 June, 1985 /
  4. 104
    Subjects
    Book
    Save to List
    Saved in:
    Digital design.
  5. 105
    Published 1984
    Subjects “...Electronic digital computers Evaluation...”
    Book
    Save to List
    Saved in:
    Quantitative system performance : computer system analysis using queueing network models /
  6. 106
    Published 1994
    Subjects
    Conference Proceeding Book
    Save to List
    Saved in:
    Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings /
  7. 107
    Published 1993
    Subjects
    Conference Proceeding Book
    Save to List
    Saved in:
    Computer aided verification : 5th international conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings /
  8. 108
    by Lewin, Douglas
    Published 1968
    Subjects
    Book
    Save to List
    Saved in:
    Logical design of switching circuits /
  9. 109
    Published 1993
    Subjects
    Conference Proceeding Book
    Save to List
    Saved in:
    Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings /
  10. 110
    Published 1992
    Subjects
    Conference Proceeding Book
    Save to List
    Saved in:
    Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings /
  11. 111
    Published 1990
    Subjects “...Electronic digital computers Evaluation...”
    Book
    Save to List
    Saved in:
    Stochastic analysis of computer and communication systems /
  12. 112
    Published 1994
    Subjects
    Conference Proceeding Book
    Save to List
    Saved in:
    Dependable computing--EDCC-1 : first European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994 : proceedings /
  13. 113
    Published 1996
    Subjects
    Conference Proceeding Book
    Save to List
    Saved in:
    Dependable computing--EDCC-2 : second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996 : proceedings /
  14. 114
    Published 2003
    Subjects
    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 /
  15. 115
    by McCartney, Scott
    Published 1999
    Subjects “...Electronic digital computers History....”
    Book
    Save to List
    Saved in:
    ENIAC, the triumphs and tragedies of the world's first computer /
  16. 116
    by Lindgaard, Gitte
    Published 1994
    Subjects “...Electronic digital computers Evaluation...”
    Book
    Save to List
    Saved in:
    Usability testing and system evaluation : a guide for designing useful computer systems /
  17. 117
    Published 1994
    Subjects
    Conference Proceeding Book
    Save to List
    Saved in:
    Computer aided verification : 7th international conference, CAV '95, Liege, Belgium, July 3-5, 1995 : proceedings /
  18. 118
    Published 1996
    Subjects
    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 /
  19. 119
    Published 2005
    Subjects
    Connect to electronic version
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Dependable computing EDCC 2005 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005 : proceedings /
  20. 120
    Published 2005
    Subjects
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Dependable computing second Latin-American symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005 : proceedings /

Search Tools: