Αποτελέσματα
|
441.
|
|
|
442.
|
SOFSEM 2010: Theory and Practice of Computer Science [electronic resource] 36th Conference on Current Trends in Theory and Practice of Computer Science, Ε pindlerΕ-v MlΓ½n, Czech Republic, January 23-29, 2010. Proceedings edited by Jan Leeuwen, Anca Muscholl, David Peleg, Jaroslav PokornΓ½, Bernhard Rumpe από
- Leeuwen, J. Van ((Jan)), 1850-1924
- Muscholl, Anca
- Peleg, David
- PokornΓ½, Jaroslav
- Rumpe, Bernhard
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 5901
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
443.
|
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).
|
|
444.
|
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).
|
|
445.
|
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).
|
|
446.
|
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).
|
|
447.
|
|
|
448.
|
|
|
449.
|
|
|
450.
|
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).
|
|
451.
|
|
|
452.
|
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).
|
|
453.
|
|
|
454.
|
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).
|
|
455.
|
|
|
456.
|
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).
|
|
457.
|
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).
|
|
458.
|
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).
|
|
459.
|
|
|
460.
|
|