Mathematical theory of computation

Mathematical theory of computation

Εμφάνιση άλλων εκδόσεων (1)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Manna, Zohar (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Mineola Dover 2003
Θέματα:	Ηλεκτρονικοί υπολογιστές > Προγραμματισμός

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

The temporal logic of reactive and concurrent systems specification
ανά: Manna, Zohar, κ.ά.
Έκδοση: (1992)

Theory of computation
ανά: Brainerd, Walter S., κ.ά.
Έκδοση: (1974)

Schaum's outline of theory and problems of computers and programming
ανά: Scheid, Francis 1920-2011
Έκδοση: (1982)

Programming and mathematical method /
Έκδοση: (1992)

Mathematical methods in program development /
Έκδοση: (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.
Έκδοση: (1985)

Evolutionary computation /
Έκδοση: (2000)

Computer organization and microprogramming /
ανά: Chu, Yaohan, 1920-
Έκδοση: (1972)

Ιntroductory computer programming
ανά: Stuart, Fredric
Έκδοση: (1966)

Engineering the human-computer interface
Έκδοση: (1991)

The computational beauty of nature computer explorations of fractals, chaos, complex systems, and adaptation
ανά: Flake, Gary William
Έκδοση: (1998)

Advances in programming and non-numerical computation /
Έκδοση: (1966)

The art of human - computer interface design
Έκδοση: (1990)

Introduction to computer systems design : (planning files & programs) /
ανά: Waters, S. J.
Έκδοση: (1974)

Programs and machines an introduction to the theory of computation
ανά: Bird, Richard 1943-
Έκδοση: (1976)

Programming the 80286, 80386, 80486 and Pentioum - based personal computer
ανά: Brey, Barry B.
Έκδοση: (1996)

The art of computer programming
ανά: Knuth, Donald Ervin, 1938-

The art of computer programming /
ανά: Knuth, Donald Ervin, 1938-
Έκδοση: (1973)

Multi-objective optimization in computational intelligence theory and practice
ανά: Bui, Lam Thu
Έκδοση: (2008)

Software system design methods : the challenge of advanced computing technology /
Έκδοση: (1986)

Fundamentals of computer algorithms
ανά: Horowitz, Ellis, κ.ά.
Έκδοση: (1986)

Digital computer design
ανά: Heath, F. G.
Έκδοση: (1969)

The art of computer programming /
ανά: Knuth, Donald Ervin, 1938-
Έκδοση: (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
Έκδοση: (1985)

Computability and complexity : from a programming perspective /
ανά: Jones, Neil D.
Έκδοση: (1997)

Scalable parallel computing technology, architecture, programming
ανά: Hwang, Kai
Έκδοση: (1998)

The design and analysis of computer algorithms
ανά: Aho, Alfred V.
Έκδοση: (1974)

Online computation and competitive analysis
ανά: Borodin, Allan 1941-
Έκδοση: (1998)

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

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

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

Mathematica computer guide a self-contained introduction for Erwin Kreyszig
ανά: Kreyszig, Erwin
Έκδοση: (2002)

Computers and intractability : a guide to the theory of NP-completeness /
ανά: Garey, Michael R.
Έκδοση: (1979)

Principles of constraint programming
ανά: Krzysztof, Apt R.
Έκδοση: (2003)

Parallel programming
ανά: Baker, Louis
Έκδοση: (1996)

Client server applications development tools and techniques
Έκδοση: (1996)

Custom controls library
ανά: Stephens, Rod
Έκδοση: (1998)

First steps in programming
ανά: Lee, David
Έκδοση: (1976)

Visual programming environments paradigms and systems
ανά: Glinert, Ephraim P.
Έκδοση: (1990)

From logic to logic programming
ανά: Doets, Kees
Έκδοση: (1994)

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