Βελτιώστε την αναζήτησή σας

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

Ταξινόμηση
Αποτελέσματα
101.
Web Reasoning and Rule Systems [electronic resource] Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings edited by Pascal Hitzler, Thomas Lukasiewicz από
  • Hitzler, Pascal
  • Lukasiewicz, Thomas
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6333
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
102.
Architecting Critical Systems [electronic resource] First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings edited by Holger Giese από
  • Giese, Holger
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6150
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
103.
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).
104.
Algorithms and Architectures for Parallel Processing [electronic resource] 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I edited by Ching-Hsien Hsu, Laurence T. Yang, Jong Hyuk Park, Sang-Soo Yeo από
  • Hsu, Ching-Hsien
  • Yang, Laurence T
  • Park, Jong Hyuk
  • Yeo, Sang-Soo
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6081
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
105.
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).
106.
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).
107.
Exploring Services Science [electronic resource] First International Conference , IESS 2010, Geneva, Switzerland, February 17-19, 2010. Revised Papers edited by Jean-Henry Morin, Jolita RalytΓ©, Mehdi Snene από
  • Morin, Jean-Henry
  • RalytΓ©, Jolita
  • Snene, Mehdi
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Business Information Processing ; 53
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
108.
Model Driven Engineering Languages and Systems [electronic resource] 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II edited by Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen από
  • Petriu, Dorina C
  • Rouquette, Nicolas
  • Haugen, Øystein
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6395
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
109.
Information Systems, Technology and Management [electronic resource] 4th International Conference, ICISTM 2010, Bangkok, Thailand, March 11-13, 2010. Proceedings edited by Sushil K. Prasad, Harrick M. Vin, Sartaj Sahni, Mahadeo P. Jaiswal, Bundit Thipakorn από
  • Prasad, Sushil K
  • Vin, Harrick M
  • Sahni, Sartaj
  • Jaiswal, Mahadeo P
  • Thipakorn, Bundit
  • SpringerLink (Online service)
Σειρά: Communications in Computer and Information Science ; 54
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
110.
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).
111.
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).
112.
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).
113.
Foundations of Computer Software. Future Trends and Techniques for Development [electronic resource] 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers edited by Christine Choppy, Oleg Sokolsky από
  • Choppy, Christine
  • Sokolsky, Oleg
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6028
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
114.
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).
115.
Network and Parallel Computing [electronic resource] IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010. Proceedings edited by Chen Ding, Zhiyuan Shao, Ran Zheng από
  • Ding, Chen
  • Shao, Zhiyuan
  • Zheng, Ran
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6289
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
116.
Self-Organizing Architectures [electronic resource] First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009, Revised Selected and Invited Papers edited by Danny Weyns, Sam Malek, RogΓ©rio Lemos, Jesper Andersson από
  • Weyns, Danny
  • Malek, Sam
  • Lemos, RogΓ©rio
  • Andersson, Jesper
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6090
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
117.
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).
118.
Information Systems Development [electronic resource] Towards a Service Provision Society edited by George Angelos Papadopoulos, Wita Wojtkowski, Gregory Wojtkowski, Stanislaw Wrycza, JoΒe Zupancic από
  • Papadopoulos, George Angelos
  • Wojtkowski, Wita
  • Wojtkowski, Gregory
  • Wrycza, Stanislaw
  • Zupancic, JoΒe
  • SpringerLink (Online service)
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Boston, MA Springer-Verlag US 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
119.
Enterprise, Business-Process and Information Systems Modeling [electronic resource] 11th International Workshop, BPMDS 2010, and 15th International Conference, EMMSAD 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010. Proceedings edited by Ilia Bider, Terry Halpin, John Krogstie, Selmin Nurcan, Erik Proper, Rainer Schmidt, Roland Ukor από
  • Bider, Ilia
  • Halpin, Terry
  • Krogstie, John
  • Nurcan, Selmin
  • Proper, Erik
  • Schmidt, Rainer
  • Ukor, Roland
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Business Information Processing ; 50
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
120.
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).
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud