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

Αποτελέσματα
	1.	Program design calculi / edited by Manfred Broy. από NATO Advanced Study Institute on Program Design Calculi (1992 : Marktoberdorf, Germany) Broy, M, 1949- [επιμελητής.] Σειρά: NATO ASI series. Computer and systems sciences ; 118. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin : Springer, 1993 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 004.21 NAT. Προσθήκη στο καλάθι (αφαίρεση)
	2.	Control flow and data flow : concepts of distributed programming : international summer school, directed by F.L. Bauer, E.W. Dijkstra, C.A.R. Hoare ; edited by Manfred Broy. από NATO Advanced Study Institute on Control Flow and Data Flow: Concepts of Distributed Programming (1984 : Marktoberdorf, Germany) Broy, M, 1949- [επιμελητής.] Σειρά: NATO ASI series. Series F, Computer and systems sciences ; 14. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, c1985 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 004.36 NAT. Προσθήκη στο καλάθι (αφαίρεση)
	3.	Constructive methods in computing science / international summer school directed by F.L. Bauer ... [et al.] / edited by Manfred Broy. από NATO Advanced Study Institute on Constructive Methods in Computing Science (1988 : Marktoberdorf, Germany) Broy, M, 1949- [επιμελητής.] Σειρά: NATO ASI series. Computer and systems sciences ; 55. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin : Springer-Verlag, 1989 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 004 NAT. Προσθήκη στο καλάθι (αφαίρεση)
	4.	Programming and mathematical method / edited by Manfred Broy. από NATO Advanced Study Institute on Programming and Mathematical Method (1990 : Marktoberdorf) Broy, M, 1949- [επιμελητής.] Σειρά: NATO ASI series. Computer and systems sciences ; 88. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin : Springer-Verlag, 1992 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 005.1 NAT. Προσθήκη στο καλάθι (αφαίρεση)
	5.	Mathematical methods in program development / edited by Manfred Broy, Birgit Schieder. από NATO Advanced Study Institute on Mathematical Methods in Program Development (1996 : Marktoberdorf, Germany) Schieder, Birgit [επιμελητής.] Broy, M, 1949- [επιμελητής.] Σειρά: NATO ASI series. Computer and systems sciences ; 158. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin : Springer, 1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 005.1 NAT. Προσθήκη στο καλάθι (αφαίρεση)
	6.	Deductive program design / edited by Manfred Broy. από NATO Advanced Study Institute on Deductive Program Design (1994 : Marktoberdorf, Germany) Broy, M, 1949- [επιμελητής.] Σειρά: NATO ASI series. Computer and systems sciences ; 152. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin : Springer, 1996 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 004 NAT. Προσθήκη στο καλάθι (αφαίρεση)
	7.	Logic of programming and calculi of discrete design / edited by Manfred Broy. από NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design (1986 : Marktoberdorf, Germany) Broy, M, 1949- [επιμελητής.] Σειρά: NATO ASI series. Series F, Computer and systems sciences ; 36. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin : Springer-Verlag, 1987 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 005.131 NAT. Προσθήκη στο καλάθι (αφαίρεση)

Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας