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

Αποτελέσματα
	1.	Categories for Software Engineering [electronic resource] by JosΓ© Luiz Fiadeiro από Fiadeiro, JosΓ© Luiz Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2005 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	2.	Mathematical Problems from Applied Logic I [electronic resource] Logics for the XXIst Century edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev από Gabbay, Dov M, 1945- Goncharov, Sergei S Zakharyaschev, Michael Σειρά: International Mathematical Series ; 4 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York, NY Springer Science+Business Media, Inc. 2006 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	3.	Automated Reasoning [electronic resource] 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings edited by JΓΌrgen Giesl, Reiner HΓ€hnle από Giesl, JΓΌrgen HΓ€hnle, Reiner SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6173 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	4.	Logical Analysis of Hybrid Systems [electronic resource] Proving Theorems for Complex Dynamics by AndrΓ© Platzer από Platzer, AndrΓ© SpringerLink (Online service) Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	5.	High Performance Networking, Computing, Communication Systems, and Mathematical Foundations [electronic resource] International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings edited by Yanwen Wu, Qi Luo από Wu, Yanwen Luo, Qi SpringerLink (Online service) Σειρά: Communications in Computer and Information Science ; 66 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	6.	Logic and the Foundations of Game and Decision Theory β LOFT 8 [electronic resource] 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers edited by Giacomo Bonanno, Benedikt LΓΆwe, Wiebe Hoek από Bonanno, Giacomo LΓΆwe, Benedikt Hoek, Wiebe SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6006 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	7.	Deontic Logic in Computer Science [electronic resource] 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings edited by Guido Governatori, Giovanni Sartor από Governatori, Guido Sartor, Giovanni SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6181 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	8.	Theory and Applications of Satisfiability Testing β SAT 2010 [electronic resource] 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings edited by Ofer Strichman, Stefan Szeider από Strichman, Ofer Szeider, Stefan SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6175 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg Berlin 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	9.	Foundations of Information and Knowledge Systems [electronic resource] 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings edited by Sebastian Link, Henri Prade από Link, Sebastian Prade, Henri SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 5956 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	10.	Computer Science β Theory and Applications [electronic resource] 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings edited by Farid Ablayev, Ernst W. Mayr από Ablayev, Farid Mayr, Ernst W SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6072 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	11.	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). Προσθήκη στο καλάθι (αφαίρεση)
	12.	A 25-Year Perspective on Logic Programming [electronic resource] Achievements of the Italian Association for Logic Programming, GULP edited by Agostino Dovier, Enrico Pontelli από Dovier, Agostino Pontelli, Enrico SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6125 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	13.	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). Προσθήκη στο καλάθι (αφαίρεση)
	14.	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). Προσθήκη στο καλάθι (αφαίρεση)
	15.	The Mathematics of Language [electronic resource] 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers edited by Christian Ebert, Gerhard JΓ€ger, Jens Michaelis από Ebert, Christian JΓ€ger, Gerhard Michaelis, Jens SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6149 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)

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