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

361. Tutorial, automated tools for software engineering : initially presented at COMPSAC # 79 /   Publication: New York : IEEE Computer Society : Institute of Electrical and Electronics Engineers, 1979 . VII, 262 p. : 28 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
362. Real time languages : design and development / by Young, Stephen Publication: Chichester, [West Susses] : E. Horwood ; New York : Halsted Press, 1982 . 352 p. : 24 cm. Date:1982 Availability: No items available: Checked out (1), Actions:
363. Algorithmic languages : proceedings of the International Symposium on Algorithmic Languages /   Publication: Amsterdam ; New York : North-Holland Pub. Co., 1981 . XXVI, 431 p. : 23 cm. Date:1981 Availability: No items available: Checked out (1), Actions:
364. Software engineering : analysis and verification / by Lewis, Theodore Gyle Publication: Reston : Reston Pub. Co., 1982 . X, 470 p. : 25 cm. Date:1982 Availability: No items available: Checked out (1), Actions:
365. Programming in ADA / by Barnes, John Gilbert Presslie Publication: London ; Reading (Mass.) : Addison-Wesley Pub. Co., 1982 . X, 340 p. ; 24 cm. Date:1982 Availability: No items available: Checked out (1), Actions:
366. Program flow analysis : theory and applications / by Muchnick, Stephen S. Publication: Englewood Cliffs : Prentice-Hall, 1981 . XVII, 418 p. : 24 cm. Date:1981 Availability: No items available: Checked out (1), Actions:
367. Stochastic optimal control : the discrete time case / by Bertsekas, Dimitri P. Publication: New York : Academic Press, 1978 . XIII, 323 p. ; 24 cm. Date:1978 Availability: No items available: Checked out (1), Actions:
368. Programming in Prolog / by Clocksin, William F. Publication: Berlin ; New York : Springer-Verlag, 1981 . XII, 279 p. : 25 cm. Date:1981 Availability: No items available: Checked out (1), Actions:
369. Towards a formal description of Ada /   Publication: Berlin : Springer-Verlag, 1980 . XII, 630 p. ; 25 cm. Date:1980 Availability: No items available: Checked out (1), Actions:
370. Artificial intelligence programming / by Charniak, Eugene Publication: Hillsdale : Lawrence Erlbaum Associates Publishers, 1980 . XII, 323 p. ; 24 cm. Date:1980 Availability: No items available: Checked out (2), Actions:
371. An introduction to the general theory of algorithms / by Machtey, Michael Publication: New York : North-Holland, 1978 . VII, 264 p. ; 24 cm. Date:1978 Availability: No items available: Checked out (1), Actions:
372. Pascal programming / by Atkinson, Laurence Publication: Chichester ; New York : J. Wiley, 1980 . X, 428 p. ; 23 cm. Date:1980 Availability: No items available: Checked out (1), Actions:
373. Programming manual for the ion trap detector /   Publication: San Jose : Finnigan Corporation, 1987 . 1 contenitore (varie sequenze) ; 23 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
374. Research directions in software technology /   Publication: Cambridge, (Mass.) : The MIT Press, 1979 . XIII, 896 p. : 23 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
375. Principles of business computer programming / by Breckner, David Publication: Englewood Cliffs : Prentice-Hall, 1970 . IX, 197 p. : 24 cm. Date:1970 Availability: No items available: Checked out (1), Actions:
376. Computational methods in structural and continuum mechanics / by Ross, C. T. F. Publication: Chichester : Ellis Horwood Limited, 1982 . 176 p. : 24 cm. Date:1982 Availability: No items available: Checked out (1), Actions:
377. International Symposium on Programming : proceedings of the Fourth Colloque international sur la programmation, Paris, 22-24 April 1980 /   Publication: Berlin : Springer-Verlag, 1980 . VII, 341 p. ; 24 cm. Date:1980 Availability: No items available: Checked out (1), Actions:
378. Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings /   Publication: Berlin : Springer-Verlag, 1980 . XI, 566 p. : 25 cm. Date:1980 Availability: No items available: Checked out (1), Actions:
379. Programming in C : guida allo sviluppo di applicazioni professionali con il linguaggio C / by Schustack, Steve Publication: Milano : Mondadori, 1986 . XIII, 334 p. ; , Traduzione a cura di Michele Pacifico 24 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
380. 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: