Η αναζήτηση επέστρεψε 125 αποτελέσματα.

Αποτελέσματα
	121.	Verified Software: Theories, Tools, Experiments [electronic resource] Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings edited by Gary T. Leavens, Peter OβHearn, Sriram K. Rajamani από Leavens, Gary T OβHearn, Peter Rajamani, Sriram K SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6217 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	122.	Automata for Branching and Layered Temporal Structures [electronic resource] An Investigation into Regularities of Infinite Transition Systems by Gabriele Puppis από Puppis, Gabriele SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 5955 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	123.	Membrane Computing [electronic resource] 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers edited by Gheorghe PΔun, Mario J. PΓ©rez-JimΓ©nez, AgustΓn Riscos-NΓΊΓez, Grzegorz Rozenberg, Arto Salomaa από PΔun, Gheorghe PΓ©rez-JimΓ©nez, Mario J Riscos-NΓΊΓez, AgustΓn Rozenberg, Grzegorz Salomaa, Arto SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 5957 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	124.	Algorithm Engineering [electronic resource] Bridging the Gap between Algorithm Theory and Practice edited by Matthias MΓΌller-Hannemann, Stefan Schirra από MΓΌller-Hannemann, Matthias Schirra, Stefan SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 5971 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	125.	από ConchΓir, DeasΓΊn Γ SpringerLink (Online service) Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)

Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας