Mathematical theory of computation

Mathematical theory of computation

Show other versions (1)

Bibliographic Details
Main Author:	Manna, Zohar (Author)
Format:	Book
Language:	English
Published:	Mineola Dover 2003
Subjects:	Ηλεκτρονικοί υπολογιστές > Προγραμματισμός

Similar Items

The temporal logic of reactive and concurrent systems specification
by: Manna, Zohar, et al.
Published: (1992)

Theory of computation
by: Brainerd, Walter S., et al.
Published: (1974)

Schaum's outline of theory and problems of computers and programming
by: Scheid, Francis 1920-2011
Published: (1982)

Programming and mathematical method /
Published: (1992)

Mathematical methods in program development /
Published: (1997)

Mathematical foundations of software development : proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985.
Published: (1985)

Evolutionary computation /
Published: (2000)

Computer organization and microprogramming /
by: Chu, Yaohan, 1920-
Published: (1972)

Ιntroductory computer programming
by: Stuart, Fredric
Published: (1966)

Engineering the human-computer interface
Published: (1991)

The computational beauty of nature computer explorations of fractals, chaos, complex systems, and adaptation
by: Flake, Gary William
Published: (1998)

Advances in programming and non-numerical computation /
Published: (1966)

The art of human - computer interface design
Published: (1990)

Introduction to computer systems design : (planning files & programs) /
by: Waters, S. J.
Published: (1974)

Programs and machines an introduction to the theory of computation
by: Bird, Richard 1943-
Published: (1976)

Programming the 80286, 80386, 80486 and Pentioum - based personal computer
by: Brey, Barry B.
Published: (1996)

The art of computer programming
by: Knuth, Donald Ervin, 1938-

The art of computer programming /
by: Knuth, Donald Ervin, 1938-
Published: (1973)

Multi-objective optimization in computational intelligence theory and practice
by: Bui, Lam Thu
Published: (2008)

Software system design methods : the challenge of advanced computing technology /
Published: (1986)

Fundamentals of computer algorithms
by: Horowitz, Ellis, et al.
Published: (1986)

Digital computer design
by: Heath, F. G.
Published: (1969)

The art of computer programming /
by: Knuth, Donald Ervin, 1938-
Published: (2005)

Formal Methods and Software Development Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT). Berlin, March 25-29, 1985
Published: (1985)

Computability and complexity : from a programming perspective /
by: Jones, Neil D.
Published: (1997)

Scalable parallel computing technology, architecture, programming
by: Hwang, Kai
Published: (1998)

The design and analysis of computer algorithms
by: Aho, Alfred V.
Published: (1974)

Online computation and competitive analysis
by: Borodin, Allan 1941-
Published: (1998)

Εισαγωγή στην επιστήμη των υπολογιστών /
by: Forouzan, Behrouz A.
Published: (2010)

Εισαγωγή στην επιστήμη των ηλεκτρονικών υπολογιστών
by: Ιορδανίδης, Κοσμάς Ιορ
Published: (1996)

Εισαγωγή στην πληροφορική
by: Τσουροπλής, Αθανάσιος Γ.
Published: (1991)

Mathematica computer guide a self-contained introduction for Erwin Kreyszig
by: Kreyszig, Erwin
Published: (2002)

Computers and intractability : a guide to the theory of NP-completeness /
by: Garey, Michael R.
Published: (1979)

Principles of constraint programming
by: Krzysztof, Apt R.
Published: (2003)

Parallel programming
by: Baker, Louis
Published: (1996)

Client server applications development tools and techniques
Published: (1996)

Custom controls library
by: Stephens, Rod
Published: (1998)

First steps in programming
by: Lee, David
Published: (1976)

Visual programming environments paradigms and systems
by: Glinert, Ephraim P.
Published: (1990)

From logic to logic programming
by: Doets, Kees
Published: (1994)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών