Αποτελέσματα
|
1.
|
|
|
2.
|
|
|
3.
|
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).
|
|
4.
|
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).
|
|
5.
|
|
|
6.
|
|
|
7.
|
|
|
8.
|
Theory and Applications of Models of Computation [electronic resource] 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings edited by Jan KratochvΓl, Angsheng Li, JiΕΓ Fiala, Petr Kolman από
- KratochvΓl, Jan
- Li, Angsheng
- Fiala, JiΕΓ
- Kolman, Petr
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6108
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
9.
|
Frontiers in Algorithmics [electronic resource] 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings edited by Der-Tsai Lee, Danny Z. Chen, Shi Ying από
- Lee, Der-Tsai
- Chen, Danny Z
- Ying, Shi
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6213
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heielberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
10.
|
Developments in Language Theory [electronic resource] 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings edited by Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu από
- Gao, Yuan
- Lu, Hanlin
- Seki, Shinnosuke
- Yu, Sheng
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6224
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
11.
|
Abstract State Machines, Alloy, B and Z [electronic resource] Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings edited by Marc Frappier, Uwe GlΓ€sser, Sarfraz Khurshid, RΓ©gine Laleau, Steve Reeves από
- Frappier, Marc
- GlΓ€sser, Uwe
- Khurshid, Sarfraz
- Laleau, RΓ©gine
- Reeves, Steve
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 5977
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
12.
|
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).
|
|
13.
|
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).
|