Αποτελέσματα
|
|
21.
|
Service Research Challenges and Solutions for the Future Internet [electronic resource] S-Cube β Towards Engineering, Managing and Adapting Service-Based Systems edited by Mike P. Papazoglou, Klaus Pohl, Michael Parkin, Andreas Metzger από
- Papazoglou, M, 1953-
- Pohl, Klaus
- Parkin, Michael, 1939-
- Metzger, Andreas
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6500
Τύπος υλικού:  Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
22.
|
Software Language Engineering [electronic resource] Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers edited by Mark Brand, Dragan GaΕeviΔ, Jeff Gray από
- Brand, Mark
- GaΕeviΔ, Dragan
- Gray, Jeff
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 5969
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
23.
|
|
|
|
24.
|
Computer Science Logic [electronic resource] 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings edited by Anuj Dawar, Helmut Veith από
- Dawar, Anuj
- Veith, Helmut
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6247
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
25.
|
|
|
|
26.
|
|
|
|
27.
|
|
|
|
28.
|
|
|
|
29.
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers edited by JosΓ© Monteiro, RenΓ© Leuken από
- Monteiro, JosΓ©
- Leuken, RenΓ©
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 5953
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
30.
|
Computer Performance Engineering [electronic resource] 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings edited by Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa από
- Aldini, Alessandro
- Bernardo, Marco
- Bononi, Luciano
- Cortellessa, Vittorio
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6342
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
31.
|
Declarative Agent Languages and Technologies VII [electronic resource] 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers edited by Matteo Baldoni, Jamal Bentahar, M. Birna Riemsdijk, John Lloyd από
- Baldoni, Matteo
- Bentahar, Jamal
- Riemsdijk, M. Birna
- Lloyd, John
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 5948
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
32.
|
Language and Automata Theory and Applications [electronic resource] 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings edited by Adrian-Horia Dediu, Henning Fernau, Carlos MartΓn-Vide από
- Dediu, Adrian-Horia
- Fernau, Henning
- MartΓn-Vide, Carlos
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6031
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
33.
|
|
|
|
34.
|
Evolvable Systems: From Biology to Hardware [electronic resource] 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings edited by Gianluca Tempesti, Andy M. Tyrrell, Julian F. Miller από
- Tempesti, Gianluca
- Tyrrell, Andy M
- Miller, Julian F
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6274
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
35.
|
|
|
|
36.
|
|
|
|
37.
|
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).
|
|
|
38.
|
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).
|
|
|
39.
|
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).
|
|
|
40.
|
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).
|
