Á lódáil...

QR Code

Handbook of logic and proof techniques for computer science /

Sonraí Bibleagrafaíochta
Príomhúdar:	Krantz, Steven G.
Formáid:	Printed Book
Foilsithe:	Boston : New York : Birkhauser ; Springer, 2002.
Ábhair:	Computers. Electronic data processing.
Rochtain Ar Líne:	http://www.loc.gov/catdir/enhancements/fy0812/2001043153-d.html http://www.loc.gov/catdir/enhancements/fy0812/2001043153-t.html

Míreanna Comhchosúla

Handbook of logic and proof techniques for computer science
le: karntz, Steven G
Foilsithe: (2002)

Introduction to Computer Science

Computers at work;
Foilsithe: (1969)

Computers And Commonsense

Computer dictionary and handbook,
le: Sippl, Charles J.
Foilsithe: (1967)

Computer security handbook.
Foilsithe: (2009)

Computers and common sense /
le: Hunt, Roger, et al.
Foilsithe: (2003)

Concepts in Computing

Computer data processing
le: Davis, Gordon B.

Computers And Commonsense
le: Roger Hunt Johbn Shelley
Foilsithe: (1988)

Fundamentals of the computing sciences /
le: Maly, Kurt
Foilsithe: (1978)

Fog and edge computing : principles and paradigms /
le: Buyya, Rajkumar
Foilsithe: (2019)

The second self : computers and the human spirit /
le: Turkle, Sherry
Foilsithe: (2005)

Computer data processing
le: Davis, Gordon B
Foilsithe: (1981)

Computers and commonsense.- 4th ed. /
le: Hunt, Roger
Foilsithe: (1989)

Computer glossary for engineers and scientists
le: Chow, Wen M
Foilsithe: (1972)

Distrbuted and cloud computing:from parallel processing to the internet of things
le: Hwang,Kai, et al.
Foilsithe: (2014)

Distributed and parallel systems: from instruction parallelism to cluster computing
le: Kacsuk, Peter; Editor, et al.
Foilsithe: (2000)

Distributed computing
le: Sunita Mahajan
Foilsithe: (2013)

Computer glossary for accountants and bankers
le: McFie, Marshall N
Foilsithe: (1972)

Digital computer principles
le: Irwin, Wayne C.
Foilsithe: (1960)

Comprehensive computer essentials : the a to z of computers /
le: Chitra Lele
Foilsithe: (2018)

Computation and its limits
le: Cockshott, W. Paul
Foilsithe: (2015)

Distributed computing:principles, algorithms, and systems
le: Kshemkalyani, Ajay D
Foilsithe: (2008)

Information flow : the logic of distributed systems /
le: Barwise, Jon
Foilsithe: (1997)

Distributed computing : principles and applications /
le: Liu, M. L.
Foilsithe: (2013)

Signals, systems, and the computer
le: Chirlian, Paul M.
Foilsithe: (1973)

Distributed computing /
le: Mahajan, Sunita
Foilsithe: (2013)

Distributed computing : principles, algorithms, and systems /
le: Kshemkalyani, Ajay D.
Foilsithe: (2008)

FORTRAN IV in chemistry: an introduction to computer assisted methods /
le: Beech, G.
Foilsithe: (1975)

Data processing logic
le: Saret, Lavra
Foilsithe: (1985)

Logic, algebra and databases
le: Gray, Peter M D
Foilsithe: (1984)

Computer data processing
le: Davis, Gordon B
Foilsithe: (1984)

Fundamentals of computers
le: Rajaraman, V
Foilsithe: (1996)

Text, ConText, and HyperText : writing with and for the computer /
Foilsithe: (1988)

Bounded incremental computation /
le: Ramalingam, G.
Foilsithe: (1996)

Elements of the theory of computation
le: Lewis, Harry R, et al.
Foilsithe: (1981)

Feynman Lectures on computation
le: Richard P Feynman
Foilsithe: (2000)

Theory of computing : a gentle introduction /
le: Kinber, Efim
Foilsithe: (2012)

Computer and Commonsense
le: Roger Hunt, et al.
Foilsithe: (1993)