Εξώφυλλο

Κώδικας QR

Handbook of logic in computer science /

Άλλοι συγγραφείς:	Abramsky, S., Gabbay, Dov M., Maibaum, T.S.E.
Μορφή:	Βιβλίο
Γλώσσα:	English
Στοιχεία έκδοσης:	Oxford : Clarendon Press, 1992.
Ταξινομικός αριθμός:	004 HA
Θέματα:	Computer science. Computer science > Handbook, manuals.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Computer science handbook
Στοιχεία έκδοσης: (2004)

Logic for applications /
από: Nerode, Anil.
Στοιχεία έκδοσης: (1997)

The handbook of applied expert systems /
Στοιχεία έκδοσης: (1998)

Handbook of theoritical computer science /
Στοιχεία έκδοσης: (1990)

Soft computing and its applications /
από: Aliev, R.A.
Στοιχεία έκδοσης: (2001)

Intelligent control: aspects of fuzzy logic and neural nets/
από: Harris, C. J.
Στοιχεία έκδοσης: (1993)

Cafe an industrial-strength algebraic formal method /
Στοιχεία έκδοσης: (2000)

Handbook of constraint programming
Στοιχεία έκδοσης: (2006)

Handbook of discrete and combinatorial mathematics /
Στοιχεία έκδοσης: (2000)

Quebec studies in the philoshophy of science /
Στοιχεία έκδοσης: (1996)

Knowledge-based systems analysis and design : a kads developer΄s handbook /
από: Tansley, D. S. W., 1963-
Στοιχεία έκδοσης: (1993)

Scene of the cybercrime computer forensics handbook /
από: Shinder, Debra Littlejohn.
Στοιχεία έκδοσης: (2002)

Computation, Logic, Philosophy: a collection of essays /
από: Hao, Wang.
Στοιχεία έκδοσης: (1990)

Nomonotonic Logics: basic concepts, results, and techniques /
από: Schlechta, Karl.
Στοιχεία έκδοσης: (1997)

Logic /
από: Hodges, Wilfrid.
Στοιχεία έκδοσης: (1977)

Advanced computer arithmetic design/
από: Flynn, Michael J., 1934-
Στοιχεία έκδοσης: (2001)

Handbook of massive data sets /
Στοιχεία έκδοσης: (2002)

Handbook of neural networks for speech processing /
Στοιχεία έκδοσης: (2000)

Handbook of mathematical logic /
Στοιχεία έκδοσης: (1977)

Object-oriented construction handbook : Developing application-oriented software with the tools & materials approach /
από: Zullighoven, Heinz.
Στοιχεία έκδοσης: (2005)

Computer concepts /
από: Bohl, Marilyn.
Στοιχεία έκδοσης: (1970)

Computer concepts instructor's guide /
Στοιχεία έκδοσης: (1970)

Computer concepts problems and exercises /
Στοιχεία έκδοσης: (1970)

Relational Methods in computer science: advances in computing science /
Στοιχεία έκδοσης: (1997)

Computer science: an instructional manual/
από: French, C. S.
Στοιχεία έκδοσης: (1980)

Theoretical computer science : introduction to automata, compurability, complexity, algorithmics, randomization, communication, and cryptography /
από: Hromkovic, Juraj, 1958-
Στοιχεία έκδοσης: (2004)

Advances in computers, volume 56
Στοιχεία έκδοσης: (2002)

Basic computer science /
από: Atkin, John Keith.
Στοιχεία έκδοσης: (1978)

High-speed digital design : a handbook of black magic /
από: Johnson, Howard W.
Στοιχεία έκδοσης: (1993)

Login and computer design fundamentals /
από: Mano, Morris M., 1927-
Στοιχεία έκδοσης: (2000)

Intelligent information access : proceedings of the BANKAI Workshop Brussels, Belgium, 14-16 October 1991 /
Στοιχεία έκδοσης: (1992)

Handbook of algorithms and data structures : in Pascal and C /
από: Gonnet, Gaston H.
Στοιχεία έκδοσης: (1991)

A handbook of statistical analyses using SPSS
από: Landau, Sabine.
Στοιχεία έκδοσης: (2004)

Introduction to Cryptology and pc security/
από: Beckett, Brian.
Στοιχεία έκδοσης: (1997)

The Godel Programming Language /
από: Hill, Patricia.
Στοιχεία έκδοσης: (1994)

Temporal Logic of Programs /
Στοιχεία έκδοσης: (1987)

AI game development : synthetic creatures with learning and reactive behaviors /
από: Champandard, Alex.
Στοιχεία έκδοσης: (2004)

Logic programming with Prolog /
από: Bramer, M. A. 1948-
Στοιχεία έκδοσης: (2005)

Digital design and computer architecture /
από: Harris, David Money.
Στοιχεία έκδοσης: (2007)

The journal of logic programming
Στοιχεία έκδοσης: (1984)