Application of the digital computer for aquifer evaluation /

Yazar: Pinder, George Francis, 1942-

Applied computation theory : analysis, design modeling /

Baskı/Yayın Bilgisi 1976

Approximations for digital computers /

Yazar: Hastings, Cecil, 1920-
Baskı/Yayın Bilgisi 1955

Arithmetic operations in digital computers /

Yazar: Richards, Richard Kohler, 1921-
Baskı/Yayın Bilgisi 1965

Arithmetic Optimization Techniques for Hardware and Software Design

Baskı/Yayın Bilgisi 2010

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 /

Yazar: Harrington, R. M. (Robin Morton)
Baskı/Yayın Bilgisi 1967

The art of computer systems performance analysis : techniques for experimental design, measurement, simulation, and modeling /

Yazar: Jain, Raj
Baskı/Yayın Bilgisi 1991

The art of digital design : an introduction to top-down design /

Yazar: Winkel, David
Baskı/Yayın Bilgisi 1980

The brains of men and machines /

Yazar: Kent, Ernest W.
Baskı/Yayın Bilgisi 1981

Communication networks for computers /

Yazar: Davies, Donald Watts
Baskı/Yayın Bilgisi 1973

A Compositional Approach to Performance Modelling

Yazar: Hillston, J. (Jane), 1963-
Baskı/Yayın Bilgisi 1996

Computer aided verification 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings /

Baskı/Yayın Bilgisi 2005

Computer aided verification 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, proceedings /

Baskı/Yayın Bilgisi 2008

Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings /

Baskı/Yayın Bilgisi 1992

Computer aided verification : 5th international conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings /

Baskı/Yayın Bilgisi 1993

Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings /

Baskı/Yayın Bilgisi 1994

Computer aided verification : 7th international conference, CAV '95, Liege, Belgium, July 3-5, 1995 : proceedings /

Baskı/Yayın Bilgisi 1994

Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings /

Baskı/Yayın Bilgisi 1996

Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings /

Baskı/Yayın Bilgisi 1993

Computer architecture and organization /

Yazar: Hayes, John P. (John Patrick), 1944-
Baskı/Yayın Bilgisi 1988