Αποτελέσματα
|
61.
|
|
|
62.
|
Formal Methods for Components and Objects [electronic resource] 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers edited by Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel από
- Boer, Frank S
- Bonsangue, Marcello M
- Hallerstede, Stefan
- Leuschel, Michael
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6286
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
63.
|
High Performance Networking, Computing, Communication Systems, and Mathematical Foundations [electronic resource] International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings edited by Yanwen Wu, Qi Luo από
- Wu, Yanwen
- Luo, Qi
- SpringerLink (Online service)
Σειρά: Communications in Computer and Information Science ; 66
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
64.
|
Logic, Language, Information and Computation [electronic resource] 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings edited by Anuj Dawar, Ruy Queiroz από
- Dawar, Anuj
- Queiroz, Ruy
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6188
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
65.
|
Logic and the Foundations of Game and Decision Theory β LOFT 8 [electronic resource] 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers edited by Giacomo Bonanno, Benedikt LΓΆwe, Wiebe Hoek από
- Bonanno, Giacomo
- LΓΆwe, Benedikt
- Hoek, Wiebe
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6006
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
66.
|
|
|
67.
|
|
|
68.
|
|
|
69.
|
Objects, Models, Components, Patterns [electronic resource] 48th International Conference, TOOLS 2010, MΓ'laga, Spain, June 28βJuly 2, 2010. Proceedings edited by Jan Vitek από
- Vitek, Jan
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6141
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
70.
|
|
|
71.
|
|
|
72.
|
Approaches and Applications of Inductive Programming [electronic resource] Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers edited by Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer από
- Schmid, Ute
- Kitzelmann, Emanuel
- Plasmeijer, Rinus
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 5812
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
73.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] 16th International Conference, LPAR-16, Dakar, Senegal, April 25βMay 1, 2010, Revised Selected Papers edited by Edmund M. Clarke, Andrei Voronkov από
- Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020
- Voronkov, Andrei
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6355
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
74.
|
|
|
75.
|
|
|
76.
|
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).
|
|
77.
|
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).
|
|
78.
|
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).
|
|
79.
|
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).
|
|
80.
|
|