Αποτελέσματα
|
101.
|
|
|
102.
|
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).
|
|
103.
|
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).
|
|
104.
|
Rough Set and Knowledge Technology [electronic resource] 5th International Conference, RSKT 2010, Beijing, China, October 15-17, 2010. Proceedings edited by Jian Yu, Salvatore Greco, Pawan Lingras, Guoyin Wang, Andrzej Skowron από
- Yu, Jian
- Greco, Salvatore
- Lingras, Pawan
- Wang, Guoyin
- Skowron, Andrzej
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6401
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
105.
|
|
|
106.
|
|
|
107.
|
|
|
108.
|
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).
|
|
109.
|
|
|
110.
|
|
|
111.
|
|
|
112.
|
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).
|
|
113.
|
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).
|
|
114.
|
|
|
115.
|
|
|
116.
|
|
|
117.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings edited by Christian G. FermΓΌller, Andrei Voronkov από
- FermΓΌller, Christian G
- Voronkov, Andrei
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6397
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
118.
|
|
|
119.
|
Finite-State Methods and Natural Language Processing [electronic resource] 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers edited by Anssi Yli-JyrΓ€, AndrΓ's Kornai, Jacques Sakarovitch, Bruce Watson από
- Yli-JyrΓ€, Anssi
- Kornai, AndrΓ's
- Sakarovitch, Jacques
- Watson, Bruce
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6062
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
120.
|
Natural Language Processing and Information Systems [electronic resource] 14th International Conference on Applications of Natural Language to Information Systems, NLDB 2009, SaarbrΓΌcken, Germany, June 24-26, 2009. Revised Papers edited by Helmut Horacek, Elisabeth MΓ©tais, Rafael MuΓoz, Magdalena Wolska από
- Horacek, Helmut
- MΓ©tais, Elisabeth
- MuΓoz, Rafael
- Wolska, Magdalena
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 5723
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|