Αποτελέσματα
|
|
341.
|
|
|
|
342.
|
|
|
|
343.
|
|
|
|
344.
|
|
|
|
345.
|
Mechanisms for Autonomous Management of Networks and Services [electronic resource] 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, Zurich, Switzerland, June 23-25, 2010. Proceedings edited by Burkhard Stiller, Filip Turck από
- Stiller, Burkhard
- Turck, Filip
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6155
Τύπος υλικού:  Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg IFIP International Federation for Information Processing 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
346.
|
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 II edited by Tiziana Margaria, Bernhard Steffen από
- Margaria, Tiziana
- Steffen, Bernhard
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6416
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
347.
|
Mathematics of Program Construction [electronic resource] 10th International Conference, MPC 2010, QuΓ©bec City, Canada, June 21-23, 2010. Proceedings edited by Claude Bolduc, Jules Desharnais, BΓ©chir Ktari από
- Bolduc, Claude
- Desharnais, Jules
- Ktari, BΓ©chir
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6120
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
348.
|
Model Driven Engineering Languages and Systems [electronic resource] 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II edited by Dorina C. Petriu, Nicolas Rouquette, Γystein Haugen από
- Petriu, Dorina C
- Rouquette, Nicolas
- Haugen, Γystein
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6395
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
349.
|
|
|
|
350.
|
Information Systems, Technology and Management [electronic resource] 4th International Conference, ICISTM 2010, Bangkok, Thailand, March 11-13, 2010. Proceedings edited by Sushil K. Prasad, Harrick M. Vin, Sartaj Sahni, Mahadeo P. Jaiswal, Bundit Thipakorn από
- Prasad, Sushil K
- Vin, Harrick M
- Sahni, Sartaj
- Jaiswal, Mahadeo P
- Thipakorn, Bundit
- SpringerLink (Online service)
Σειρά: Communications in Computer and Information Science ; 54
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
351.
|
|
|
|
352.
|
Practical Clojure [electronic resource] by Luke VanderHart, Stuart Sierra; edited by Clay Andres, Steve Anglin, Mark Beckner, Ewan Buckingham, Gary Cornell, Jonathan Gennick, Jonathan Hassell, Michelle Lowman, Matthew Moodie, Duncan Parkes, Jeffrey Pepper, Frank Pohlmann, Douglas Pundick, Ben Renow-Clarke, Dominic Shakeshaft, Matt Wade, Tom Welsh, Jim Markham, Tracy Brown, Katie Stence από
- VanderHart, Luke
- Sierra, Stuart
- Andres, Clay
- Anglin, Steve
- Beckner, Mark
- Buckingham, Ewan
- Cornell, Gary
- Gennick, Jonathan
- Hassell, Jonathan
- Lowman, Michelle
- Moodie, Matthew
- Parkes, Duncan
- Pepper, Jeffrey
- Pohlmann, Frank
- Pundick, Douglas
- Renow-Clarke, Ben
- Shakeshaft, Dominic
- Wade, Matt
- Welsh, Tom
- Markham, Jim
- Brown, Tracy
- Stence, Katie
- SpringerLink (Online service)
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berkeley, CA Apress 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
353.
|
|
|
|
354.
|
|
|
|
355.
|
|
|
|
356.
|
Perspectives of Systems Informatics [electronic resource] 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers edited by Amir Pnueli, Irina Virbitskaite, Andrei Voronkov από
- Pnueli, Amir
- Virbitskaite, Irina
- Voronkov, Andrei
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 5947
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
357.
|
|
|
|
358.
|
|
|
|
359.
|
Networks for Grid Applications [electronic resource] Third International ICST Conference, GridNets 2009, Athens, Greece, September 8-9, 2009, Revised Selected Papers edited by Anastasios Doulamis, Joe Mambretti, Ioannis Tomkos, Theodora Varvarigou από
- Doulamis, Anastasios
- Mambretti, Joe
- Tomkos, Ioannis
- Varvarigou, Theodora
- SpringerLink (Online service)
Σειρά: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 25
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
360.
|
|
