Αποτελέσματα
|
|
101.
|
|
|
|
102.
|
|
|
|
103.
|
|
|
|
104.
|
The Mathematics of Language [electronic resource] 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers edited by Christian Ebert, Gerhard JΓ€ger, Jens Michaelis από
- Ebert, Christian
- JΓ€ger, Gerhard
- Michaelis, Jens
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6149
Τύπος υλικού:  Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
105.
|
Algorithmic Learning Theory [electronic resource] 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings edited by Marcus Hutter, Frank Stephan, Vladimir Vovk, Thomas Zeugmann από
- Hutter, Marcus
- Stephan, Frank
- Vovk, Vladimir
- Zeugmann, Thomas
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6331
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
106.
|
Component-Based Software Engineering [electronic resource] 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings edited by Lars Grunske, Ralf Reussner, Frantisek Plasil από
- Grunske, Lars
- Reussner, Ralf
- Plasil, Frantisek
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6092
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
107.
|
High Performance Embedded Architectures and Compilers [electronic resource] 5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010. Proceedings edited by Yale N. Patt, Pierfrancesco Foglia, Evelyn Duesterwald, Paolo Faraboschi, Xavier Martorell από
- Patt, Yale N
- Foglia, Pierfrancesco
- Duesterwald, Evelyn
- Faraboschi, Paolo
- Martorell, Xavier
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 5952
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
108.
|
|
|
|
109.
|
Hybrid Metaheuristics [electronic resource] 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010. Proceedings edited by MarΓa J. Blesa, Christian Blum, GΓΌnther Raidl, Andrea Roli, Michael Sampels από
- Blesa, Maria J
- Blum, Christian
- Raidl, GΓΌnther
- Roli, Andrea
- Sampels, Michael
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6373
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
110.
|
Central European Functional Programming School [electronic resource] Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and KomΓ'rno, Slovakia, May 25-30, 2009, Revised Selected Lectures edited by ZoltΓ'n HorvΓ'th, Rinus Plasmeijer, ViktΓ³ria ZsΓ³k από
- HorvΓ'th, ZoltΓ'n
- Plasmeijer, Rinus
- ZsΓ³k, ViktΓ³ria
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6299
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
111.
|
|
|
|
112.
|
|
|
|
113.
|
|
|
|
114.
|
|
|
|
115.
|
Graph Transformations [electronic resource] 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27βOctober 2, 2010. Proceedings edited by Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy SchΓΌrr από
- Ehrig, Hartmut
- Rensink, Arend
- Rozenberg, Grzegorz
- SchΓΌrr, Andy
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6372
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
116.
|
Runtime Verification [electronic resource] First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings edited by Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore RoΕu, Oleg Sokolsky, Nikolai Tillmann από
- Barringer, Howard
- Falcone, Ylies
- Finkbeiner, Bernd
- Havelund, Klaus
- Lee, Insup
- Pace, Gordon
- RoΕu, Grigore
- Sokolsky, Oleg
- Tillmann, Nikolai
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6418
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
117.
|
|
|
|
118.
|
|
|
|
119.
|
|
|
|
120.
|
|
