Αποτελέσματα για "Ηλεκτρονικοί υπολογιστές Μαθηματικές αρχές" Εμφανίζονται 1 - 23 Αποτελέσματα από 23 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22%CE%97%CE%BB%CE%B5%CE%BA%CF%84%CF%81%CE%BF%CE%BD%CE%B9%CE%BA%CE%BF%CE%AF+%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CF%84%CE%AD%CF%82+%CE%9C%CE%B1%CE%B8%CE%B7%CE%BC%CE%B1%CF%84%CE%B9%CE%BA%CE%AD%CF%82+%CE%B1%CF%81%CF%87%CE%AD%CF%82%22&type=Subject&lng=el 23 0 50 Εισαγωγή στη θεωρία υπολογισμού / Tue, 01 Jan 2008 04:48:25 +0200 https://find.library.upatras.gr/Record/72576 https://find.library.upatras.gr/Record/72576 Sipser, Michael Βιβλίο 2008 Sipser, Michael 0 Introduction to the theory of computation Mon, 01 Jan 1996 04:48:25 +0200 https://find.library.upatras.gr/Record/44291 https://find.library.upatras.gr/Record/44291 Sipser, Michael Βιβλίο 1996 Sipser, Michael 0 The resolution calculus / Wed, 01 Jan 1997 04:48:25 +0200 https://find.library.upatras.gr/Record/94330 https://find.library.upatras.gr/Record/94330 Leitsch, Alexander Βιβλίο 1997 Leitsch, Alexander 0 The limits of mathematics a course on information theory and limits of formal reasoning Thu, 01 Jan 1998 04:48:25 +0200 https://find.library.upatras.gr/Record/22213 https://find.library.upatras.gr/Record/22213 Chaitin, Gregory J. Βιβλίο 1998 Chaitin, Gregory J. 0 Automated reasoning introduction and applications Sun, 01 Jan 1984 04:48:25 +0200 https://find.library.upatras.gr/Record/75597 https://find.library.upatras.gr/Record/75597 Wos, Larry Βιβλίο 1984 Wos, Larry 0 Introduction to the theory of computation Mon, 01 Jan 1996 04:48:25 +0200 https://find.library.upatras.gr/Record/88113 https://find.library.upatras.gr/Record/88113 Sipser, Michael Βιβλίο 1996 Sipser, Michael 0 Teaching and learning formal methods Mon, 01 Jan 1996 04:48:25 +0200 https://find.library.upatras.gr/Record/92983 https://find.library.upatras.gr/Record/92983 Βιβλίο 1996 0 Εισαγωγή στη θεωρία υπολογισμού / Sun, 01 Jan 2012 04:48:25 +0200 https://find.library.upatras.gr/Record/97630 https://find.library.upatras.gr/Record/97630 Sipser, Michael Βιβλίο 2012 Sipser, Michael 0 Εισαγωγή στη θεωρία υπολογισμού / Mon, 01 Jan 2007 04:48:25 +0200 https://find.library.upatras.gr/Record/60688 https://find.library.upatras.gr/Record/60688 Sipser, Michael Βιβλίο 2007 Sipser, Michael 0 An introduction to computational learning theory : Sat, 01 Jan 1994 04:48:25 +0200 https://find.library.upatras.gr/Record/82442 https://find.library.upatras.gr/Record/82442 Kearns, Michael J. Βιβλίο 1994 Kearns, Michael J. 0 Arithmetic complexity of computations Tue, 01 Jan 1980 04:48:25 +0200 https://find.library.upatras.gr/Record/82927 https://find.library.upatras.gr/Record/82927 Winograd, Shmuel Βιβλίο 1980 Winograd, Shmuel 0 Computability and complexity from a programming perpective Wed, 01 Jan 1997 04:48:25 +0200 https://find.library.upatras.gr/Record/84279 https://find.library.upatras.gr/Record/84279 Jones, Neil D. Βιβλίο 1997 Jones, Neil D. 0 Extrapolation methods theory and practice Tue, 01 Jan 1991 04:48:25 +0200 https://find.library.upatras.gr/Record/86141 https://find.library.upatras.gr/Record/86141 Brezinski, Claude Βιβλίο 1991 Brezinski, Claude 0 First-order logic and automated theorem proving / Mon, 01 Jan 1996 04:48:25 +0200 https://find.library.upatras.gr/Record/86250 https://find.library.upatras.gr/Record/86250 Fitting, Melvin 1942- Βιβλίο 1996 Fitting, Melvin 1942- 0 A first course in formal logic and its applications in computer science Wed, 01 Jan 1986 04:48:25 +0200 https://find.library.upatras.gr/Record/31424 https://find.library.upatras.gr/Record/31424 Dowsing, R.D Βιβλίο 1986 Dowsing, R.D 0 Εισαγωγή στη θεωρία υπολογισμού / Wed, 01 Jan 2020 04:48:25 +0200 https://find.library.upatras.gr/Record/182819 https://find.library.upatras.gr/Record/182819 Sipser, Michael Βιβλίο 2020 Sipser, Michael 0 Foundations for programming languages Mon, 01 Jan 1996 04:48:25 +0200 https://find.library.upatras.gr/Record/1370 https://find.library.upatras.gr/Record/1370 Mitchell, John C. Βιβλίο 1996 Mitchell, John C. 0 The formal semantics of programming languages an introduction Fri, 01 Jan 1993 04:48:25 +0200 https://find.library.upatras.gr/Record/1371 https://find.library.upatras.gr/Record/1371 Winskel, G. (Glynn) Βιβλίο 1993 Winskel, G. (Glynn) 0 Automata and computability / Wed, 01 Jan 1997 04:48:25 +0200 https://find.library.upatras.gr/Record/1488 https://find.library.upatras.gr/Record/1488 Kozen, Dexter 1951- Βιβλίο 1997 Kozen, Dexter 1951- 0 Unconventional models of computation Thu, 01 Jan 1998 04:48:25 +0200 https://find.library.upatras.gr/Record/1727 https://find.library.upatras.gr/Record/1727 Βιβλίο 1998 0 Models of computation and formal languages R. Gregory Taylor Thu, 01 Jan 1998 04:48:25 +0200 https://find.library.upatras.gr/Record/2764 https://find.library.upatras.gr/Record/2764 Taylor, R. Gregory Βιβλίο 1998 Taylor, R. Gregory 0 DNA computing new computing paradigms Thu, 01 Jan 1998 04:48:25 +0200 https://find.library.upatras.gr/Record/2974 https://find.library.upatras.gr/Record/2974 Paun, G. Βιβλίο 1998 Paun, G. 0 Computing in Horn clause theories Fri, 01 Jan 1988 04:48:25 +0200 https://find.library.upatras.gr/Record/3186 https://find.library.upatras.gr/Record/3186 Padawitz, Peter Βιβλίο 1988 Padawitz, Peter 0