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

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

Ταξινόμηση
Αποτελέσματα
1541.
Data Warehousing and Knowledge Discovery [electronic resource] 12th International Conference, DAWAK 2010, Bilbao, Spain, August/September 2010. Proceedings edited by Torben Bach Pedersen, Mukesh K. Mohania, A Min Tjoa από
  • Bach Pedersen, Torben
  • Mohania, Mukesh K
  • Tjoa, A. Min
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6263
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
1542.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings edited by Christian G. FermΓΌller, Andrei Voronkov από
  • FermΓΌller, Christian G
  • Voronkov, Andrei
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6397
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
1543.
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 I edited by Tiziana Margaria, Bernhard Steffen από
  • Margaria, Tiziana
  • Steffen, Bernhard
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6415
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
1544.
Agents and Data Mining Interaction [electronic resource] 6th International Workshop on Agents and Data Mining Interaction, ADMI 2010, Toronto, ON, Canada, May 11, 2010, Revised Selected Papers edited by Longbing Cao, Ana L. C. Bazzan, Vladimir Gorodetsky, Pericles A. Mitkas, Gerhard Weiss, Philip S. Yu από
  • Cao, Longbing
  • Bazzan, Ana L. C
  • Gorodetsky, Vladimir
  • Mitkas, Pericles A
  • Weiss, Gerhard
  • Yu, Philip S
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 5980
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
1545.
Symbol Spotting in Digital Libraries [electronic resource] Focused Retrieval over Graphic-rich Document Collections by MarΓal RusiΓol, Josep LladΓ³s από
  • RusiΓol, MarΓal
  • LladΓ³s, Josep
  • SpringerLink (Online service)
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: London Springer-Verlag London Limited 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
1546.
Systems Practice: How to Act in a Climate Change World [electronic resource] by Ray Ison από
  • Ison, Ray
  • SpringerLink (Online service)
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: London The Open University 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
1547.
Research in Computational Molecular Biology [electronic resource] 14th Annual International Conference, RECOMB 2010, Lisbon, Portugal, April 25-28, 2010. Proceedings edited by Bonnie Berger από
  • Berger, Bonnie
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6044
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
1548.
Foundations of Intelligent Systems [electronic resource] 12th International Symposium, ISMIS 2000 Charlotte, NC, USA, October 11–14, 2000 Proceedings edited by Zbigniew W. RaΕ›, Setsuo Ohsuga από
  • RaΕ›, Zbigniew W
  • Ohsuga, Setsuo
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 1932
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
1549.
Interactive Theorem Proving [electronic resource] First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings edited by Matt Kaufmann, Lawrence C. Paulson από
  • Kaufmann, Matt
  • Paulson, Lawrence C
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6172
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
1550.
Life System Modeling and Intelligent Computing [electronic resource] International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part I edited by Kang Li, Xin Li, Shiwei Ma, George W. Irwin από
  • Li, Kang
  • Li, Xin
  • Ma, Shiwei
  • Irwin, George W
  • SpringerLink (Online service)
Σειρά: Communications in Computer and Information Science ; 97
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
1551.
Post-Quantum Cryptography [electronic resource] Third International Workshop, PQCrypto 2010, Darmstadt, Germany, May 25-28, 2010. Proceedings edited by Nicolas Sendrier από
  • Sendrier, Nicolas
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6061
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
1552.
Finite-State Methods and Natural Language Processing [electronic resource] 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers edited by Anssi Yli-JyrΓ€, AndrΓ's Kornai, Jacques Sakarovitch, Bruce Watson από
  • Yli-JyrΓ€, Anssi
  • Kornai, AndrΓ's
  • Sakarovitch, Jacques
  • Watson, Bruce
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6062
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
1553.
Lean Enterprise Software and Systems [electronic resource] First International Conference, LESS 2010, Helsinki, Finland, October 17-20, 2010. Proceedings edited by Pekka Abrahamsson, Nilay Oza από
  • Abrahamsson, Pekka
  • Oza, Nilay
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Business Information Processing ; 65
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
1554.
Arts and Technology [electronic resource] First International Conference, ArtsIT 2009, Yi-Lan, Taiwan, September 24-25, 2009, Revised Selected Papers edited by Fay Huang, Reen-Cheng Wang από
  • Huang, Fay
  • Wang, Reen-Cheng
  • SpringerLink (Online service)
Σειρά: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 30
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
1555.
Practical Signcryption [electronic resource] edited by Alexander W. Dent, Yuliang Zheng από
  • Dent, Alexander W
  • Zheng, Yuliang
  • SpringerLink (Online service)
Σειρά: Information Security and Cryptography
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
1556.
Mobile Networks and Management [electronic resource] First International Conference, MONAMI 2009, Athens, Greece, October 13-14, 2009. Revised Selected Papers ; edited by Kostas Pentikousis, Oliver Blume, Ramon Aguero Calvo, Symeon Papavassiliou από
  • Pentikousis, Kostas
  • Blume, Oliver
  • Aguero Calvo, Ramon
  • Papavassiliou, Symeon
  • SpringerLink (Online service)
Σειρά: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 32
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
1557.
Dynamic Business Process Formation for Instant Virtual Enterprises [electronic resource] edited by Nikolay Mehandjiev, Paul Grefen από
  • Mehandjiev, Nikolay
  • Grefen, Paul
  • SpringerLink (Online service)
Σειρά: Advanced Information and Knowledge Processing
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: London Springer-Verlag London 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
1558.
Collaborative Software Engineering [electronic resource] edited by Ivan MistrΓ­k, John Grundy, AndrΓ© Hoek, Jim Whitehead από
  • MistrΓ­k, Ivan
  • Grundy, John
  • Hoek, AndrΓ©
  • Whitehead, Jim
  • SpringerLink (Online service)
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
1559.
Managing and Mining Graph Data [electronic resource] edited by Charu C. Aggarwal, Haixun Wang από
  • Aggarwal, Charu C
  • Wang, Haixun
  • SpringerLink (Online service)
Σειρά: Advances in Database Systems ; 40
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Boston, MA Springer Science+Business Media, LLC 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
1560.
Security and Privacy in Mobile Information and Communication Systems [electronic resource] Second International ICST Conference, MobiSec 2010, Catania, Sicily, Italy, May 27-28, 2010, Revised Selected Papers edited by Andreas U. Schmidt, Giovanni Russello, Antonio Lioy, Neeli R. Prasad, Shiguo Lian από
  • Schmidt, Andreas U
  • Russello, Giovanni
  • Lioy, Antonio
  • Prasad, Neeli R
  • Lian, Shiguo
  • SpringerLink (Online service)
Σειρά: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 47
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud