Αποτελέσματα
|
181.
|
|
|
182.
|
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).
|
|
183.
|
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).
|
|
184.
|
|
|
185.
|
|
|
186.
|
|
|
187.
|
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).
|
|
188.
|
|
|
189.
|
|
|
190.
|
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).
|
|
191.
|
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).
|
|
192.
|
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).
|
|
193.
|
|
|
194.
|
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).
|
|
195.
|
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).
|
|
196.
|
|
|
197.
|
|
|
198.
|
|
|
199.
|
|
|
200.
|
|