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

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

Ταξινόμηση
Αποτελέσματα
21.
DNA computing new computing paradigms G. Paun, G. Rozenberg, A. Salomaa από
  • Paun, G
  • Rozenberg, Grzegorz
  • Salomaa, A
Σειρά: Texts in theoretical computer science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer 1998
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 P.
22.
Computing in Horn clause theories Peter Padawitz από
  • Padawitz, Peter
Σειρά:
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1988
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 P.
23.
Φιλοσοφικές παρατηρήσεις / Ludwic Wittgenstein ; εισαγωγή, μετάφραση, σχόλια: Κωστής Μ. Κωβαίος. από
  • Wittgenstein, Ludwig, 1889-1951 [συγγραφέας]
  • Κωβαίος, Κωστής Μ, 1950- [μεταφραστής, σχολιαστής]
Σειρά: Φιλοσοφική και πολιτική βιβλιοθήκη (Γνώση) ; 44
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Greek, Modern (1453- )
Λεπτομέρειες δημοσίευσης: Αθήνα : Γνώση, 1993
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Αρχιτεκτονική (1)Ταξιθετικός αριθμός: 190.090 34 WIT. ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 193 W, ... Επιστημών της Εκπαίδευσης και Κοινωνικής Εργασίας (1)Ταξιθετικός αριθμός: 193 WIT. Φιλοσοφίας (1)Ταξιθετικός αριθμός: 190.090 34 W. Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: Φιλοσοφίας: Not for loan (1)Ταξιθετικός αριθμός: 190.090 34 W.
24.
Domains and lambda-calculi Roberto M. Amadio and Pierre-Louis Curien από
  • Amadio, Roberto M
  • Curien, Pierre-Louis
Σειρά: Cambridge tracts in theoretical computer science ; 46
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press 1998
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 005.13 A, ...
25.
The logic of partial information Areski Nait Abdallah από
  • Nait Abdallah, Areski, 1950-
Σειρά: Monographs in theoretical computer science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin New York Springer 1995
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 N.
26.
Einführung in die Verbandstheorie / Hans Hermes. από
  • Hermes, Hans [συγγραφέας.]
Σειρά: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; 73.
Έκδοση: 2., erw. Aufl.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer, 1967
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (2)Ταξιθετικός αριθμός: Π/Σ 511.33 HER, ...
27.
Elements of logic via numbers and sets / D. L. Johnson. από
  • Johnson, D. L [συγγραφέας.]
Σειρά: Springer undergraduate mathematics series
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: London : Springer, 1998
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 JOH.
28.
Ockham algebras T.S. Blyth and J.C. Varlet από
  • Blyth, T. S. (Thomas Scott)
  • Varlet, J. C
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Oxford Oxford University Press 1994
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.33 B.
29.
Λογική και απόδειξη : θεωρία-ασκήσεις / Μπράνισλαβ Μπόριτσιτς. από
  • Boricic, Branislav, 1955- [συγγραφέας.]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Κοινό: Γενικό;
Λεπτομέρειες δημοσίευσης: Θεσσαλονίκη : Ζήτη, 1995
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 BOR.
30.
Αφηρημένα λογικά συστήματα και εφαρμογές τους στις γλώσσες προδιαγραφών Πέτρου Σ. Στεφανέα; Εθνικό Μετσόβειο Πολυτεχνείο από
  • Στεφανέας, Πέτρος Σ
  • Εθνικό Μετσόβιο Πολυτεχνείο [Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών, Τομέας Μαθηματικών]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Greek, Modern (1453- )
Λεπτομέρειες δημοσίευσης: Αθήνα [χ.ό.] 2001
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 ΣΤΕ.
31.
Αφορισμοί και εξομολογήσεις Ludwig Wittgenstein; επιλογή, εισαγωγή, μετάφραση, σημειώσεις, επιμέλεια Κωστής Μ. Κωβαίος από
  • Wittgenstein, Ludwig, 1889-1951
  • Κωβαίος, Κωστής Μ, 1950- [trl]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Greek, Modern (1453- ) Original language: German, Αγγλικά
Λεπτομέρειες δημοσίευσης: Αθήνα Καρδαμίτσα 1993
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 192 WIT. Φιλοσοφίας (1)Ταξιθετικός αριθμός: 190.090 34 W.
32.
The limits of mathematics a course on information theory and limits of formal reasoning Gregory J. Chaitin από
  • Chaitin, Gregory J [aut]
Σειρά: Springer series in discrete mathematics and theoretical computer science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Singapore Springer 1998
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 CHA.
33.
Theory of relations / Roland Fraisse ; with an appendix by Norbert Sauer. από
  • Fraisse, Roland [συγγραφέας.]
Σειρά: Studies in logic and the foundations of mathematics ; 145.
Έκδοση: Rev. ed.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Amsterdam : Elsevier, 2000
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 FRA.
34.
Στοιχεία διακριτών μαθηματικών / C.L. Liu; απόδοση στα ελληνικά Κωνσταντίνος Μπους, Δημήτριος Γραμμένος. από
  • Liu, C. L. (Chung Laung), 1934- [συγγραφέας.]
  • Μπους, Κωνσταντίνος [μεταφραστής.]
  • Γραμμένος, Δημήτριος [μεταφραστής.]
Σειρά:
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Ηράκλειο : Πανεπιστημιακές Εκδόσεις Κρήτης, 1999
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 LIU.
35.
Computability and logic George S. Boolos, John P. Burgess, Richard C. Jeffrey από
  • Boolos, George S
  • Jeffrey, Richard
  • Burgess, John P, 1948-
Έκδοση: 4th ed.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press 2002
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 BOO. Φιλοσοφίας (1)Ταξιθετικός αριθμός: 510 Β.
36.
Automata theory and its applications Bakhadyr Khoussainov, Anil Nerode από
  • Khoussainov, Bakhadyr, 1961-
  • Nerode, Anil, 1932-
Σειρά: Progress in computer science and applied logic ; 21
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Boston Birkhauser 2001
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 K.
37.
Μαθηματική λογική Γιώργος Μητακίδης από
  • Μητακίδης, Γιώργος
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Greek, Modern (1453- )
Λεπτομέρειες δημοσίευσης: Πάτρα Οργανισμός Εκδόσεως Διδακτικών Βιβλίων 1980
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.3 ΜΗΤ, ...
38.
Introduction to mathematical logic. Vol. 1 by Alonzo Church από
  • Church, Alonzo
Σειρά: Princeton Mathematical Series ; 17
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New Jersey Princeton University Press 1956
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 CHU.
39.
From Frege to Godel a source book in mathematical logic, 1879-1931 Jean van Heijenoort από
  • Van Heijenoort, Jean, 1912-1986
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge, MA Harvard University Press 1967
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 ΗΕΙ.
40.
Introduction to metamathematics by Stephen Cole Kleene από
  • Kleene, Stephen Cole, 1909-1994
Σειρά: Bibliotheca Mathematica ; 1
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Groningen Wolters-Noordhoff Publishing 1971
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.32 KLE.
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud