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

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

Ταξινόμηση
Αποτελέσματα
161.
Advances in Artificial Intelligence – IBERAMIA 2010 [electronic resource] 12th Ibero-American Conference on AI, BahΓa Blanca, Argentina, November 1-5, 2010. Proceedings edited by Angel Kuri-Morales, Guillermo R. Simari από
  • Kuri-Morales, Angel
  • Simari, Guillermo R
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6433
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
162.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings edited by Christian G. FermΓΌller, Andrei Voronkov από
  • FermΓΌller, Christian G
  • Voronkov, Andrei
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6397
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
163.
Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I edited by Tiziana Margaria, Bernhard Steffen από
  • Margaria, Tiziana
  • Steffen, Bernhard
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6415
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
164.
Lean Enterprise Software and Systems [electronic resource] First International Conference, LESS 2010, Helsinki, Finland, October 17-20, 2010. Proceedings edited by Pekka Abrahamsson, Nilay Oza από
  • Abrahamsson, Pekka
  • Oza, Nilay
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Business Information Processing ; 65
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
165.
Security and Privacy in Mobile Information and Communication Systems [electronic resource] Second International ICST Conference, MobiSec 2010, Catania, Sicily, Italy, May 27-28, 2010, Revised Selected Papers edited by Andreas U. Schmidt, Giovanni Russello, Antonio Lioy, Neeli R. Prasad, Shiguo Lian από
  • Schmidt, Andreas U
  • Russello, Giovanni
  • Lioy, Antonio
  • Prasad, Neeli R
  • Lian, Shiguo
  • SpringerLink (Online service)
Σειρά: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 47
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
166.
Advances in Computation and Intelligence [electronic resource] 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010. Proceedings edited by Zhihua Cai, Chengyu Hu, Zhuo Kang, Yong Liu από
  • Cai, Zhihua
  • Hu, Chengyu
  • Kang, Zhuo
  • Liu, Yong
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6382
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
167.
Automata for Branching and Layered Temporal Structures [electronic resource] An Investigation into Regularities of Infinite Transition Systems by Gabriele Puppis από
  • Puppis, Gabriele
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 5955
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
168.
Facets of Virtual Environments [electronic resource] First International Conference, FaVE 2009, Berlin, Germany, July 27-29, 2009, Revised Selected Papers edited by Fritz Lehmann-Grube, Jan Sablatnig από
  • Lehmann-Grube, Fritz
  • Sablatnig, Jan
  • SpringerLink (Online service)
Σειρά: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 33
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
169.
Modeling Decisions for Artificial Intelligence [electronic resource] 7th International Conference, MDAI 2010, Perpignan, France, October 27-29, 2010. Proceedings edited by VicenΓ§ Torra, Yasuo Narukawa, Marc Daumas από
  • Torra, VicenΓ§
  • Narukawa, Yasuo
  • Daumas, Marc
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6408
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
170.
Culture and Computing [electronic resource] Computing and Communication for Crosscultural Interaction edited by Toru Ishida από
  • Ishida, Toru
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6259
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
171.
Algorithms and Computation [electronic resource] 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I edited by Otfried Cheong, Kyung-Yong Chwa, Kunsoo Park από
  • Cheong, Otfried
  • Chwa, Kyung-Yong
  • Park, Kunsoo
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6506
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
172.
Structural Information and Communication Complexity [electronic resource] 16th International Colloquium, SIROCCO 2009, Piran, Slovenia, May 25-27, 2009, Revised Selected Papers edited by Shay Kutten, Janez Εerovnik από
  • Kutten, Shay
  • Εerovnik, Janez
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 5869
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
173.
Intelligent Virtual Agents [electronic resource] 10th International Conference, IVA 2010, Philadelphia, PA, USA, September 20-22, 2010. Proceedings edited by Jan Allbeck, Norman Badler, Timothy Bickmore, Catherine Pelachaud, Alla Safonova από
  • Allbeck, Jan
  • Badler, Norman
  • Bickmore, Timothy
  • Pelachaud, Catherine
  • Safonova, Alla
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6356
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
174.
Ubiquitous Intelligence and Computing [electronic resource] 7th International Conference, UIC 2010, Xiβ€an, China, October 26-29, 2010. Proceedings edited by Zhiwen Yu, Ramiro Liscano, Guanling Chen, Daqing Zhang, Xingshe Zhou από
  • Yu, Zhiwen
  • Liscano, Ramiro
  • Chen, Guanling
  • Zhang, Daqing
  • Zhou, Xingshe
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6406
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
175.
Ambient Intelligence and Future Trends-International Symposium on Ambient Intelligence (ISAmI 2010) [electronic resource] edited by Juan Carlos Augusto, Juan M. Corchado, Paulo Novais, Cesar Analide από
  • Augusto, Juan Carlos
  • Corchado, Juan M
  • Novais, Paulo
  • Analide, Cesar
  • SpringerLink (Online service)
Σειρά: Advances in Intelligent and Soft Computing ; 72
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
176.
Web Application Security [electronic resource] Iberic Web Application Security Conference, IBWAS 2009, Madrid, Spain, December 10-11, 2009. Revised Selected Papers edited by Carlos SerrΓo, Vicente Aguilera DΓaz, Fabio Cerullo από
  • SerrΓo, Carlos
  • Aguilera Cerni, Vicente
  • Cerullo, Fabio
  • SpringerLink (Online service)
Σειρά: Communications in Computer and Information Science ; 72
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
177.
Algorithms and Computation [electronic resource] 21st International Symposium, ISAAC 2010, Jeju, Korea, December 15-17, 2010, Proceedings, Part II edited by Otfried Cheong, Kyung-Yong Chwa, Kunsoo Park από
  • Cheong, Otfried
  • Chwa, Kyung-Yong
  • Park, Kunsoo
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6507
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud