Zobrazuji výsledky 1 - 20 z 163 pro vyhledávání '' Upřesnit hledání
  1. 1
    Kniha
    Přidat do oblíbených
    Uloženo v:
    Application of the digital computer for aquifer evaluation /
  2. 2
    Vydáno 1976
    Kniha
    Přidat do oblíbených
    Uloženo v:
    Applied computation theory : analysis, design modeling /
  3. 3
    Autor Hastings, Cecil, 1920-
    Vydáno 1955
    Kniha
    Přidat do oblíbených
    Uloženo v:
    Approximations for digital computers /
  4. 4
    Autor Richards, Richard Kohler, 1921-
    Vydáno 1965
    Kniha
    Přidat do oblíbených
    Uloženo v:
    Arithmetic operations in digital computers /
  5. 5
    Vydáno 2010
    Connect to electronic resource
    Elektronický zdroj E-kniha
    Přidat do oblíbených
    Uloženo v:
    Arithmetic Optimization Techniques for Hardware and Software Design
  6. 6
    Diplomová práce Kniha
    Přidat do oblíbených
    Uloženo v:
    An arithmetic unit for a small digital computer : a thesis presented for the degree of Master of Engineering (Electrical), University of Canterbury, Christchurch, New Zealand /
  7. 7
    Autor Jain, Raj
    Vydáno 1991
    Kniha
    Přidat do oblíbených
    Uloženo v:
    The art of computer systems performance analysis : techniques for experimental design, measurement, simulation, and modeling /
  8. 8
    Autor Winkel, David
    Vydáno 1980
    Kniha
    Přidat do oblíbených
    Uloženo v:
    The art of digital design : an introduction to top-down design /
  9. 9
    Autor Kent, Ernest W.
    Vydáno 1981
    Kniha
    Přidat do oblíbených
    Uloženo v:
    The brains of men and machines /
  10. 10
    Autor Davies, Donald Watts
    Vydáno 1973
    Kniha
    Přidat do oblíbených
    Uloženo v:
    Communication networks for computers /
  11. 11
    Autor Hillston, J. (Jane), 1963-
    Vydáno 1996
    Connect to electronic resource
    Elektronický zdroj E-kniha
    Přidat do oblíbených
    Uloženo v:
    A Compositional Approach to Performance Modelling
  12. 12
    Vydáno 2005
    Connect to electronic resource
    Elektronický zdroj Konferenční příspěvek Kniha
    Přidat do oblíbených
    Uloženo v:
    Computer aided verification 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings /
  13. 13
    Vydáno 2008
    Connect to electronic resource
    Elektronický zdroj Konferenční příspěvek E-kniha
    Přidat do oblíbených
    Uloženo v:
    Computer aided verification 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, proceedings /
  14. 14
    Vydáno 1992
    Konferenční příspěvek Kniha
    Přidat do oblíbených
    Uloženo v:
    Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings /
  15. 15
    Vydáno 1993
    Konferenční příspěvek Kniha
    Přidat do oblíbených
    Uloženo v:
    Computer aided verification : 5th international conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings /
  16. 16
    Vydáno 1994
    Konferenční příspěvek Kniha
    Přidat do oblíbených
    Uloženo v:
    Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings /
  17. 17
    Vydáno 1994
    Konferenční příspěvek Kniha
    Přidat do oblíbených
    Uloženo v:
    Computer aided verification : 7th international conference, CAV '95, Liege, Belgium, July 3-5, 1995 : proceedings /
  18. 18
    Vydáno 1996
    Konferenční příspěvek Kniha
    Přidat do oblíbených
    Uloženo v:
    Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings /
  19. 19
    Vydáno 1993
    Konferenční příspěvek Kniha
    Přidat do oblíbených
    Uloženo v:
    Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings /
  20. 20
    Kniha
    Přidat do oblíbených
    Uloženo v:
    Computer architecture and organization /

Vyhledávací nástroje: