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

Αποτελέσματα
	1.	Engineering Self-Organising Systems [electronic resource] 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers edited by Sven A. Brueckner, Salima Hassas, MΓ'rk Jelasity, Daniel Yamins από Brueckner, Sven A Hassas, Salima Jelasity, MΓ'rk Yamins, Daniel Σειρά: Lecture Notes in Computer Science ; 4335 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2007 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	2.	Enabling Semantic Web Services [electronic resource] The Web Service Modeling Ontology by Dieter Fensel, Holger Lausen, Jos Bruijn, Michael Stollberg, Dumitru Roman, Axel Polleres, John Domingue από Fensel, Dieter Lausen, Holger Bruijn, Jos Stollberg, Michael Roman, Dumitru Polleres, Axel Domingue, John Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2007 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	3.	Artificial Life Models in Software [electronic resource] edited by Andrew Adamatzky, Maciej Komosinski από Adamatzky, Andrew Komosinski, Maciej Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: London Springer-Verlag London Limited 2005 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	4.	Verification of Object-Oriented Software. The KeY Approach [electronic resource] Foreword by K. Rustan M. Leino edited by Bernhard Beckert, Reiner HΓ€hnle, Peter H. Schmitt από Beckert, Bernhard HΓ€hnle, Reiner Schmitt, Peter H Σειρά: Lecture Notes in Computer Science ; 4334 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	5.	Field-Based Coordination for Pervasive Multiagent Systems [electronic resource] by Marco Mamei, Franco Zambonelli από Mamei, Marco Zambonelli, Franco Σειρά: Springer Series in Agent Technology Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	6.	Model Driven Architecture and Ontology Development [electronic resource] by Dragan GaΕeviΔ, Dragan DjuriΔ, Vladan DevedΕiΔ από GaΕeviΔ, Dragan DjuriΔ, Dragan DevedΕiΔ, Vladan Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	7.	Embedded Robotics [electronic resource] Mobile Robot Design and Applications with Embedded Systems by Thomas BrΓunl από Braunl, Thomas Έκδοση: Second Edition Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	8.	Ontologies for Software Engineering and Software Technology [electronic resource] edited by Coral Calero, Francisco Ruiz, Mario Piattini από Calero, Coral Ruiz, Francisco Piattini, Mario Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	9.	Advanced Information Systems Engineering [electronic resource] 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings edited by Barbara Pernici από Pernici, Barbara SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6051 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	10.	Haptics: Generating and Perceiving Tangible Sensations [electronic resource] International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010. Proceedings, Part I edited by Astrid M. L. Kappers, Jan B. F. Erp, Wouter M. Bergmann Tiest, Frans C. T. Helm από Kappers, Astrid M. L Erp, Jan B. F Bergmann Tiest, Wouter M Helm, Frans C. T SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6191 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	11.	Haptics: Generating and Perceiving Tangible Sensations [electronic resource] International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010. Proceedings edited by Astrid M. L. Kappers, Jan B. F. Erp, Wouter M. Bergmann Tiest, Frans C. T. Helm από Kappers, Astrid M. L Erp, Jan B. F Bergmann Tiest, Wouter M Helm, Frans C. T SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6192 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Bberlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	12.	Computer Science Logic [electronic resource] 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings edited by Anuj Dawar, Helmut Veith από Dawar, Anuj Veith, Helmut SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6247 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	13.	Coordination, Organizations, Institutions and Norms in Agent Systems V [electronic resource] COIN 2009 International Workshops. COIN@AAMAS 2009, Budapest, Hungary, May 2009, COIN@IJCAI 2009, Pasadena, USA, July 2009, COIN@MALLOW 2009, Turin, Italy, September 2009. Revised Selected Papers edited by Julian Padget, Alexander Artikis, Wamberto Vasconcelos, Kostas Stathis, Viviane Torres Silva, Eric Matson, Axel Polleres από Padget, Julian Artikis, Alexander Vasconcelos, Wamberto Stathis, Kostas Silva, Viviane Torres Matson, Eric Polleres, Axel SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6069 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	14.	Trends in Intelligent Robotics [electronic resource] 13th FIRA Robot World Congress, FIRA 2010, Bangalore, India, September 15-17, 2010. Proceedings edited by Prahlad Vadakkepat, Jong-Hwan Kim, Norbert Jesse, Abdullah Al Mamun, Tan Kok Kiong, Jacky Baltes, John Anderson, Igor Verner, David Ahlgren από Vadakkepat, Prahlad Kim, Jong-Hwan Jesse, Norbert Mamun, Abdullah Al Kiong, Tan Kok Baltes, Jacky Anderson, John Verner, Igor Ahlgren, David SpringerLink (Online service) Σειρά: Communications in Computer and Information Science ; 103 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	15.	Advanced Computer Science and Information Technology [electronic resource] Second International Conference, AST 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings edited by G. S. Tomar, Ruay-Shiung Chang, Osvaldo Gervasi, Tai-hoon Kim, Samir Kumar Bandyopadhyay από Tomar, G. S Chang, Ruay-Shiung Gervasi, Osvaldo Kim, Tai-hoon Bandyopadhyay, Samir Kumar SpringerLink (Online service) Σειρά: Communications in Computer and Information Science ; 74 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	16.	Declarative Agent Languages and Technologies VII [electronic resource] 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers edited by Matteo Baldoni, Jamal Bentahar, M. Birna Riemsdijk, John Lloyd από Baldoni, Matteo Bentahar, Jamal Riemsdijk, M. Birna Lloyd, John SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 5948 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	17.	E-Infrastructures and E-Services on Developing Countries [electronic resource] First International ICST Conference, AFRICOM 2009, Maputo, Mozambique, December 3-4, 2009. Proceedings edited by Adolfo Villafiorita, Regis Saint-Paul, Alessandro Zorer από Villafiorita, Adolfo Saint-Paul, Regis Zorer, Alessandro SpringerLink (Online service) Σειρά: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 38 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	18.	Aging Friendly Technology for Health and Independence [electronic resource] 8th International Conference on Smart Homes and Health Telematics, ICOST 2010, Seoul, Korea, June 22-24, 2010. Proceedings edited by Yeunsook Lee, Z. Zenn Bien, Mounir Mokhtari, Jeong Tai Kim, Mignon Park, Jongbae Kim, Heyoung Lee, Ismail Khalil από Lee, Yeunsook Bien, Z. Zenn Mokhtari, Mounir Kim, Jeong Tai Park, Mignon Kim, Jongbae Lee, Heyoung Khalil, Ismail SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6159 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	19.	Programming Multi-Agent Systems [electronic resource] 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers edited by Lars Braubach, Jean-Pierre Briot, John Thangarajah από Braubach, Lars Briot, Jean-Pierre Thangarajah, John SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 5919 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	20.	Evolvable Systems: From Biology to Hardware [electronic resource] 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings edited by Gianluca Tempesti, Andy M. Tyrrell, Julian F. Miller από Tempesti, Gianluca Tyrrell, Andy M Miller, Julian F SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6274 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)

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

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

Συγγραφείς

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

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

Σειρά

Θέματα

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