Αποτελέσματα
|
|
461.
|
|
|
|
462.
|
|
|
|
463.
|
|
|
|
464.
|
|
|
|
465.
|
|
|
|
466.
|
|
|
|
467.
|
|
|
|
468.
|
|
|
|
469.
|
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).
|
|
|
470.
|
|
|
|
471.
|
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).
|
|
|
472.
|
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).
|
|
|
473.
|
|
|
|
474.
|
|
|
|
475.
|
Beginning Rails 3 [electronic resource] by Cloves Carneiro, Rida Al Barazi; edited by Clay Andres, Steve Anglin, Mark Beckner, Ewan Buckingham, Gary Cornell, Jonathan Gennick, Jonathan Hassell, Michelle Lowman, Matthew Moodie, Duncan Parkes, Jeffrey Pepper, Frank Pohlmann, Douglas Pundick, Ben Renow-Clarke, Dominic Shakeshaft, Matt Wade, Tom Welsh, Tiffany Taylor από
- Carneiro, Cloves
- Barazi, Rida Al
- Andres, Clay
- Anglin, Steve
- Beckner, Mark
- Buckingham, Ewan
- Cornell, Gary
- Gennick, Jonathan
- Hassell, Jonathan
- Lowman, Michelle
- Moodie, Matthew
- Parkes, Duncan
- Pepper, Jeffrey
- Pohlmann, Frank
- Pundick, Douglas
- Renow-Clarke, Ben
- Shakeshaft, Dominic
- Wade, Matt
- Welsh, Tom
- Taylor, Tiffany
- SpringerLink (Online service)
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berkeley, CA Apress 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
476.
|
|
|
|
477.
|
|
|
|
478.
|
Swarm, Evolutionary, and Memetic Computing [electronic resource] First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010. Proceedings edited by Bijaya Ketan Panigrahi, Swagatam Das, Ponnuthurai Nagaratnam Suganthan, Subhransu Sekhar Dash από
- Panigrahi, Bijaya Ketan
- Das, Swagatam
- Suganthan, Ponnuthurai Nagaratnam
- Dash, Subhransu Sekhar
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6466
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
479.
|
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).
|
|
|
480.
|
|
