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

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

Ταξινόμηση
Αφαίρεση επισήμανσης Τονισμός
Επιλογή όλων Καθαρισμός όλων
Επιλογή τίτλων για:
Αποτελέσματα
141.
Logic as algebra / Paul Halmos, Steven Givant. από
  • Halmos, Paul R. (Paul Richard), 1916-2006 [συγγραφέας]
  • Givant, Steven R [συγγραφέας]
Σειρά: The Dolciani mathematical expositions ; v. 21
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Κοινό: Ειδικευμένο;
Λεπτομέρειες δημοσίευσης: [Washington, D.C.] : Mathematical Association of America, 1998
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 HAL. Φιλοσοφίας (2)Ταξιθετικός αριθμός: 511.3 HAL, ...
Προσθήκη στο καλάθι
142.
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη
Μαθηματικές θεμελιώσεις της θεωρίας υπολογισμού / Μωυσής Μπουντουρίδης, Όμηρος Ράγγος από
  • Μπουντουρίδης, Μωυσής Α [συγγραφέας]
  • Ράγγος, Όμηρος [συγγραφέας]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Πάτρα : Πανεπιστήμιο Πατρών, 2015
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 ΜΠΟ.
Προσθήκη στο καλάθι
143.
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη
Νέες μέθοδοι εκμάθησης για ασαφή γνωστικά δίκτυα και εφαρμογές στην ιατρική και βιομηχανία Ελπινίκης Ι. Παπαγεωργίου ; Πανεπιστήμιο Πατρών, Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών από
  • Παπαγεωργίου, Ελπινίκη Ι
  • Πανεπιστήμιο Πατρών Σχολή Επιστημών Υγείας Τμήμα Ιατρικής [Πολυτεχνική Σχολή, Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Greek, Modern (1453- )
Λεπτομέρειες δημοσίευσης: Πάτρα [χ.ό.] 2004
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 006.3 ΠΑΠ , ...
Προσθήκη στο καλάθι
144.
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη
Ασαφή δίκτυα Petri του Χαρίλαου Κ. Κυρίτση από
  • Κυρίτσης, Χαρίλαος
  • Πανεπιστήμιο Πατρών Σχολή Επιστημών Υγείας Τμήμα Ιατρικής [Σχολή Θετικών Επιστημών, Τμήμα Μαθηματικών]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Greek, Modern (1453- )
Λεπτομέρειες δημοσίευσης: [Χ.τ.] [χ.ό.] 2008
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 ΚΥΡ.
Προσθήκη στο καλάθι
145.
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη
Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων περίπτωση ACT-P Κεραμυδάς Ελευθέριος ; Πανεπιστήμιο Πατρών από
  • Κεραμύδας, Ελευθέριος
  • Πανεπιστήμιο Πατρών Σχολή Επιστημών Υγείας Τμήμα Ιατρικής [Σχολή Θετικών Επιστημών, Τμήμα Μαθηματικών]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Greek, Modern (1453- )
Λεπτομέρειες δημοσίευσης: Πάτρα [χ.ό.] 2004
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 ΚΕΡ .
Προσθήκη στο καλάθι
146.
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη
Contributions to non-standard analysis / edited by W. A. J. Luxemburg and A. Robinson. από
  • Symposium on Non-standard Analysis (1970 : Oberwolfach, Germany)
  • Luxemburg, W. A. J, 1929- [επιμελητής.]
  • Robinson, Abraham, 1918-1974 [επιμελητής.]
Σειρά: Studies in logic and the foundations of mathematics ; 69.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1972
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 515 SYM.
Προσθήκη στο καλάθι
147.
A treatise on many-valued logics Siegfried Gottwald από
  • Gottwald, Siegfried
Σειρά: Studies in logic and computation ; 9
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Baldock Research Studies Press Ltd. 2001
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: 511.3 GOT.
Προσθήκη στο καλάθι
148.
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη
The language of logic by Hans Freudenthal από
  • Freudenthal, Hans, 1905-
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Amsterdam Elsevier Publishing Company 1966
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.3 FRE, ...
Προσθήκη στο καλάθι
149.
Introduction to mathematical proofs a transition Charles E. Roberts, Jr. από
  • Roberts, Charles E
Σειρά: Textbooks in mathematics
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Boca Raton CRC Press 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.36 ROB.
Προσθήκη στο καλάθι
150.
Computational complexity a modern approach Sanjeev Arora, Boaz Barak από
  • Arora, Sanjeev [aut]
  • Barak, Boaz [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge, NY Cambridge University Press 2009
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 ARO.
Προσθήκη στο καλάθι
151.
Problem solving in automata, languages, and complexity [electronic resource] Ding-Zhu Du, Ker-I Ko από
  • Du, Dingzhu
  • Ko, Ker-I
  • John Wiley & Sons
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York Wiley c2001
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 DU.
Προσθήκη στο καλάθι
152.
Handbook of Set Theory [electronic resource] edited by Matthew Foreman, Akihiro Kanamori από
  • Foreman, Matthew
  • Kanamori, Akihiro
  • SpringerLink (Online service)
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Dordrecht Springer Science+Business Media B.V. 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
Προσθήκη στο καλάθι
153.
Ernst Zermelo - Collected Works/Gesammelte Werke [electronic resource] Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia by Ernst Zermelo; edited by Heinz-Dieter Ebbinghaus, Craig G. Fraser, Akihiro Kanamori από
  • Zermelo, Ernst
  • Ebbinghaus, Heinz-Dieter, 1939-
  • Fraser, Craig G
  • Kanamori, Akihiro
  • SpringerLink (Online service)
Σειρά: Schriften der Mathematisch-naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften ; 21
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
Προσθήκη στο καλάθι
154.
Cognitive Research [electronic resource] A Formal Approach by TamΓ's Gergely, Oleg M. Anshakov από
  • Gergely, TamΓ's
  • Anshakov, Oleg M
  • SpringerLink (Online service)
Σειρά: Cognitive Technologies
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
Προσθήκη στο καλάθι
155.
Mathematical Logic [electronic resource] Foundations for Information Science by Wei Li από
  • Li, Wei
  • SpringerLink (Online service)
Σειρά: Progress in Computer Science and Applied Logic (PCS) ; 25
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Basel BirkhΓuser Basel 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
Προσθήκη στο καλάθι
156.
Natural Deduction, Hybrid Systems and Modal Logics [electronic resource] by Andrzej Indrzejczak από
  • Indrzejczak, Andrzej
  • SpringerLink (Online service)
Σειρά: Trends in Logic ; 30
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Dordrecht Springer Science+Business Media B.V. 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
Προσθήκη στο καλάθι
157.
A Concise Introduction to Mathematical Logic [electronic resource] by Wolfgang Rautenberg από
  • Rautenberg, Wolfgang
  • SpringerLink (Online service)
Σειρά: Universitext
Έκδοση: 3
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York, NY Springer-Verlag New York 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1).
Προσθήκη στο καλάθι
158.
Logic and Philosophy of Mathematics in the Early Husserl [electronic resource] by Stefania Centrone από
  • Centrone, Stefania
  • SpringerLink (Online service)
Σειρά: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 345
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Dordrecht Springer Science+Business Media B.V. 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
Προσθήκη στο καλάθι
159.
The P=NP Question and GΓΆdel’s Lost Letter [electronic resource] by Richard J. Lipton από
  • Lipton, Richard J
  • SpringerLink (Online service)
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Boston, MA Springer Science+Business Media, LLC 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
Προσθήκη στο καλάθι
160.
Additive Number Theory [electronic resource] Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson edited by David Chudnovsky, Gregory Chudnovsky από
  • Chudnovsky, D. (David), 1947-
  • Chudnovsky, Gregory
  • SpringerLink (Online service)
Έκδοση: 1
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York, NY Springer Science+Business Media, LLC 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
Προσθήκη στο καλάθι
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας		 Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud