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

Αποτελέσματα
	121.	Business Process Management [electronic resource] 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings edited by Richard Hull, Jan Mendling, Stefan Tai από Hull, Richard Mendling, Jan Tai, Stefan SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6336 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	122.	Natural Deduction, Hybrid Systems and Modal Logics [electronic resource] by Andrzej Indrzejczak από Indrzejczak, Andrzej SpringerLink (Online service) Σειρά: Trends in Logic ; 30 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Dordrecht Springer Science+Business Media B.V. 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	123.	Functional and Logic Programming [electronic resource] 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings edited by Matthias Blume, Naoki Kobayashi, GermΓ'n Vidal από Blume, Matthias Kobayashi, Naoki Vidal, GermΓ'n SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6009 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	124.	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). Προσθήκη στο καλάθι (αφαίρεση)
	125.	A Concise Introduction to Mathematical Logic [electronic resource] by Wolfgang Rautenberg από Rautenberg, Wolfgang SpringerLink (Online service) Σειρά: Universitext Έκδοση: 3 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York, NY Springer-Verlag New York 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1). Προσθήκη στο καλάθι (αφαίρεση)
	126.	Database and XML Technologies [electronic resource] 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings edited by Mong Li Lee, Jeffrey Xu Yu, Zohra BellahsΓ¨ne, Rainer Unland από Lee, Mong Li Yu, Jeffrey Xu Bellahsene, Zohra Unland, Rainer SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6309 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	127.	Procedural Semantics for Hyperintensional Logic [electronic resource] Foundations and Applications of Transparent Intensional Logic by Marie DuΕΎΓ, Bjorn Jespersen, Pavel Materna από DuΕΎΓ, Marie Jespersen, Bjorn Materna, Pavel SpringerLink (Online service) Σειρά: Logic, Epistemology, and the Unity of Science ; 17 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Dordrecht Springer Science+Business Media B.V. 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	128.	Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance [electronic resource] 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings edited by Bruno MΓΌller-Clostermann, Klaus Echtle, Erwin P. Rathgeb από MΓΌller-Clostermann, Bruno Echtle, Klaus Rathgeb, Erwin P SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 5987 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	129.	Computational Logic in Multi-Agent Systems [electronic resource] 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers edited by JΓΌrgen Dix, Michael Fisher, Peter NovΓ'k από Dix, JΓΌrgen Fisher, Michael NovΓ'k, Peter SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6214 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	130.	Programs, Proofs, Processes [electronic resource] 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 β July 4, 2010. Proceedings edited by Fernando Ferreira, Benedikt LΓΆwe, Elvira Mayordomo, LuΓs Mendes Gomes από Ferreira, Fernando LΓΆwe, Benedikt Mayordomo, Elvira Mendes Gomes, LuΓs SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6158 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	131.	Task Models and Diagrams for User Interface Design [electronic resource] 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers edited by David England, Philippe Palanque, Jean Vanderdonckt, Peter J. Wild από England, David Palanque, Philippe Vanderdonckt, Jean Wild, Peter J SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 5963 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	132.	Formal Methods for Quantitative Aspects of Programming Languages [electronic resource] 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures edited by Alessandro Aldini, Marco Bernardo, Alessandra Pierro, Herbert Wiklicky από Aldini, Alessandro Bernardo, Marco Pierro, Alessandra Wiklicky, Herbert SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6154 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	133.	Inductive Logic Programming [electronic resource] 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers edited by Luc Raedt από Raedt, Luc SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 5989 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	134.	Unconventional Computation [electronic resource] 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings edited by Cristian S. Calude, Masami Hagiya, Kenichi Morita, Grzegorz Rozenberg, Jon Timmis από Calude, Cristian S Hagiya, Masami Morita, Kenichi Rozenberg, Grzegorz Timmis, Jon SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6079 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	135.	Computational Intelligence for Knowledge-Based Systems Design [electronic resource] 13th International Conference on Information Processing and Management of Uncertainty, IPMU 2010, Dortmund, Germany, June 28 - July 2, 2010. Proceedings edited by Eyke HΓΌllermeier, Rudolf Kruse, Frank Hoffmann από HΓΌllermeier, Eyke Kruse, Rudolf Hoffmann, Frank SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6178 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	136.	Principles and Practice of Constraint Programming β CP 2010 [electronic resource] 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings edited by David Cohen από Cohen, David SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6308 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	137.	Concurrency, Compositionality, and Correctness [electronic resource] Essays in Honor of Willem-Paul de Roever edited by Dennis Dams, Ulrich Hannemann, Martin Steffen από Dams, Dennis Hannemann, Ulrich Steffen, Martin SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 5930 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	138.	Testing Software and Systems [electronic resource] 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings edited by Alexandre Petrenko, Adenilso SimΓo, JosΓ© Carlos Maldonado από Petrenko, Alexandre SimΓo, Adenilso Maldonado, JosΓ© Carlos SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6435 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg IFIP International Federation for Information Processing 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	139.	Graph Transformations and Model-Driven Engineering [electronic resource] Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday edited by Gregor Engels, Claus Lewerentz, Wilhelm SchΓ€fer, Andy SchΓΌrr, Bernhard Westfechtel από Engels, Gregor Lewerentz, Claus SchΓ€fer, Wilhelm SchΓΌrr, Andy Westfechtel, Bernhard SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 5765 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	140.	Distributed, Parallel and Biologically Inspired Systems [electronic resource] 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings edited by Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf από Hinchey, Mike Kleinjohann, Bernd Kleinjohann, Lisa Lindsay, Peter A Rammig, Franz J Timmis, Jon Wolf, Marilyn, 1958- SpringerLink (Online service) Σειρά: IFIP Advances in Information and Communication Technology ; 329 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg IFIP International Federation for Information Processing 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)

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