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

Αποτελέσματα
	221.	Fundamental Approaches to Software Engineering [electronic resource] 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings edited by David S. Rosenblum, Gabriele Taentzer από Rosenblum, David S Taentzer, Gabriele SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6013 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	222.	RoboCup 2009: Robot Soccer World Cup XIII [electronic resource] edited by Jacky Baltes, Michail G. Lagoudakis, Tadashi Naruse, Saeed Shiry Ghidary από Baltes, Jacky Lagoudakis, Michail G Naruse, Tadashi Ghidary, Saeed Shiry SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 5949 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	223.	Computer Aided Verification [electronic resource] 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings edited by Tayssir Touili, Byron Cook, Paul Jackson από Touili, Tayssir Cook, Byron Jackson, Paul SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6174 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	224.	Semantic Web Rules [electronic resource] International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings edited by Mike Dean, John Hall, Antonino Rotolo, Said Tabet από Dean, Mike Hall, John Rotolo, Antonino Tabet, Said SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6403 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	225.	Foundations for Efficient Web Service Selection [electronic resource] by Qi Yu, Athman Bouguettaya από Yu, Qi Bouguettaya, Athman SpringerLink (Online service) Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Boston, MA Springer Science+Business Media, LLC 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	226.	Secure Data Management [electronic resource] 7th VLDB Workshop, SDM 2010, Singapore, September 17, 2010. Proceedings edited by Willem Jonker, Milan PetkoviΔ από Jonker, Willem PetkoviΔ, Milan SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6358 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	227.	Requirements Engineering: Foundation for Software Quality [electronic resource] 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30βJuly 2, 2010. Proceedings edited by Roel Wieringa, Anne Persson από Wieringa, Roel Persson, Anne SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6182 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	228.	Fast Software Encryption [electronic resource] 17th International Workshop, FSE 2010, Seoul, Korea, February 7-10, 2010, Revised Selected Papers edited by Seokhie Hong, Tetsu Iwata από Hong, Seokhie Iwata, Tetsu SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6147 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg International Association for Cryptologic Research 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	229.	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). Προσθήκη στο καλάθι (αφαίρεση)
	230.	Production Grids in Asia [electronic resource] Applications, Developments and Global Ties edited by Simon C. Lin, Eric Yen από Lin, Simon C Yen, Eric SpringerLink (Online service) Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Boston, MA Springer-Verlag US 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	231.	Computational Logic in Multi-Agent Systems [electronic resource] 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings edited by JΓΌrgen Dix, JoΓo Leite, Guido Governatori, Wojtek Jamroga από Dix, JΓΌrgen Leite, JoΓo Governatori, Guido Jamroga, Wojtek SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6245 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	232.	Efficient Secure Two-Party Protocols [electronic resource] Techniques and Constructions by Carmit Hazay, Yehuda Lindell από Hazay, Carmit Lindell, Yehuda SpringerLink (Online service) Σειρά: Information Security and Cryptography Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	233.	Wireless Sensor Networks [electronic resource] Deployments and Design Frameworks edited by Elena Gaura, Michael Allen, Lewis Girod, James Brusey, Geoffrey Challen από Gaura, Elena Allen, Michael C Girod, Lewis Brusey, James Challen, Geoffrey SpringerLink (Online service) Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Boston, MA Springer Science+Business Media, LLC 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	234.	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). Προσθήκη στο καλάθι (αφαίρεση)
	235.	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). Προσθήκη στο καλάθι (αφαίρεση)
	236.	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). Προσθήκη στο καλάθι (αφαίρεση)
	237.	Novel Algorithms and Techniques in Telecommunications and Networking [electronic resource] edited by Tarek Sobh, Khaled Elleithy, Ausif Mahmood από Sobh, Tarek Elleithy, Khaled Mahmood, Ausif SpringerLink (Online service) Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Dordrecht Springer Science+Business Media B.V. 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	238.	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). Προσθήκη στο καλάθι (αφαίρεση)
	239.	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). Προσθήκη στο καλάθι (αφαίρεση)
	240.	Progress in Cryptology β AFRICACRYPT 2010 [electronic resource] Third International Conference on Cryptology in Africa, Stellenbosch, South Africa, May 3-6, 2010. Proceedings edited by Daniel J. Bernstein, Tanja Lange από Bernstein, Daniel J Lange, Tanja SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6055 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)

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

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

Συγγραφείς

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

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

Σειρά

Θέματα

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