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

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

Ταξινόμηση
Αποτελέσματα
61.
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).
62.
Trends in Enterprise Architecture Research [electronic resource] 5th International Workshop, TEAR 2010, Delft, The Netherlands, November 12, 2010. Proceedings edited by Erik Proper, Marc M. Lankhorst, Marten SchΓΆnherr, Joseph Barjis, Sietse Overbeek από
  • Proper, Erik
  • Lankhorst, Marc M
  • SchΓΆnherr, Marten
  • Barjis, Joseph
  • Overbeek, Sietse
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Business Information Processing ; 70
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
63.
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).
64.
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).
65.
Mechanisms for Autonomous Management of Networks and Services [electronic resource] 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, Zurich, Switzerland, June 23-25, 2010. Proceedings edited by Burkhard Stiller, Filip Turck από
  • Stiller, Burkhard
  • Turck, Filip
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6155
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg IFIP International Federation for Information Processing 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
66.
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 II edited by Tiziana Margaria, Bernhard Steffen από
  • Margaria, Tiziana
  • Steffen, Bernhard
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6416
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
67.
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).
68.
Smart Sensing and Context [electronic resource] 5th European Conference, EuroSSC 2010, Passau, Germany, November 14-16, 2010. Proceedings edited by Paul Lukowicz, Kai Kunze, Gerd Kortuem από
  • Lukowicz, Paul
  • Kunze, Kai
  • Kortuem, Gerd
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6446
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
69.
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).
70.
Stabilization, Safety, and Security of Distributed Systems [electronic resource] 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings edited by Shlomi Dolev, Jorge Cobb, Michael Fischer, Moti Yung από
  • Dolev, Shlomi
  • Cobb, Jorge
  • Fischer, Michael
  • Yung, Moti
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6366
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
71.
Advances in Production Management Systems. New Challenges, New Approaches [electronic resource] IFIP WG 5.7 International Conference, APMS 2009, Bordeaux, France, September 21-23, 2009, Revised Selected Papers edited by Bruno Vallespir, ThΓ¨cle Alix από
  • Vallespir, Bruno
  • Alix, Thecle
  • SpringerLink (Online service)
Σειρά: IFIP Advances in Information and Communication Technology ; 338
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg IFIP International Federation for Information Processing 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
72.
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).
73.
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).
74.
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).
75.
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).
76.
Programming Languages and Systems [electronic resource] 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings edited by Kazunori Ueda από
  • Ueda, Kazunori
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6461
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
77.
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).
78.
Transactions on Petri Nets and Other Models of Concurrency IV [electronic resource] edited by Kurt Jensen, Susanna Donatelli, Maciej Koutny από
  • Jensen, K. (Kurt), 1950-
  • Donatelli, Susanna
  • Koutny, Maciej
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6550
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
79.
Networks for Grid Applications [electronic resource] Third International ICST Conference, GridNets 2009, Athens, Greece, September 8-9, 2009, Revised Selected Papers edited by Anastasios Doulamis, Joe Mambretti, Ioannis Tomkos, Theodora Varvarigou από
  • Doulamis, Anastasios
  • Mambretti, Joe
  • Tomkos, Ioannis
  • Varvarigou, Theodora
  • SpringerLink (Online service)
Σειρά: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 25
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
80.
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).
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud