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

Αποτελέσματα
	101.	ECOOP 2010 β Object-Oriented Programming [electronic resource] 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings edited by Theo DβHondt από DβHondt, Theo SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6183 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	102.	Phenomenology and Mathematics [electronic resource] edited by Mirja Hartimo από Hartimo, Mirja SpringerLink (Online service) Σειρά: Phaenomenologica, Published Under the Auspices of the Husserl-Archives ; 195 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Dordrecht Springer Science+Business Media B.V. 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	103.	Evolvable Systems: From Biology to Hardware [electronic resource] 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings edited by Gianluca Tempesti, Andy M. Tyrrell, Julian F. Miller από Tempesti, Gianluca Tyrrell, Andy M Miller, Julian F SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6274 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	104.	Mathematical Logic [electronic resource] Foundations for Information Science by Wei Li από Li, Wei SpringerLink (Online service) Σειρά: Progress in Computer Science and Applied Logic (PCS) ; 25 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Basel BirkhΓuser Basel 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	105.	Functional and Constraint Logic Programming [electronic resource] 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers edited by Santiago Escobar από Escobar, Santiago SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 5979 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	106.	Semantic Processing of Legal Texts [electronic resource] Where the Language of Law Meets the Law of Language edited by Enrico Francesconi, Simonetta Montemagni, Wim Peters, Daniela Tiscornia από Francesconi, Enrico Montemagni, Simonetta Peters, Wim Tiscornia, Daniela SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6036 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	107.	Data Mining and Knowledge Discovery via Logic-Based Methods [electronic resource] Theory, Algorithms, and Applications by Evangelos Triantaphyllou από Triantaphyllou, Evangelos SpringerLink (Online service) Σειρά: Springer Optimization and Its Applications ; 43 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Boston, MA Springer Science+Business Media, LLC 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	108.	Formal Modeling and Analysis of Timed Systems [electronic resource] 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings edited by Krishnendu Chatterjee, Thomas A. Henzinger από Chatterjee, Krishnendu Henzinger, Thomas A SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6246 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	109.	Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II edited by Tiziana Margaria, Bernhard Steffen από Margaria, Tiziana Steffen, Bernhard SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6416 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	110.	Mathematics of Program Construction [electronic resource] 10th International Conference, MPC 2010, QuΓ©bec City, Canada, June 21-23, 2010. Proceedings edited by Claude Bolduc, Jules Desharnais, BΓ©chir Ktari από Bolduc, Claude Desharnais, Jules Ktari, BΓ©chir SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6120 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	111.	Rethinking the BSE Crisis [electronic resource] A Study of Scientific Reasoning under Uncertainty by Louise Cummings από Cummings, Louise SpringerLink (Online service) Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Dordrecht Springer Science+Business Media B.V. 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	112.	Logic, Language and Meaning [electronic resource] 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers edited by Maria Aloni, Harald Bastiaanse, Tikitu Jager, Katrin Schulz από Aloni, Maria Bastiaanse, Harald Jager, Tikitu Schulz, Katrin SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6042 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	113.	Perspectives of Systems Informatics [electronic resource] 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers edited by Amir Pnueli, Irina Virbitskaite, Andrei Voronkov από Pnueli, Amir Virbitskaite, Irina Voronkov, Andrei SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 5947 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	114.	Programming Languages and Systems [electronic resource] 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings edited by Kazunori Ueda από Ueda, Kazunori SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6461 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	115.	Applications and Theory of Petri Nets [electronic resource] 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings edited by Johan Lilius, Wojciech Penczek από Lilius, Johan Penczek, Wojciech SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6128 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	116.	Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications [electronic resource] 13th International Conference, IPMU 2010, Dortmund, Germany, June 28βJuly 2, 2010. Proceedings, Part II edited by Eyke HΓΌllermeier, Rudolf Kruse, Frank Hoffmann από HΓΌllermeier, Eyke Kruse, Rudolf Hoffmann, Frank SpringerLink (Online service) Σειρά: Communications in Computer and Information Science ; 81 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	117.	Logics in Artificial Intelligence [electronic resource] 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings edited by Tomi Janhunen, Ilkka NiemelΓ€ από Janhunen, Tomi NiemelΓ€, Ilkka SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6341 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	118.	Speech Processing in Embedded Systems [electronic resource] by Priyabrata Sinha από Sinha, Priyabrata SpringerLink (Online service) Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Boston, MA Springer-Verlag US 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	119.	Controlled Natural Language [electronic resource] Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009. Revised Papers edited by Norbert E. Fuchs από Fuchs, Norbert E SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 5972 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	120.	Mathematical Foundations of Computer Science 2010 [electronic resource] 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings edited by Petr HlinΔnΓ½, AntonΓn KuΔera από HlinΔnΓ½, Petr KuΔera, AntonΓn SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6281 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)

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