Αποτελέσματα
|
|
441.
|
Software Services for e-World [electronic resource] 10th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2010, Buenos Aires, Argentina, November 3-5, 2010. Proceedings edited by Wojciech Cellary, Elsa Estevez από
- Cellary, Wojciech
- Estevez, Elsa
- SpringerLink (Online service)
Σειρά: IFIP Advances in Information and Communication Technology ; 341
Τύπος υλικού:  Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg IFIP International Federation for Information Processing 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
442.
|
|
|
|
443.
|
|
|
|
444.
|
Runtime Verification [electronic resource] First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings edited by Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore RoΕu, Oleg Sokolsky, Nikolai Tillmann από
- Barringer, Howard
- Falcone, Ylies
- Finkbeiner, Bernd
- Havelund, Klaus
- Lee, Insup
- Pace, Gordon
- RoΕu, Grigore
- Sokolsky, Oleg
- Tillmann, Nikolai
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6418
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
445.
|
|
|
|
446.
|
|
|
|
447.
|
|
|
|
448.
|
Global Perspectives on Design Science Research [electronic resource] 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings. edited by Robert Winter, J. Leon Zhao, Stephan Aier από
- Winter, Robert
- Zhao, J. Leon
- Aier, Stephan
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6105
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
449.
|
|
|
|
450.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings edited by Christian G. FermΓΌller, Andrei Voronkov από
- FermΓΌller, Christian G
- Voronkov, Andrei
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6397
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
451.
|
Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I edited by Tiziana Margaria, Bernhard Steffen από
- Margaria, Tiziana
- Steffen, Bernhard
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6415
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
452.
|
|
|
|
453.
|
|
|
|
454.
|
Mobile Networks and Management [electronic resource] First International Conference, MONAMI 2009, Athens, Greece, October 13-14, 2009. Revised Selected Papers ; edited by Kostas Pentikousis, Oliver Blume, Ramon Aguero Calvo, Symeon Papavassiliou από
- Pentikousis, Kostas
- Blume, Oliver
- Aguero Calvo, Ramon
- Papavassiliou, Symeon
- SpringerLink (Online service)
Σειρά: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 32
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
455.
|
|
|
|
456.
|
|
|
|
457.
|
Verified Software: Theories, Tools, Experiments [electronic resource] Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings edited by Gary T. Leavens, Peter OβHearn, Sriram K. Rajamani από
- Leavens, Gary T
- OβHearn, Peter
- Rajamani, Sriram K
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6217
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
458.
|
Recent Advances in the Message Passing Interface [electronic resource] 17th European MPI Usersβ Group Meeting, EuroMPI 2010, Stuttgart, Germany, September 12-15, 2010. Proceedings edited by Rainer Keller, Edgar Gabriel, Michael Resch, Jack Dongarra από
- Keller, Rainer
- Gabriel, Edgar
- Resch, Michael
- Dongarra, Jack
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6305
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
459.
|
|
|
|
460.
|
Reliable and Autonomous Computational Science [electronic resource] International Conference, RACS 2010, Atlanta, GA, USA, October 27-30, 2010 edited by Sung Y. Shin, Rex Gantenbein, Tei-Wei Kuo, Jiman Hong από
- Shin, Sung Y
- Gantenbein, Rex
- Kuo, Tei-Wei
- Hong, Jiman
- SpringerLink (Online service)
Σειρά: Autonomic Systems
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Basel Springer Basel AG 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
