Αποτελέσματα
|
81.
|
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).
|
|
82.
|
|
|
83.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings edited by Gilles Barthe, Manuel Hermenegildo από
- Barthe, Gilles
- Hermenegildo, Manuel
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 5944
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
84.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] 16th International Conference, TACAS 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 Javier Esparza, Rupak Majumdar από
- Esparza, Javier
- Majumdar, Rupak
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6015
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
85.
|
|
|
86.
|
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).
|
|
87.
|
|
|
88.
|
|
|
89.
|
Formal Techniques for Distributed Systems [electronic resource] Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings edited by John Hatcliff, Elena Zucca από
- Hatcliff, John
- Zucca, Elena
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6117
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg IFIP International Federation for Information Processing 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
90.
|
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).
|
|
91.
|
New Modeling Concepts for Todayβs Software Processes [electronic resource] International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings edited by JΓΌrgen MΓΌnch, Ye Yang, Wilhelm SchΓ€fer από
- MΓΌnch, JΓΌrgen
- Yang, Ye
- SchΓ€fer, Wilhelm
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6195
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
92.
|
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).
|
|
93.
|
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).
|
|
94.
|
|
|
95.
|
|
|
96.
|
|
|
97.
|
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).
|
|
98.
|
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).
|
|
99.
|
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).
|
|
100.
|
|