Computability and complexity : from a programming perspective /

Computability and complexity : from a programming perspective /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Jones, Neil D. (συγγραφέας.)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Cambridge, Mass. : MIT Press, c1997.
Σειρά:	Foundations of computing
Θέματα:	Ηλεκτρονικοί υπολογιστές > Προγραμματισμός. Υπολογιστική πολυπλοκότητα

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

Algorithms and complexity : new directions and recent results : [proceedings of a Symposium on New Directions and Recent Results in Algorithms and Complexity held by the Computer Science Department, Carnegie-Mellon University, April 7-9, 1976] /
Έκδοση: (1976)

Computational complexity /
ανά: Wagner, K. (Klaus)
Έκδοση: (1986)

Computational complexity /
ανά: Papadimitriou, Christos H., 1949-
Έκδοση: (1994)

Structural complexity /
ανά: Balcázar, José Luis
Έκδοση: (1995)

Complexity theory : current research /
Έκδοση: (1993)

Complexity theory retrospective II /
Έκδοση: (1997)

Descriptive complexity and finite models : proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University /
Έκδοση: (1997)

Structure in complexity theory : proceedings of the conference held at the University of California, Berkeley, California June 2-5,1986 /
Έκδοση: (1986)

Complexity : knots, colourings and counting /
ανά: Welsh, D. J. A.
Έκδοση: (1993)

Descriptive complexity /
ανά: Immerman, Neil, 1953-
Έκδοση: (1999)

Bayes linear statistics : theory and methods /
ανά: Goldstein, Michael, 1949-
Έκδοση: (2007)

Randomness and completeness in computational complexity /
ανά: Melkebeek, Dieter Van
Έκδοση: (2000)

Boolean function complexity /
Έκδοση: (1992)

The theory of computability : programs, machines, effectiveness, and feasibility /
ανά: Sommerhalder, R.
Έκδοση: (1988)

Εισαγωγή στη θεωρία υπολογισμού /
ανά: Sipser, Michael
Έκδοση: (2008)

Εισαγωγή στη θεωρία υπολογισμού /
ανά: Sipser, Michael
Έκδοση: (2012)

Εισαγωγή στη θεωρία υπολογισμού /
ανά: Sipser, Michael
Έκδοση: (2020)

Computation in living cells : gene assembly in ciliates /
Έκδοση: (2004)

Introduction to the theory of computation /
ανά: Sipser, Michael
Έκδοση: (1997)

Introduction to the theory of computation /
ανά: Sipser, Michael
Έκδοση: (2006)

Computational limitations for small-depth circuits /
ανά: Håstad, Johan
Έκδοση: (1987)

SWAT 90 : 2nd Scandinavian Workshop on algorithm theory, Bergen, Sweden, July 11-14, 1990 : proceedings /
Έκδοση: (1990)

Algorithmic information theory /
ανά: Chaitin, Gregory J.
Έκδοση: (1987)

The unknowable /
ανά: Chaitin, Gregory J.
Έκδοση: (1999)

Σχεδιασμός και υλοποίηση εξελικτικών μοντέλων χρηστών σε εικονικά περιβάλλοντα μάθησης
ανά: Σιέλης, Γεώργιος
Έκδοση: (2008)

Temporal logics and their applications
Έκδοση: (1987)

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

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

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

Studies in complexity theory /
Έκδοση: (1986)

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

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

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)

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

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

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

Mathematical theory of computation
ανά: Manna, Zohar
Έκδοση: (2003)

A method of programming
ανά: Dijkstra, Edsger Wybe
Έκδοση: (1988)

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

Cannot write session to /tmp/vufind_sessions/sess_c81tpvm60k96557349c7k18q2r