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

Ταξινόμηση
Αποτελέσματα
1.
Grid Computing [electronic resource] Experiment Management, Tool Integration, and Scientific Workflows by Radu Prodan, Thomas Fahringer από
  • Prodan, Radu
  • Fahringer, Thomas
Σειρά: Lecture Notes in Computer Science ; 4340
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2007
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
2.
Categories for Software Engineering [electronic resource] by JosΓ© Luiz Fiadeiro από
  • Fiadeiro, JosΓ© Luiz
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2005
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
3.
A Practical Theory of Reactive Systems [electronic resource] Incremental Modeling of Dynamic Behaviors by Reino Kurki-Suonio από
  • Kurki-Suonio, Reino
Σειρά: Texts in Theoretical Computer Science An EATCS Series
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2005
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
4.
Verification of Object-Oriented Software. The KeY Approach [electronic resource] Foreword by K. Rustan M. Leino edited by Bernhard Beckert, Reiner HΓ€hnle, Peter H. Schmitt από
  • Beckert, Bernhard
  • HΓ€hnle, Reiner
  • Schmitt, Peter H
Σειρά: Lecture Notes in Computer Science ; 4334
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
5.
Concurrency Theory [electronic resource] Calculi and Automata for Modelling Untimed and Timed Concurrent Systems by Howard Bowman, Rodolfo Gomez από
  • Bowman, Howard
  • Gomez, Rodolfo
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: London Springer-Verlag London Limited 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
6.
Software Engineering 3 [electronic resource] Domains, Requirements, and Software Design by Dines BjΓΈner από
  • BjΓΈner, Dines
Σειρά: Texts in Theoretical Computer Science An EATC Series
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
7.
Modelling Foundations and Applications [electronic resource] 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings edited by Thomas KΓΌhne, Bran Selic, Marie-Pierre Gervais, FranΓois Terrier από
  • KΓΌhne, Thomas
  • Selic, Bran
  • Gervais, Marie-Pierre
  • Terrier, FranΓois
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6138
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
8.
Service Research Challenges and Solutions for the Future Internet [electronic resource] S-Cube – Towards Engineering, Managing and Adapting Service-Based Systems edited by Mike P. Papazoglou, Klaus Pohl, Michael Parkin, Andreas Metzger από
  • Papazoglou, M, 1953-
  • Pohl, Klaus
  • Parkin, Michael, 1939-
  • Metzger, Andreas
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6500
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
9.
Software Language Engineering [electronic resource] Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers edited by Mark Brand, Dragan GaΕeviΔ‡, Jeff Gray από
  • Brand, Mark
  • GaΕeviΔ‡, Dragan
  • Gray, Jeff
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 5969
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
10.
Reliable Software Technologiey – Ada-Europe 2010 [electronic resource] 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings edited by Jorge Real, Tullio Vardanega από
  • Real, Jorge
  • Vardanega, Tullio
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6106
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
11.
Computer Science Logic [electronic resource] 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings edited by Anuj Dawar, Helmut Veith από
  • Dawar, Anuj
  • Veith, Helmut
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6247
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
12.
Fields of Logic and Computation [electronic resource] Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday edited by Andreas Blass, Nachum Dershowitz, Wolfgang Reisig από
  • Blass, Andreas
  • Dershowitz, Nachum
  • Reisig, Wolfgang
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6300
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
13.
Integrated Formal Methods [electronic resource] 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings edited by Dominique MΓ©ry, Stephan Merz από
  • MΓ©ry, Dominique
  • Merz, Stephan
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6396
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
14.
Architecting Dependable Systems VII [electronic resource] edited by Antonio Casimiro, RogΓ©rio Lemos, Cristina Gacek από
  • Casimiro, Antonio
  • Lemos, RogΓ©rio
  • Gacek, Cristina
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6420
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
15.
Transactions on Aspect-Oriented Software Development VII [electronic resource] A Common Case Study for Aspect-Oriented Modeling edited by Shmuel Katz, Mira Mezini, JΓΆrg Kienzle από
  • Katz, Shmuel
  • Mezini, Mira
  • Kienzle, JΓΆrg
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6210
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
16.
Computer Performance Engineering [electronic resource] 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings edited by Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa από
  • Aldini, Alessandro
  • Bernardo, Marco
  • Bononi, Luciano
  • Cortellessa, Vittorio
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6342
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
17.
Declarative Agent Languages and Technologies VII [electronic resource] 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers edited by Matteo Baldoni, Jamal Bentahar, M. Birna Riemsdijk, John Lloyd από
  • Baldoni, Matteo
  • Bentahar, Jamal
  • Riemsdijk, M. Birna
  • Lloyd, John
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 5948
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
18.
ECOOP 2010 – Object-Oriented Programming [electronic resource] 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings edited by Theo D’Hondt από
  • D’Hondt, Theo
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6183
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
19.
Evolvable Systems: From Biology to Hardware [electronic resource] 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings edited by Gianluca Tempesti, Andy M. Tyrrell, Julian F. Miller από
  • Tempesti, Gianluca
  • Tyrrell, Andy M
  • Miller, Julian F
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6274
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
20.
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).
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud