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

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

Ταξινόμηση
Αποτελέσματα
21.
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).
22.
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).
23.
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).
24.
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).
25.
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).
26.
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.
27.
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).
28.
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).
29.
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).
30.
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).
31.
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).
32.
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).
33.
Transfinite Zahlen Heinz Bachmann
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: German
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1967
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.322 B.
34.
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.
35.
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.
36.
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.
37.
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.
38.
Constructibility από
  • Devlin, Keith J [aut]
Σειρά: Perspectives in Mathematical Logic
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1984
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 DEV.
39.
Automated deduction, CADE-11 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 proceedings D. Kapur (ed.) από
  • Kapur, Deepak [edt]
Σειρά: Lecture notes in artificial intelligence ; 607
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer - Verlag 1992
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 INT.
40.
Automated deduction - CADE-12 proceedings Alan Bundy (Ed.) από
  • Bundy, Alan
Σειρά: Lecture notes in artificial intelligence ; 814
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer - Verlag 1994
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 B.
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud