Αποτελέσματα
|
|
161.
|
|
|
|
162.
|
Ad-Hoc, Mobile and Wireless Networks [electronic resource] 9th International Conference, ADHOC-NOW 2010, Edmonton, AB, Canada, August 20-22, 2010. Proceedings edited by Ioanis Nikolaidis, Kui Wu από
- Nikolaidis, Ioanis
- Wu, Kui
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6288
Τύπος υλικού:  Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
163.
|
|
|
|
164.
|
Evaluation of Novel Approaches to Software Engineering [electronic resource] 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers edited by Leszek A. Maciaszek, CΓ©sar GonzΓ'lez-PΓ©rez, Stefan Jablonski από
- Maciaszek, Leszek A
- GonzΓ'lez-PΓ©rez, CΓ©sar
- Jablonski, Stefan
- SpringerLink (Online service)
Σειρά: Communications in Computer and Information Science ; 69
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
165.
|
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).
|
|
|
166.
|
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).
|
|
|
167.
|
|
|
|
168.
|
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).
|
|
|
169.
|
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).
|
|
|
170.
|
|
|
|
171.
|
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).
|
|
|
172.
|
|
|
|
173.
|
|
|
|
174.
|
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).
|
|
|
175.
|
|
|
|
176.
|
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).
|
|
|
177.
|
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).
|
|
|
178.
|
|
|
|
179.
|
|
|
|
180.
|
|
