Αποτελέσματα
|
161.
|
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).
|
|
162.
|
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).
|
|
163.
|
|
|
164.
|
|
|
165.
|
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).
|
|
166.
|
|
|
167.
|
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).
|
|
168.
|
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).
|
|
169.
|
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).
|
|
170.
|
|
|
171.
|
Computational Logic in Multi-Agent Systems [electronic resource] 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings edited by JΓΌrgen Dix, JoΓo Leite, Guido Governatori, Wojtek Jamroga από
- Dix, JΓΌrgen
- Leite, JoΓo
- Governatori, Guido
- Jamroga, Wojtek
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6245
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
172.
|
|
|
173.
|
Computational Processing of the Portuguese Language [electronic resource] 9th International Conference, PROPOR 2010, Porto Alegre, RS, Brazil, April 27-30, 2010. Proceedings edited by Thiago Alexandre Salgueiro Pardo, AntΓ³nio Branco, Aldebaro Klautau, Renata Vieira, Vera LΓΊcia Strube Lima από
- Pardo, Thiago Alexandre Salgueiro
- Branco, Antonio
- Klautau, Aldebaro
- Vieira, Renata
- Lima, Vera LΓΊcia Strube
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6001
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
174.
|
Research into Practice β Reality and Gaps [electronic resource] 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings edited by George T. Heineman, Jan Kofron, Frantisek Plasil από
- Heineman, George T
- Kofron, Jan
- Plasil, Frantisek
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6093
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
175.
|
Conceptual Modeling β ER 2010 [electronic resource] 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings edited by Jeffrey Parsons, Motoshi Saeki, Peretz Shoval, Carson Woo, Yair Wand από
- Parsons, Jeffrey
- Saeki, Motoshi
- Shoval, Peretz
- Woo, Carson
- Wand, Yair
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6412
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
176.
|
|
|
177.
|
|
|
178.
|
|
|
179.
|
|
|
180.
|
Theoretical Computer Science [electronic resource] 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings edited by Cristian S. Calude, Vladimiro Sassone από
- Calude, Cristian S
- Sassone, Vladimiro
- SpringerLink (Online service)
Σειρά: IFIP Advances in Information and Communication Technology ; 323
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg IFIP International Federation for Information Processing 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|