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

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

Ταξινόμηση
Αποτελέσματα
21.
Mathematical Problems from Applied Logic I [electronic resource] Logics for the XXIst Century edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev από
  • Gabbay, Dov M, 1945-
  • Goncharov, Sergei S
  • Zakharyaschev, Michael
Σειρά: International Mathematical Series ; 4
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York, NY Springer Science+Business Media, Inc. 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
22.
Notes on Set Theory [electronic resource] by Yiannis Moschovakis από
  • Moschovakis, Yiannis
Σειρά: Undergraduate Texts in Mathematics
Έκδοση: Second Edition
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York, NY Springer Science+Business Media, Inc. 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: 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.
Programming Sudoku [electronic resource] by Wei-Meng Lee από
  • Lee, Wei-Meng
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berkeley, CA Wei-Meng Lee 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
25.
Conceptual Structures: From Information to Intelligence [electronic resource] 18th International Conference on Conceptual Structures, ICCS 2010, Kuching, Sarawak, Malaysia, July 26-30, 2010. Proceedings edited by Madalina Croitoru, SΓ©bastien FerrΓ©, Dickson Lukose από
  • Croitoru, Madalina
  • FerrΓ©, SΓ©bastien
  • Lukose, Dickson
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6208
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
26.
Transactions on Rough Sets XI [electronic resource] edited by James F. Peters, Andrzej Skowron από
  • Peters, James F
  • Skowron, Andrzej
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 5946
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
27.
Reliable Software Technologiey – Ada-Europe 2010 [electronic resource] 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings edited by Jorge Real, Tullio Vardanega από
  • Real, Jorge
  • Vardanega, Tullio
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6106
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
28.
Advances in Computer Games [electronic resource] 12th International Conference, ACG 2009, Pamplona Spain, May 11-13, 2009. Revised Papers edited by H. Jaap Herik, Pieter Spronck από
  • Herik, H. Jaap
  • Spronck, Pieter
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6048
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
29.
Computer Science Logic [electronic resource] 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings edited by Anuj Dawar, Helmut Veith από
  • Dawar, Anuj
  • Veith, Helmut
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6247
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
30.
Transactions on Rough Sets XII [electronic resource] edited by James F. Peters, Andrzej Skowron, Roman SΕowiΕ„ski, Pawan Lingras, Duoqian Miao, Shusaku Tsumoto από
  • Peters, James F
  • Skowron, Andrzej
  • SΕowiΕ„ski, Roman
  • Lingras, Pawan
  • Miao, Duoqian
  • Tsumoto, Shusaku
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6190
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
31.
Fields of Logic and Computation [electronic resource] Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday edited by Andreas Blass, Nachum Dershowitz, Wolfgang Reisig από
  • Blass, Andreas
  • Dershowitz, Nachum
  • Reisig, Wolfgang
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6300
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
32.
Formal Concept Analysis [electronic resource] 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010. Proceedings edited by LΓonard Kwuida, Barış Sertkaya από
  • Kwuida, LΓonard
  • Sertkaya, Barış
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 5986
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
33.
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).
34.
Integrated Formal Methods [electronic resource] 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings edited by Dominique MΓ©ry, Stephan Merz από
  • MΓ©ry, Dominique
  • Merz, Stephan
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6396
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
35.
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods [electronic resource] 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part I edited by Eyke HΓΌllermeier, Rudolf Kruse, Frank Hoffmann από
  • HΓΌllermeier, Eyke
  • Kruse, Rudolf
  • Hoffmann, Frank
  • SpringerLink (Online service)
Σειρά: Communications in Computer and Information Science ; 80
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
36.
Language and Automata Theory and Applications [electronic resource] 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings edited by Adrian-Horia Dediu, Henning Fernau, Carlos MartΓ­n-Vide από
  • Dediu, Adrian-Horia
  • Fernau, Henning
  • MartΓ­n-Vide, Carlos
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6031
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
37.
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).
38.
Functional and Constraint Logic Programming [electronic resource] 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers edited by Santiago Escobar από
  • Escobar, Santiago
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 5979
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
39.
Semantic Processing of Legal Texts [electronic resource] Where the Language of Law Meets the Law of Language edited by Enrico Francesconi, Simonetta Montemagni, Wim Peters, Daniela Tiscornia από
  • Francesconi, Enrico
  • Montemagni, Simonetta
  • Peters, Wim
  • Tiscornia, Daniela
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6036
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
40.
Data Mining and Knowledge Discovery via Logic-Based Methods [electronic resource] Theory, Algorithms, and Applications by Evangelos Triantaphyllou από
  • Triantaphyllou, Evangelos
  • SpringerLink (Online service)
Σειρά: Springer Optimization and Its Applications ; 43
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Boston, MA Springer Science+Business Media, LLC 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud