Αποτελέσματα
|
1.
|
|
|
2.
|
VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings / edited by D. Bjørner ... [et al.]. από
- VDM '87 (1987 : Brussels, Belgium)
- Bjørner, D. (Dines), 1937- [επιμελητής]
- VDM-Europe
Σειρά: Lecture notes in computer science ; 252
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1987
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 005.1 VDM, ...
|
|
3.
|
|
|
4.
|
|
|
5.
|
|
|
6.
|
|
|
7.
|
Software design and development : the HSC course / Philip Gilbert. από- Wilson, Carole [συγγραφέας]
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο ; Λογοτεχνικό είδος:
Μη λογοτεχνικό ; Κοινό:
Ειδικευμένο;
Λεπτομέρειες δημοσίευσης: Cambridge: Cambridge University Press, c2002
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Αγρίνιο (1)Ταξιθετικός αριθμός: 005.1 WIL.
|
|
8.
|
|
|
9.
|
|
|
10.
|
An extended web service composition model with teamwork semantics / Paraskevi A. Tsoutsa. από
- Τσούτσα, Παρασκευή [συγγραφέας]
- Ράγγος, Όμηρος [επιβλέπων καθηγητής]
- Πανεπιστήμιο Πατρών Σχολή Θετικών Επιστημών Τμήμα Μαθηματικών
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο ; Λογοτεχνικό είδος:
Μη λογοτεχνικό ; Κοινό:
Ειδικευμένο;
Σημείωση διατριβής: Διδακτορική διατριβή (Δ.Δ.)--Πανεπιστήμιο Πατρών, 2021.
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.78 ΤΣΟ.
|
|
11.
|
|