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

Αποτελέσματα
	381.	Ubiquitous Computing and Multimedia Applications [electronic resource] International Conference, UCMA 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings edited by G. S. Tomar, William I. Grosky, Tai-hoon Kim, Sabah Mohammed, Sanjoy Kumar Saha από Tomar, G. S Grosky, William I Kim, Tai-hoon Mohammed, Sabah Saha, Sanjoy Kumar SpringerLink (Online service) Σειρά: Communications in Computer and Information Science ; 75 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	382.	Natural Deduction, Hybrid Systems and Modal Logics [electronic resource] by Andrzej Indrzejczak από Indrzejczak, Andrzej SpringerLink (Online service) Σειρά: Trends in Logic ; 30 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Dordrecht Springer Science+Business Media B.V. 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	383.	Functional and Logic Programming [electronic resource] 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings edited by Matthias Blume, Naoki Kobayashi, GermΓ'n Vidal από Blume, Matthias Kobayashi, Naoki Vidal, GermΓ'n SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6009 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	384.	Haptic and Audio Interaction Design [electronic resource] 5th International Workshop, HAID 2010, Copenhagen, Denmark, September 16-17, 2010. Proceedings edited by Rolf Nordahl, Stefania Serafin, Federico Fontana, Stephen Brewster από Nordahl, Rolf Serafin, Stefania Fontana, Federico Brewster, Stephen SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6306 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	385.	Information and Communications Security [electronic resource] 12th International Conference, ICICS 2010, Barcelona, Spain, December 15-17, 2010. Proceedings edited by Miguel Soriano, Sihan Qing, Javier LΓ³pez από Soriano, Miguel Qing, Sihan LΓ³pez, Javier SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6476 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	386.	Automated Reasoning [electronic resource] 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings edited by JΓΌrgen Giesl, Reiner HΓ€hnle από Giesl, JΓΌrgen HΓ€hnle, Reiner SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6173 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	387.	Case-Based Reasoning. Research and Development [electronic resource] 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010. Proceedings edited by Isabelle Bichindaritz, Stefania Montani από Bichindaritz, Isabelle Montani, Stefania SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6176 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	388.	Transactions on Computational Collective Intelligence II [electronic resource] edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk από Nguyen, Ngoc Thanh Kowalczyk, Ryszard SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6450 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	389.	Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis [electronic resource] AAMAS Workshop, AMEC 2008, Estoril, Portugal, May 12-16, 2008, and AAAI Workshop, TADA 2008, Chicago, IL, USA, July 14, 2008, Revised Selected Papers edited by Wolfgang Ketter, Han PoutrΓ©, Norman Sadeh, Onn Shehory, William Walsh από Ketter, Wolfgang PoutrΓ©, Han Sadeh, Norman Shehory, Onn Walsh, William, 1916-1996 SpringerLink (Online service) Σειρά: Lecture Notes in Business Information Processing ; 44 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	390.	Genetic Programming [electronic resource] 13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings edited by Anna Isabel Esparcia-AlcΓ'zar, AnikΓ³ EkΓ'rt, Sara Silva, Stephen Dignum, A. Εima Uyar από Esparcia-Alcazar, Anna I EkΓ'rt, AnikΓ³ Silva, Sara Dignum, Stephen Uyar, A. Εima SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6021 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	391.	Mobile Lightweight Wireless Systems [electronic resource] Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, Revised Selected Papers edited by Periklis Chatzimisios, Christos Verikoukis, Ignacio SantamarΓa, Massimiliano Laddomada, Oliver Hoffmann από Chatzimisios, Periklis Verikoukis, Christos SantamarΓa, Ignacio Laddomada, Massimiliano Hoffmann, Oliver SpringerLink (Online service) Σειρά: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 45 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	392.	HCI in Work and Learning, Life and Leisure [electronic resource] 6th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering, USAB 2010, Klagenfurt, Austria, November 4-5, 2010. Proceedings edited by Gerhard Leitner, Martin Hitz, Andreas Holzinger από Leitner, Gerhard Hitz, Martin Holzinger, Andreas SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6389 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	393.	Insider Threats in Cyber Security [electronic resource] edited by Christian W. Probst, Jeffrey Hunker, Dieter Gollmann, Matt Bishop από Probst, Christian W Hunker, Jeffrey Gollmann, Dieter Bishop, Matt SpringerLink (Online service) Σειρά: Advances in Information Security ; 49 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Boston, MA Springer Science+Business Media, LLC 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	394.	Digital Preservation for Heritages [electronic resource] Technologies and Applications by Dongming Lu, Yunhe Pan από Lu, Dongming Pan, Yunhe SpringerLink (Online service) Σειρά: Advanced Topics in Science and Technology in China Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	395.	Automata, Languages and Programming [electronic resource] 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II edited by Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis από Abramsky, Samson, 1953- Gavoille, Cyril Kirchner, Claude Meyer auf der Heide, Friedhelm Σπυράκης, Παύλος Γ SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6199 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	396.	Computational Line Geometry [electronic resource] by Helmut Pottmann, Johannes Wallner από Pottmann, Helmut Wallner, Johannes SpringerLink (Online service) Σειρά: Mathematics and Visualization Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	397.	Databases in Networked Information Systems [electronic resource] 6th International Workshop, DNIS 2010, Aizu-Wakamatsu, Japan, March 29-31, 2010. Proceedings edited by Shinji Kikuchi, Shelly Sachdeva, Subhash Bhalla από Kikuchi, Shinji Sachdeva, Shelly Bhalla, Subhash SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 5999 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	398.	A Concise Introduction to Mathematical Logic [electronic resource] by Wolfgang Rautenberg από Rautenberg, Wolfgang SpringerLink (Online service) Σειρά: Universitext Έκδοση: 3 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York, NY Springer-Verlag New York 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1). Προσθήκη στο καλάθι (αφαίρεση)
	399.	Smart Spaces and Next Generation Wired/Wireless Networking [electronic resource] Third Conference on Smart Spaces, ruSMART 2010, and 10th International Conference, NEW2AN 2010, St. Petersburg, Russia, August 23-25, 2010. Proceedings edited by Sergey Balandin, Roman Dunaytsev, Yevgeni Koucheryavy από Balandin, Sergey Dunaytsev, Roman Koucheryavy, Yevgeni SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6294 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Spinger-Verlag Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	400.	Database and XML Technologies [electronic resource] 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings edited by Mong Li Lee, Jeffrey Xu Yu, Zohra BellahsΓ¨ne, Rainer Unland από Lee, Mong Li Yu, Jeffrey Xu Bellahsene, Zohra Unland, Rainer SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6309 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)

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

Διαθεσιμότητα

Συγγραφείς

Συλλογές

Βιβλιοθήκες που διαθέτουν αντίτυπα

Τύποι τεκμηρίου

Τοποθεσίες

Σειρά

Θέματα

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