Αποτελέσματα
|
3741.
|
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).
|
|
3742.
|
|
|
3743.
|
|
|
3744.
|
|
|
3745.
|
|
|
3746.
|
|
|
3747.
|
|
|
3748.
|
|
|
3749.
|
|
|
3750.
|
|
|
3751.
|
|
|
3752.
|
|
|
3753.
|
S-BPM ONE β Setting the Stage for Subject-Oriented Business Process Management [electronic resource] First International Workshop, Karlsruhe, Germany, October 22, 2009. Revised Selected Papers edited by Hagen Buchwald, Albert Fleischmann, Detlef Seese, Christian Stary από
- Buchwald, Hagen
- Fleischmann, Albert
- Seese, Detlef
- Stary, Christian
- SpringerLink (Online service)
Σειρά: Communications in Computer and Information Science ; 85
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
3754.
|
|
|
3755.
|
|
|
3756.
|
|
|
3757.
|
|
|
3758.
|
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).
|
|
3759.
|
|
|
3760.
|
|