Αποτελέσματα
|
61.
|
|
|
62.
|
Trends in Enterprise Architecture Research [electronic resource] 5th International Workshop, TEAR 2010, Delft, The Netherlands, November 12, 2010. Proceedings edited by Erik Proper, Marc M. Lankhorst, Marten SchΓΆnherr, Joseph Barjis, Sietse Overbeek από
- Proper, Erik
- Lankhorst, Marc M
- SchΓΆnherr, Marten
- Barjis, Joseph
- Overbeek, Sietse
- SpringerLink (Online service)
Σειρά: Lecture Notes in Business Information Processing ; 70
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
63.
|
Algorithms and Architectures for Parallel Processing [electronic resource] 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I edited by Ching-Hsien Hsu, Laurence T. Yang, Jong Hyuk Park, Sang-Soo Yeo από
- Hsu, Ching-Hsien
- Yang, Laurence T
- Park, Jong Hyuk
- Yeo, Sang-Soo
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6081
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
64.
|
|
|
65.
|
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).
|
|
66.
|
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).
|
|
67.
|
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).
|
|
68.
|
Smart Sensing and Context [electronic resource] 5th European Conference, EuroSSC 2010, Passau, Germany, November 14-16, 2010. Proceedings edited by Paul Lukowicz, Kai Kunze, Gerd Kortuem από
- Lukowicz, Paul
- Kunze, Kai
- Kortuem, Gerd
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6446
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
69.
|
Exploring Services Science [electronic resource] First International Conference , IESS 2010, Geneva, Switzerland, February 17-19, 2010. Revised Papers edited by Jean-Henry Morin, Jolita RalytΓ©, Mehdi Snene από
- Morin, Jean-Henry
- RalytΓ©, Jolita
- Snene, Mehdi
- SpringerLink (Online service)
Σειρά: Lecture Notes in Business Information Processing ; 53
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
70.
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings edited by Shlomi Dolev, Jorge Cobb, Michael Fischer, Moti Yung από
- Dolev, Shlomi
- Cobb, Jorge
- Fischer, Michael
- Yung, Moti
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6366
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
71.
|
Advances in Production Management Systems. New Challenges, New Approaches [electronic resource] IFIP WG 5.7 International Conference, APMS 2009, Bordeaux, France, September 21-23, 2009, Revised Selected Papers edited by Bruno Vallespir, ThΓ¨cle Alix από
- Vallespir, Bruno
- Alix, Thecle
- SpringerLink (Online service)
Σειρά: IFIP Advances in Information and Communication Technology ; 338
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg IFIP International Federation for Information Processing 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
72.
|
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).
|
|
73.
|
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).
|
|
74.
|
Logic, Language and Meaning [electronic resource] 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers edited by Maria Aloni, Harald Bastiaanse, Tikitu Jager, Katrin Schulz από
- Aloni, Maria
- Bastiaanse, Harald
- Jager, Tikitu
- Schulz, Katrin
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6042
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
75.
|
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).
|
|
76.
|
|
|
77.
|
|
|
78.
|
|
|
79.
|
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).
|
|
80.
|
|