Načítá se...

QR kód

Logic in computer science: Modelling and reasoning about systems

other_versions_link

Podrobná bibliografie
Hlavní autor:	Huth, Michael
Další autoři:	Ryan, Mark
Médium:	Printed Book
Vydáno:	Cambridge University Press, Cambridge 2005
Témata:	Computer science

Podobné jednotky

Načítá se...

Logic in computer science Modelling and reasoning about systems /
Autor: Huth, Michael
Vydáno: (2004)

Načítá se...

Logic in computer science: modelling and reasoning about systems/
Autor: Huth, Michael
Vydáno: (2005)

Načítá se...

Logic In Computer Science /
Autor: Huth, Michael .
Vydáno: (2004)

Načítá se...

Computer science logic /
Vydáno: (2003)

Načítá se...

Logics for computer science
Autor: Singh, Arindama
Vydáno: (2004)

Načítá se...

Logic for computer science : foundations of automatic theorem proving /
Autor: Gallier, Jean H.
Vydáno: (1986)

Načítá se...

Handbook of logic and proof techniques for computer science
Autor: karntz, Steven G
Vydáno: (2002)

Načítá se...

ACM transactions on computational logic

Načítá se...

Computer architecture and logic design /
Autor: Bartee, Thomas C.
Vydáno: (1991)

Načítá se...

Computer architecture and logic design /
Autor: Bartee,, Thomas C.
Vydáno: (1991)

Načítá se...

Probability models for computer science /
Autor: ROS/P
Vydáno: (2002)

Načítá se...

Computer logic
Autor: Ros, Alan
Vydáno: (1971)

Načítá se...

Discrete structures, logic and computability
Autor: Hein, James L.
Vydáno: (2010)

Načítá se...

Algebraic and logic programming
Autor: Hanus, Michael
Vydáno: (1996)

Načítá se...

Experiments in logic and computer design
Autor: Teng, Albert Y
Vydáno: (1984)

Načítá se...

Elements of logical reasoning
Autor: Jan Von Plato

Načítá se...

Fundamentals of Computing 1: logic, problem solving, programs, and computers /
Autor: Tucker, Allen B .
Vydáno: (1995)

Načítá se...

Probability models for computer science /
Autor: Ross, Sheldon M.
Vydáno: (2002)

Načítá se...

Computer logic design
Autor: Mano, M Morris
Vydáno: (1972)

Načítá se...

Computer science and scientific computing
Autor: James M.Ortega
Vydáno: (1976)

Načítá se...

What every manager should know about computers
Autor: Swapna Kishore and Rajesh Naik
Vydáno: (1990)

Načítá se...

Probability models for computer science /
Autor: Ross, Sheldon M.
Vydáno: (2009)

Načítá se...

Fuzzy sets, logics and reasoning about knowledge
Vydáno: (1999)

Načítá se...

Fundamentals of computer engineering, logic, design and microprocessors
Autor: Lam, Herman
Vydáno: (1988)

Načítá se...

Computer models in the social sciences
Autor: Coats, Robert B
Vydáno: (1977)

Načítá se...

ACM transactions on modeling and computer simulation

Načítá se...

Systems, Control, Modeling and Optimization
Autor: Creagioli, F Ed
Vydáno: (2006)

Načítá se...

Computer machinery computer science education
Vydáno: (1989)

Načítá se...

Computer logic; the functional design of digital computers.
Autor: Flores, Ivan
Vydáno: (1960)

Načítá se...

Computer system architecture /
Autor: Rao, P. V. S.
Vydáno: (2009)

Načítá se...

Computer systems architecture
Autor: Williams, Rob
Vydáno: (2012)

Načítá se...

Computers and information systems
Autor: Gore, Marvin R
Vydáno: (1987)

Načítá se...

Computer system architechture /
Autor: Mano,, M.Moris
Vydáno: (2003)

Načítá se...

Computers and information systems /
Autor: Gore, Marvin R; .
Vydáno: (1986)

Načítá se...

Measurement and modelling methods for computer systems performance studies
Autor: Barnes, Michael
Vydáno: (1979)

Načítá se...

Encyclopedia of computer science.
Vydáno: (2000)

Načítá se...

Computer system architecture
Autor: Mano,Morris M.
Vydáno: (2013)

Načítá se...

Computer system architecture
Autor: Mano, M.Morris
Vydáno: (1993)

Načítá se...

Computer systems today /
Autor: Basandra, Suresh K
Vydáno: (1999)

Načítá se...

Introduction to computer science
Autor: Katzan, Harry
Vydáno: (1975)