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

Αποτελέσματα
	141.	Testing Techniques in Software Engineering [electronic resource] Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures edited by Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook από Borba, Paulo Cavalcanti, Ana Sampaio, Augusto Woodcook, Jim SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6153 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	142.	Logic and Philosophy of Mathematics in the Early Husserl [electronic resource] by Stefania Centrone από Centrone, Stefania SpringerLink (Online service) Σειρά: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 345 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Dordrecht Springer Science+Business Media B.V. 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	143.	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). Προσθήκη στο καλάθι (αφαίρεση)
	144.	Advances in Natural Language Processing [electronic resource] 7th International Conference on NLP, IceTAL 2010, Reykjavik, Iceland, August 16-18, 2010 edited by Hrafn Loftsson, EirΓkur RΓΆgnvaldsson, SigrΓΊn HelgadΓ³ttir από Loftsson, Hrafn RΓΆgnvaldsson, EirΓkur HelgadΓ³ttir, SigrΓΊn SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6233 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	145.	Formal Methods for Components and Objects [electronic resource] 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers edited by Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel από Boer, Frank S Bonsangue, Marcello M Hallerstede, Stefan Leuschel, Michael SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6286 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	146.	The P=NP Question and GΓΆdelβs Lost Letter [electronic resource] by Richard J. Lipton από Lipton, Richard J SpringerLink (Online service) Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Boston, MA Springer Science+Business Media, LLC 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	147.	Additive Number Theory [electronic resource] Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson edited by David Chudnovsky, Gregory Chudnovsky από Chudnovsky, D. (David), 1947- Chudnovsky, Gregory SpringerLink (Online service) Έκδοση: 1 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York, NY Springer Science+Business Media, LLC 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	148.	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). Προσθήκη στο καλάθι (αφαίρεση)
	149.	Logic, Language, Information and Computation [electronic resource] 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings edited by Anuj Dawar, Ruy Queiroz από Dawar, Anuj Queiroz, Ruy SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6188 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	150.	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). Προσθήκη στο καλάθι (αφαίρεση)
	151.	New Frontiers in Artificial Intelligence [electronic resource] JSAI-isAI 2009 Workshops, LENLS, JURISIN, KCSD, LLLL, Tokyo, Japan, November 19-20, 2009, Revised Selected Papers edited by Kumiyo Nakakoji, Yohei Murakami, Eric McCready από Nakakoji, Kumiyo Murakami, Yohei McCready, Eric SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6284 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	152.	Argumentation in Multi-Agent Systems [electronic resource] 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers edited by Peter McBurney, Iyad Rahwan, Simon Parsons, Nicolas Maudet από McBurney, Peter Rahwan, Iyad Parsons, Simon Maudet, Nicolas SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6057 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	153.	Automata, Languages and Programming [electronic resource] 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I edited by Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis από Abramsky, Samson, 1953- Gavoille, Cyril Kirchner, Claude Meyer auf der Heide, Friedhelm Σπυράκης, Παύλος Γ SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6198 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	154.	Logical Tools for Handling Change in Agent-Based Systems [electronic resource] by Dov M. Gabbay, Karl Schlechta από Gabbay, Dov M, 1945- Schlechta, Karl SpringerLink (Online service) Σειρά: Cognitive Technologies Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	155.	Unifying Theories of Programming [electronic resource] Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings edited by Shengchao Qin από Qin, Shengchao SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6445 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	156.	Multiagent System Technologies [electronic resource] 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings edited by JΓΌrgen Dix, Cees Witteveen από Dix, JΓΌrgen Witteveen, Cees SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6251 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	157.	Theory and Practice of Model Transformations [electronic resource] Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings edited by Laurence Tratt, Martin Gogolla από Tratt, Laurence Gogolla, Martin SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6142 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	158.	Objects, Models, Components, Patterns [electronic resource] 48th International Conference, TOOLS 2010, MΓ'laga, Spain, June 28βJuly 2, 2010. Proceedings edited by Jan Vitek από Vitek, Jan SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6141 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	159.	Reachability Problems [electronic resource] 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings edited by AntonΓn KuΔera, Igor Potapov από KuΔera, AntonΓn Potapov, Igor SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6227 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	160.	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). Προσθήκη στο καλάθι (αφαίρεση)

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