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

Ταξινόμηση
Αποτελέσματα
1.
A Process Algebraic Approach to Software Architecture Design [electronic resource] by Alessandro Aldini, Marco Bernardo, Flavio Corradini από
  • Aldini, Alessandro
  • Bernardo, Marco
  • Corradini, Flavio
  • SpringerLink (Online service)
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: London Springer-Verlag London Limited 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
2.
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).
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud