Area della Ricerca di Padova
Corso Stati Uniti,4 35127 Padova (ITALY) - Tel.+39 049 8295611 - Fax.+39 049 8295671

1. Vol. 1: Colloquium on trees in algebra and programming (CAAP '85)   Publication: Berlin : Springer-Verlag, 1985 . XIII, 418 p. ; 24 cm. Date:1985 Availability: No items available: Checked out (1), Actions:
2. Specification and transformation of programs : a formal approach to software development / by Partsch, Helmut A. Publication: Berlin ; New York : Springer-Verlag, 1990 . XIII, 493 p. : 25 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
3. Vol. 1   Publication: Berlin : Springer-Verlag, 1987 . XIV, 289 p. ; 25 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
4. Installation and update guide   Publication: [Canada] : Microsoft Corporation, 1990 . (paginazione varia) : 23 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
5. Tools   Publication: [Canada] : Microsoft Corporation, 1990 . (paginazione varia) : 23 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
6. Vol. 2: Reference   Publication: [Canada] : Microsoft Corporation, 1990 . (paginazione varia) : 23 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
7. Vol. 1: Reference   Publication: [Canada] : Microsoft Corporation, 1990 . (paginazione varia) : 23 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
8. Vol. 2   Publication: Berlin : Springer-Verlag, 1987 . XIV, 336 p. ; 25 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
9. Vol. 2: Colloquium on software engineering (CSE)   Publication: Berlin : Springer-Verlag, 1985 . XIII, 455 p. ; 24 cm. Date:1985 Availability: No items available: Checked out (1), Actions:
10. Periodic precipitation : a microcomputer analysis of transport and reaction processes in diffusion media, with software development / by Henisch, Heinz K. Publication: Oxford : Pergamon Press, 1991 . XIV, 122 p. : 24 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
11. MetaSoft primer : towards a metalanguage for applied denotational semantics / by Blikle, Andrzej Publication: Berlin : Springer-Verlag, 1987 . XII, 140 p. : 24 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
12. Microsoft windows : software development Kit : guide programming version 3.0 for the MS-DOS and PC-DOS operating system /   Publication: [Canada] : Microsoft Corporation, 1990 . (paginazione varia) : 23 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
13. Object-oriented development : building CASE tools with C++ / by Brumbaugh, David E. Publication: New York : John Wiley & Sons, 1994 . XXIV, 518 p. : 24 cm. Date:1994 Availability: No items available: Checked out (1), Actions:
14. Fuzzy sets engineering / by Pedrycz, Witold Publication: Boca Raton : CRC Press, 1995 . 332 p. : 24 cm. Date:1995 Availability: No items available: Checked out (1), Actions:
15. Information modelling and knowledge bases XI /   Publication: Amsterdam : IOS Press, 2000 . X, 315 p. ; 24 cm. Date:2000 Availability: No items available: Checked out (1), Actions:
16. S Programming / by Venables, William N. Publication: New York : Springer Verlag, 2000 . X, 264 p. : 24 cm. Date:2000 Availability: No items available: Checked out (1), Actions: