Models of computation and formal languages R. Gregory Taylor

Models of computation and formal languages R. Gregory Taylor

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Taylor, R. Gregory
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	New York Oxford Uninersity Press 1998
Θέματα:	Ηλεκτρονικοί υπολογιστές > Μαθηματικές αρχές Γλώσσες προγραμματισμού

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

The formal semantics of programming languages an introduction
ανά: Winskel, G. (Glynn)
Έκδοση: (1993)

Foundations for programming languages
ανά: Mitchell, John C.
Έκδοση: (1996)

An introduction to computational learning theory :
ανά: Kearns, Michael J.
Έκδοση: (1994)

A first course in formal logic and its applications in computer science
ανά: Dowsing, R.D
Έκδοση: (1986)

Teaching and learning formal methods
Έκδοση: (1996)

Extrapolation methods theory and practice
ανά: Brezinski, Claude
Έκδοση: (1991)

Automata and computability /
ανά: Kozen, Dexter 1951-
Έκδοση: (1997)

Unconventional models of computation
Έκδοση: (1998)

Arithmetic complexity of computations
ανά: Winograd, Shmuel
Έκδοση: (1980)

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

Computing in Horn clause theories
ανά: Padawitz, Peter
Έκδοση: (1988)

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

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

The limits of mathematics a course on information theory and limits of formal reasoning
ανά: Chaitin, Gregory J.
Έκδοση: (1998)

Automated reasoning introduction and applications
ανά: Wos, Larry
Έκδοση: (1984)

The resolution calculus /
ανά: Leitsch, Alexander
Έκδοση: (1997)

First-order logic and automated theorem proving /
ανά: Fitting, Melvin 1942-
Έκδοση: (1996)

DNA computing new computing paradigms
ανά: Paun, G.
Έκδοση: (1998)

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

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

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

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

Fundamentals of programming languages
ανά: Horowitz, Ellis
Έκδοση: (1984)

LOGO βήμα προς βήμα
ανά: Γεωργοπούλου, Αικατερίνη
Έκδοση: (1991)

Microsoft QuickBASIC toolbox Η εργαλειοθήκη του προγραμματιστή
ανά: Craig, John Clark
Έκδοση: (1989)

PL/I programming in technological applications
ανά: Groner, Gabriel F.
Έκδοση: (1971)

Logic of programming and calculi of discrete design /
Έκδοση: (1987)

Σύγχρονες γλώσσες προγραμματισμού : μια πρακτική εισαγωγή /
ανά: Webber, Adam Brooks
Έκδοση: (2009)

Schaum's outline of theory and problems of programming with structured cobol
ανά: Newcomer, Lawrence R.
Έκδοση: (1984)

Προγραμματισμός με την QuickBasic 4.0
Έκδοση: (1988)

Μαθήματα Fortran : εισαγωγή στον προγραμματισμό των ηλεκτρονικών υπολογιστών, μικρουπολογιστών (microcomputers), μίνι υπολογιστών (mini computers), μεγάλων υπολογιστών (large computers) /
ανά: Λάζος, Κωνσταντίνος Ε.
Έκδοση: (1985)

Models of sharing graphs a categorical semantics of let and letrec
ανά: Hasegawa, Masahito
Έκδοση: (1999)

Computing for engineers and scientists with Fortran 77
ανά: McCracken, Daniel D.
Έκδοση: (1984)

A Book on C /
ανά: Kelley, Al
Έκδοση: (1998)

Introduction to Turbo Pascal and software design
ανά: Dale, Nell
Έκδοση: (1998)

Cromemco 68000 level II Cobol operating manual Part No. 023-4069, October 1983
Έκδοση: (1983)

Elementary Cobol programming : a step by step approach /
ανά: Davis, Gordon B.
Έκδοση: (1971)

Learning Turbo Pascal a worktext
ανά: Spencer, Donald D.
Έκδοση: (1987)

Programming in Prolog
ανά: Clocksin, William F.
Έκδοση: (1987)

QuickC memory-resident utilities, screen I/O, and programming techniques
ανά: Stevens, Al, 1940-
Έκδοση: (1988)

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

Cannot write session to /tmp/vufind_sessions/sess_bt4u5ncolq6snjc50bq63blic5