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

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

Ταξινόμηση
Αποτελέσματα
41.
Introduction to Modern Number Theory [electronic resource] Fundamental Problems, Ideas and Theories by Yuri Ivanovic Manin, Alexei A. Panchishkin από
  • Manin, IU I
  • Panchishkin, Alexei A
Σειρά: Encyclopaedia of Mathematical Sciences, Number Theory I ; 49
Έκδοση: Second Edition
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2005
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
42.
Valued Fields [electronic resource] by Antonio J. Engler, Alexander Prestel από
  • Engler, Antonio J
  • Prestel, Alexander
Σειρά: Springer Monographs in Mathematics
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2005
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1).
43.
Finite Model Theory [electronic resource] by Heinz-Dieter Ebbinghaus, JΓΆrg Flum από
  • Ebbinghaus, Heinz-Dieter, 1939-
  • Flum, JΓΆrg
Σειρά: Springer Monographs in Mathematics
Έκδοση: Second Revised and Enlarged Edition 1999
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1).
44.
Axiom of Choice [electronic resource] by Horst Herrlich από
  • Herrlich, Horst
Σειρά: Lecture Notes in Mathematics ; 1876
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin/Heidelberg 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1).
45.
Function Algebras on Finite Sets [electronic resource] A Basic Course on Many-Valued Logic and Clone Theory by Dietlinde Lau από
  • Lau, Dietlinde
Σειρά: Springer Monographs in Mathematics
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1).
46.
Platos Logik des Seins von Nicolai Hartmann από
  • Hartmann, Nicolai
Έκδοση: 2. Aufl
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Κοινό: Ειδικευμένο;
Γλώσσα: German
Λεπτομέρειες δημοσίευσης: Berlin W. de Gruyter 1965
Άλλος τίτλος:
  • Logik des Seins
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 184 HAR, ... Φιλοσοφίας (1)Ταξιθετικός αριθμός: 184 HAR.
47.
Wissenschaft der Logik G. W. F. Hegel; edited by Anton Friedrich Koch, Friedrike Schick από
  • Koch, Anton Friedrich [edt]
  • Schick, Friedrike [edt]
Σειρά: Klassiker Auslegen ; Band 27
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: German
Λεπτομέρειες δημοσίευσης: Berlin Akademie Verlag 2002
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Φιλοσοφίας (1)Ταξιθετικός αριθμός: HEGE 190.090 33 HEG.
48.
Introduction to mathematical logic / Hans Hermes ; translated from German by Diana Schmidt. από
  • Hermes, Hans [συγγραφέας.]
Σειρά: Universitext (Springer)
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά Original language: German
Λεπτομέρειες δημοσίευσης: Berlin : Springer-Verlag, 1973
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: Π/Σ 511.3 HER. Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 HER.
49.
Platon und der logische Eleatismus Gerold Prauss από
  • Prauss, Gerold [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: German
Λεπτομέρειες δημοσίευσης: Berlin Walter de Gruyter 1966
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Φιλοσοφίας (1)Ταξιθετικός αριθμός: 184 PRA.
50.
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).
51.
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).
52.
Logical Tools for Handling Change in Agent-Based Systems [electronic resource] by Dov M. Gabbay, Karl Schlechta από
  • Gabbay, Dov M, 1945-
  • Schlechta, Karl
  • SpringerLink (Online service)
Σειρά: Cognitive Technologies
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
53.
Computer Algebra in Scientific Computing [electronic resource] 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov από
  • Gerdt, Vladimir P
  • Koepf, Wolfram
  • Mayr, Ernst W
  • Vorozhtsov, Evgenii V
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6244
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
54.
High Performance Embedded Architectures and Compilers [electronic resource] 5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010. Proceedings edited by Yale N. Patt, Pierfrancesco Foglia, Evelyn Duesterwald, Paolo Faraboschi, Xavier Martorell από
  • Patt, Yale N
  • Foglia, Pierfrancesco
  • Duesterwald, Evelyn
  • Faraboschi, Paolo
  • Martorell, Xavier
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 5952
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
55.
Banach Spaces and Descriptive Set Theory: Selected Topics [electronic resource] by Pandelis Dodos από
  • Dodos, Pandelis
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Mathematics ; 1993
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1).
56.
Transfinite Zahlen Heinz Bachmann
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: German
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1967
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.322 B.
57.
Mathematische Gesetze der Logik / Schmidt H. Arnold. από
  • Schmidt, H. Arnold, 1902- [συγγραφέας.]
Σειρά: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; 69.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Berlin : Springer, 1960
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 SCH.
58.
Grundzüge der mathematischen Logik / Heinrich Scholz, Gisbert Hasenjaeger. από
  • Scholz, Heinrich, 1884-1956 [συγγραφέας.]
  • Hasenjaeger, Gisbert [συγγραφέας.]
Σειρά: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; 106.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Berlin : Springer, 1961
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 SCH.
59.
Complexity and structure από
  • Schöning, Uwe, 1955- [aut]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 211
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1986
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 SCH.
60.
Rewriting techniques and applications [Proceedings of the 1rst international conference] Dijon, France, May 20-22, 1985 από
  • Jouannaud, Jean-Pierre [edt]
Σειρά: Lecture Notes in Computer Science = 202
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1985
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 005.
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud