Βελτιώστε την αναζήτησή σας

Η αναζήτηση επέστρεψε 374 αποτελέσματα.

Ταξινόμηση
Αφαίρεση επισήμανσης Τονισμός
Επιλογή όλων Καθαρισμός όλων
Επιλογή τίτλων για:
Αποτελέσματα
221.
Fuzzy sets and fuzzy logic theory and applications George J. Klir, Bo Yuan από
  • Klir, George J, 1932-
  • Yuan, Bo
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Upper Saddle River Prentice Hall 1995
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.322 Κ.
Προσθήκη στο καλάθι
222.
Nets, Terms and Formulas Tree views of Concurrent Processes and Their Relationship από
  • Olderog, E.-R [aut]
Σειρά: Cambridge Tracts in Theoretical Computer Science ; 23
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press c 1991
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.3 OLD, ...
Προσθήκη στο καλάθι
223.
Free choice Petri Nets από
  • Desel, Jorg [aut]
  • Esparza, Javier [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York Cambridge University Press c 1995
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 DES.
Προσθήκη στο καλάθι
224.
Cornerstones of Undecidability από
  • Rozenberg, Grzegorz [aut]
  • Salomaa, Arto [aut]
Σειρά: Prentice-Hall International Series in Computer Sience / C.A.R. Hoare
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York Prentice-Hall c1994
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.3 ROZ, ...
Προσθήκη στο καλάθι
225.
Logic and information flow / edited by Jan van Eijck and Albert Visser. από
  • Eijck, J. van (Jan) [επιμελητής]
  • Visser, Albert [επιμελητής]
Σειρά: Foundations of computing
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Cambridge, Mass. : MIT Press, c1994
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 LOG.
Προσθήκη στο καλάθι
226.
Handbook of mathematical logic / edited by Jon Barwise. από
  • Barwise, Jon [επιμελητής]
Σειρά: Studies in logic and the foundations of mathematics ; 90.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Amsterdam ; Netherlands : North-Holland ; Elsevier, 1977, [reprint 1978]
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: Π/Σ 511.3 HAN. Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (2)Ταξιθετικός αριθμός: Π/Σ 511.3 HAN, ...
Προσθήκη στο καλάθι
227.
Logic in Computer Science LICS '96 Proceedings of the 11th Annual IEEE Symposium New Brunswick, New Jersey , July 27-30, 1996 από
  • IEEE Computer Society Technical Committee on Mathematical Foundations of Computing [fnd]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Los Alamitos California IEEE Computer Society Press c1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 LOG.
Προσθήκη στο καλάθι
228.
Introduction to the theory of computation Michael Sipser από
  • Sipser, Michael
Σειρά: The PWS series in computer science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Boston P W S Publishers 1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 SIP.
Προσθήκη στο καλάθι
229.
Logic programming and nonmonotonic reasoning proceedings V.W. Marek, A. Nerode, M. Truszczynski (eds) Σειρά: Lecture notes in artificial intelligence ; 928
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer Verlag 1995
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 Μ.
Προσθήκη στο καλάθι
230.
Normalization, cut-elimination, and the theory of proofs / A.M. Ungar. από
  • Ungar, A. M. (Anthony M.), 1945- [συγγραφέας.]
Σειρά: CSLI lecture notes ; 28.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Stanford, CA : CSLI, c1992
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 UNG.
Προσθήκη στο καλάθι
231.
Efficient Graph Rewriting and its Implementation από
  • Dorr, Heiko [aut]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 922
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1995
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 DOR.
Προσθήκη στο καλάθι
232.
Modal logic an introduction Brian F. Chellas από
  • Chellas, Brian F
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press 1995
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.3 C, ...
Προσθήκη στο καλάθι
233.
A primer in Petri Net design από
  • Reisig, Wolfgang [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1992
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 REI.
Προσθήκη στο καλάθι
234.
Petrinetze Eine Einfuhrung από
  • Reisig, Wolfgang [aut]
Σειρά: Studienreihe Informatik / W. Brawer und G. Goos
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: German
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1986
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 REI.
Προσθήκη στο καλάθι
235.
Noisy information and computational complexity Leszek Plaskota από
  • Plaskota, Leszek
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press 1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 P.
Προσθήκη στο καλάθι
236.
Algebraic complexity theory / Peter Bürgisser, Michael Clausen, M. Amin Shokrollahi ; with the collaboration of Thomas Lickteig. από
  • Bürgisser, Peter, 1962- [συγγραφέας. ]
  • Clausen, Michael [συγγραφέας.]
  • Shokrollahi, Mohammad Amin [συγγραφέας.]
Σειρά: Grundlehren der mathematischen Wissenschaften ; 315.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 BUR. Μηχανικών Η/Υ και Πληροφορικής: Not for loan (1)Ταξιθετικός αριθμός: 511.3 BUR.
Προσθήκη στο καλάθι
237.
The lambda calculus : its syntax and semantics / H. P. Barendregt. από
  • Barendregt, H. P. (Hendrik Pieter) [συγγραφέας.]
Σειρά: Studies in logic and the foundations of mathematics
Έκδοση: Rev. ed.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Amsterdam : Elsevier, 1984 [4th impression 1998]
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.35 BAR.
Προσθήκη στο καλάθι
238.
The classical decision problem / Egon Boerger, Erich Grädel, Yuri Gurevich. από
  • Boerger, Egon, 1946- [συγγραφέας.]
  • Grädel, Erich, 1958- [συγγραφέας.]
  • Gurevich, Yuri [συγγραφέας.]
Σειρά: Perspectives in mathematical logic
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: New York : Springer, 1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 BOR.
Προσθήκη στο καλάθι
239.
Basic proof theory / A.S. Troelstra, H. Schwichtenberg. από
  • Troelstra, A. S. (Anne Sjerp) [συγγραφέας.]
  • Schwichtenberg, Helmut, 1942- [συγγραφέας.]
Σειρά: Cambridge tracts in theoretical computer science
Έκδοση: 2nd ed.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Cambridge ; New York : Cambridge University Press, 2000
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 TRO.
Προσθήκη στο καλάθι
240.
Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi. από
  • Odifreddi, Piergiorgio, 1950- [συγγραφέας.]
Σειρά: Studies in logic and the foundations of mathematics ; 125, 143.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Amsterdam ; New York : New York, N.Y., USA : North-Holland ; Sole distributors for the USA and Canada, Elsevier Science Pub. Co., 1989-1999
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 ODI.
Προσθήκη στο καλάθι
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας		 Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud