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

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

Ταξινόμηση
Αποτελέσματα
41.
Uncertainty, Rationality, and Agency [electronic resource] by Wiebe Hoek από
  • Hoek, Wiebe
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Dordrecht Springer 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
42.
Rigid Flexibility [electronic resource] The Logic of Intelligence by Pei Wang από
  • Wang, Pei
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Dordrecht Springer 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
43.
Theoretical Introduction to Programming [electronic resource] by Bruce Mills από
  • Mills, Bruce
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: London Springer-Verlag London Limited 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
44.
Agent Technology from a Formal Perspective [electronic resource] edited by Christopher A. Rouff, Michael Hinchey, James Rash, Walter Truszkowski, Diana Gordon-Spears από
  • Rouff, Christopher A
  • Hinchey, Michael
  • Rash, James
  • Truszkowski, Walter
  • Gordon-Spears, Diana
Σειρά: NASA Monographs in Systems and Software Engineering
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: London Springer-Verlag London Limited 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
45.
Concurrency Theory [electronic resource] Calculi and Automata for Modelling Untimed and Timed Concurrent Systems by Howard Bowman, Rodolfo Gomez από
  • Bowman, Howard
  • Gomez, Rodolfo
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: London Springer-Verlag London Limited 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
46.
Discrete Mathematics Using a Computer [electronic resource] by John O’Donnell, Cordelia Hall, Rex Page από
  • O’Donnell, John
  • Hall, Cordelia
  • Page, Rex
Έκδοση: 2
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: London Springer-Verlag London Limited 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
47.
Parameterized Complexity Theory [electronic resource] by JΓΆrg Flum, Martin Grohe από
  • Flum, JΓΆrg
  • Grohe, Martin
Σειρά: Texts in Theoretical Computer Science. An EATCS Series
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
48.
Fuzzy-Neuro Approach to Agent Applications [electronic resource] From the AI Perspective to Modern Ontology by Raymond S. T. Lee από
  • Lee, Raymond S. T
Σειρά: Springer Series in Agent Technology
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
49.
Formal Models of Communicating Systems [electronic resource] Languages, Automata, and Monadic Second-Order Logic by Benedikt Bollig από
  • Bollig, Benedikt
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
50.
Software Engineering 3 [electronic resource] Domains, Requirements, and Software Design by Dines BjΓΈner από
  • BjΓΈner, Dines
Σειρά: Texts in Theoretical Computer Science An EATC Series
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
51.
Comprehensive Mathematics for Computer Scientists 1 [electronic resource] Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition) by Guerino Mazzola, GΓ©rard Milmeister, Jody Weissmann από
  • Mazzola, Guerino
  • Milmeister, GΓ©rard
  • Weissmann, Jody
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
52.
Fault-Tolerance Techniques for SRAM-based FPGAs [electronic resource] by Fernanda Lima Kastensmidt, Luigi Carro, Ricardo Reis από
  • Kastensmidt, Fernanda Lima
  • Carro, Luigi
  • Reis, Ricardo
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Boston, MA Springer 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
53.
A Roadmap for Formal Property Verification [electronic resource] by Pallab DasGupta από
  • DasGupta, Pallab
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Dordrecht Springer 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
54.
Analogy in Indian and Western Philosophical Thought [electronic resource] by David B. Zilberman; edited by Helena Gourko, Robert S. Cohen από
  • Zilberman, David B, 1938-1977
  • Gourko, Helena
  • Cohen, R. S. (Robert Sonne)
Σειρά: Boston Studies in the Philosophy of Science ; 243
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Dordrecht Springer 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1).
55.
Signs of logic [electronic resource] Peircean themes on the philosophy of language, games, and communication by Ahti-Veikko Pietarinen από
  • Pietarinen, Ahti-Veikko
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Dordrecht Springer 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
56.
Logos of Phenomenology and Phenomenology of the Logos. Book Four [electronic resource] The Logos of Scientific Interrogation. Participating in Nature-Life-Sharing in Life edited by Anna-Teresa Tymieniecka από
  • Tymieniecka, Anna-Teresa
Σειρά: Analecta Husserliana, The Yearbook of Phenomenological Research ; 91
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Dordrecht Springer 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
57.
ABDUCTIVE REASONING [electronic resource] LOGICAL INVESTIGATIONS INTO DISCOVERY AND EXPLANATION by ATOCHA ALISEDA από
  • Aliseda, Atocha
Σειρά: Synthese Library ; 330
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Dordrecht Springer 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
58.
A logical Approach to Philosophy [electronic resource] Essays in Honour of Graham Solomon edited by David Devidi, Tim Kenyon από
  • Devidi, David
  • Kenyon, Tim
Σειρά: The Western Ontario Series in Philosophy of Science, A Series of Books in Philosophy of Science, Methodology, Epistemology, Logic, History of Science, and Related Fields ; 69
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Dordrecht Springer 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
59.
Contributions to the Science of Text and Language [electronic resource] Word Length Studies and Related Issues edited by Peter Grzybek από
  • Grzybek, Peter
Σειρά: Text, Speech and Language Technology ; 31
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Dordrecht Springer 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
60.
Cambridge and Vienna [electronic resource] Frank P. Ramsey and the Vienna Circle edited by Maria Carla Galavotti από
  • Galavotti, Maria Carla
Σειρά: Vienna Circle Institute Yearbook [2004] ; 12
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Dordrecht Springer 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud