Αποτελέσματα
|
161.
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
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).
|