Αποτελέσματα
|
|
181.
|
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).
|
|
|
182.
|
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).
|
|
|
183.
|
Fundamentals of Software Engineering [electronic resource] Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers edited by Farhad Arbab, Marjan Sirjani από
- Arbab, Farhad
- Sirjani, Marjan
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 5961
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
184.
|
|
|
|
185.
|
|
|
|
186.
|
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).
|
|
|
187.
|
|
|
|
188.
|
|
|
|
189.
|
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).
|
|
|
190.
|
|
|
|
191.
|
|
|
|
192.
|
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).
|
|
|
193.
|
|
|
|
194.
|
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).
|
|
|
195.
|
Conceptual Modeling β ER 2010 [electronic resource] 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings edited by Jeffrey Parsons, Motoshi Saeki, Peretz Shoval, Carson Woo, Yair Wand από
- Parsons, Jeffrey
- Saeki, Motoshi
- Shoval, Peretz
- Woo, Carson
- Wand, Yair
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6412
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
196.
|
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).
|
|
|
197.
|
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).
|
|
|
198.
|
|
|
|
199.
|
|
|
|
200.
|
|
