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

Αποτελέσματα
	361.	Verification, Induction, Termination Analysis [electronic resource] Festschrift for Christoph Walther on the Occasion of His 60th Birthday edited by Simon Siegler, Nathan Wasser από Siegler, Simon Wasser, Nathan SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6463 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	362.	Linking Enterprise Data [electronic resource] edited by David Wood από Wood, David SpringerLink (Online service) Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Boston, MA Springer Science+Business Media, LLC 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	363.	PRICAI 2010: Trends in Artificial Intelligence [electronic resource] 11th Pacific Rim International Conference on Artificial Intelligence, Daegu, Korea, August 30βSeptember 2, 2010. Proceedings edited by Byoung-Tak Zhang, Mehmet A. Orgun από Zhang, Byoung-Tak Orgun, Mehmet A SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6230 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	364.	The Semantic Web: Research and Applications [electronic resource] 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 β June 3, 2010, Proceedings, Part II edited by Lora Aroyo, Grigoris Antoniou, Eero HyvΓΆnen, Annette Teije, Heiner Stuckenschmidt, Liliana Cabral, Tania Tudorache από Aroyo, Lora Antoniou, G. (Grigoris) HyvΓΆnen, Eero Teije, Annette Stuckenschmidt, Heiner Cabral, Liliana Tudorache, Tania SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6089 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	365.	Internet and Network Economics [electronic resource] 6th International Workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010. Proceedings edited by Amin Saberi από Saberi, Amin SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6484 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	366.	Sustaining TEL: From Innovation to Learning and Practice [electronic resource] 5th European Conference on Technology Enhanced Learning, EC-TEL 2010, Barcelona, Spain, September 28 - October 1, 2010. Proceedings edited by Martin Wolpers, Paul A. Kirschner, Maren Scheffel, Stefanie Lindstaedt, Vania Dimitrova από Wolpers, Martin Kirschner, Paul A Scheffel, Maren Lindstaedt, Stefanie Dimitrova, Vania SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6383 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	367.	Bioinspired Models of Network, Information, and Computing Systems [electronic resource] 4th International Conference, BIONETICS 2009, Avignon, France, December 9-11, 2009, Revised Selected Papers edited by Eitan Altman, Iacopo Carrera, Rachid El-Azouzi, Emma Hart, Yezekael Hayel από Altman, Eitan Carrera, Iacopo El-Azouzi, Rachid Hart, Emma Hayel, Yezekael SpringerLink (Online service) Σειρά: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 39 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	368.	Transactions on Computational Science X [electronic resource] Special Issue on Security in Computing, Part I edited by Marina L. Gavrilova, C. J. Kenneth Tan, Edward David Moreno από Gavrilova, Marina L Tan, C. J. Kenneth Moreno, Edward David SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6340 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	369.	Computational Processing of the Portuguese Language [electronic resource] 9th International Conference, PROPOR 2010, Porto Alegre, RS, Brazil, April 27-30, 2010. Proceedings edited by Thiago Alexandre Salgueiro Pardo, AntΓ³nio Branco, Aldebaro Klautau, Renata Vieira, Vera LΓΊcia Strube Lima από Pardo, Thiago Alexandre Salgueiro Branco, Antonio Klautau, Aldebaro Vieira, Renata Lima, Vera LΓΊcia Strube SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6001 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	370.	Research into Practice β Reality and Gaps [electronic resource] 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings edited by George T. Heineman, Jan Kofron, Frantisek Plasil από Heineman, George T Kofron, Jan Plasil, Frantisek SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6093 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	371.	Wireless Sensor Networks [electronic resource] 7th European Conference, EWSN 2010, Coimbra, Portugal, February 17-19, 2010. Proceedings edited by Jorge SΓ' Silva, Bhaskar Krishnamachari, Fernando Boavida από Silva, Jorge SΓ' Krishnamachari, Bhaskar Boavida, Fernando SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 5970 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	372.	On the Move to Meaningful Internet Systems: OTM 2010 Workshops [electronic resource] Confederated International Workshops and Posters: International Workshops: AVYTAT, ADI, DATAVIEW, EI2N, ISDE, MONET, OnToContent, ORM, P2P-CDVE, SeDeS, SWWS and OTMA. Hersonissos, Crete, Greece, October 25-29, 2010. Proceedings edited by Robert Meersman, Tharam Dillon, Pilar Herrero από Meersman, Robert Dillon, Tharam Herrero, Pilar SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6428 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	373.	Advances in Data Mining. Applications and Theoretical Aspects [electronic resource] 10th Industrial Conference, ICDM 2010, Berlin, Germany, July 12-14, 2010. Proceedings edited by Petra Perner από Perner, Petra SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6171 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	374.	Spoken Dialogue Systems for Ambient Environments [electronic resource] Second International Workshop on Spoken Dialogue Systems Technology, IWSDS 2010, Gotemba, Shizuoka, Japan, October 1-2, 2010. Proceedings edited by Gary Geunbae Lee, Joseph Mariani, Wolfgang Minker, Satoshi Nakamura από Lee, Gary Geunbae Mariani, Joseph Minker, Wolfgang Nakamura, Satoshi SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6392 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	375.	Emerging Web Services Technology Volume III [electronic resource] edited by Walter Binder, Schahram Dustdar από Binder, Walter Dustdar, Schahram SpringerLink (Online service) Σειρά: Whitestein Series in Software Agent Technologies and Autonomic Computing Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Basel BirkhΓuser Basel 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	376.	Recent Trends in Network Security and Applications [electronic resource] Third International Conference, CNSA 2010, Chennai, India, July 23-25, 2010. Proceedings edited by Natarajan Meghanathan, Selma Boumerdassi, Nabendu Chaki, Dhinaharan Nagamalai από Meghanathan, Natarajan Boumerdassi, Selma Chaki, Nabendu Nagamalai, Dhinaharan SpringerLink (Online service) Σειρά: Communications in Computer and Information Science ; 89 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	377.	Security-Enriched Urban Computing and Smart Grid [electronic resource] First International Conference, SUComS 2010, Daejeon, Korea, September 15-17, 2010. Proceedings edited by Tai-hoon Kim, Adrian Stoica, Ruay-Shiung Chang από Kim, Tai-hoon Stoica, Adrian Chang, Ruay-Shiung SpringerLink (Online service) Σειρά: Communications in Computer and Information Science ; 78 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	378.	CONCUR 2010 - Concurrency Theory [electronic resource] 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings edited by Paul Gastin, FranΓois Laroussinie από Gastin, Paul Laroussinie, FranΓois SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6269 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	379.	Advances in Social Network Mining and Analysis [electronic resource] Second International Workshop, SNAKDD 2008, Las Vegas, NV, USA, August 24-27, 2008 edited by Lee Giles, Marc Smith, John Yen, Haizheng Zhang από Giles, Lee Smith, Marc Yen, John Zhang, Haizheng SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 5498 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	380.	Software Architecture [electronic resource] 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings edited by Muhammad Ali Babar, Ian Gorton από Babar, Muhammad Ali Gorton, Ian SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6285 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)

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

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

Συγγραφείς

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

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

Σειρά

Θέματα

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