Αποτελέσματα
|
1.
|
|
|
2.
|
|
|
3.
|
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).
|
|
4.
|
|
|
5.
|
|
|
6.
|
|
|
7.
|
|
|
8.
|
|
|
9.
|
|
|
10.
|
|
|
11.
|
Formal Methods for Quantitative Aspects of Programming Languages [electronic resource] 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures edited by Alessandro Aldini, Marco Bernardo, Alessandra Pierro, Herbert Wiklicky από
- Aldini, Alessandro
- Bernardo, Marco
- Pierro, Alessandra
- Wiklicky, Herbert
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6154
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
12.
|
Applications of Evolutionary Computation [electronic resource] EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part II edited by Cecilia Chio, Anthony Brabazon, Gianni A. Caro, Marc Ebner, Muddassar Farooq, Andreas Fink, JΓΆrn Grahl, Gary Greenfield, Penousal Machado, Michael OβNeill, Ernesto Tarantino, Neil Urquhart από
- Chio, Cecilia
- Brabazon, Anthony
- Caro, Gianni A
- Ebner, Marc
- Farooq, Muddassar
- Fink, Andreas
- Grahl, JΓΆrn
- Greenfield, Gary
- Machado, Penousal
- OβNeill, Michael
- Tarantino, Ernesto
- Urquhart, Neil
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6025
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
13.
|
Languages, Methodologies, and Development Tools for Multi-Agent Systems [electronic resource] Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers edited by Mehdi Dastani, Amal El Fallah Segrouchni, JoΓo Leite, Paolo Torroni από
- Dastani, Mehdi
- El Fallah Segrouchni, Amal
- Leite, JoΓo
- Torroni, Paolo
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6039
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
14.
|
|
|
15.
|
|