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

261. Operating systems techniques : proceedings of a Seminar held at Queen's University, Belfast, 1971 /   Publication: London ; New York : Academic Press, 1972 . XII, 390 p. ; , Held 30 August-3 September, 1971; sponsored by International Computers Limited and the Advanced Computer Technology Projiect. 24 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
262. Implementing software for non-numeric applications / by Waite, William McCastline Publication: Englewood Cliffs, 1973 . XV, 510 p. : 24 cm. Date:1973 Availability: No items available: Checked out (1), Actions:
263. Notes on optimization / by Varaiya, Pravin Pratap Publication: New York : Van Nostrand Reinhold Co., 1972 . 202 p. : 21 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
264. Numerical methods for non-linear optimization : conference sponsored by the Science research council, University of Dundee, Scotland r /   Publication: London ; New York : Academic Press, 1972 . XIV, 440 p. ; 24 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
265. Operations research : an introduction / by Taha, Hamdy Publication: New York : Macmillan, 1971 . XVI, 703 p. : , Preliminary ed. published in 1968 under title "Introduction to operations research". 24 cm. Date:1971 Availability: No items available: Checked out (1), Actions:
266. Symposium on semantics of algorithmic languages /   Publication: Berlin ; New York : Springer-Verlag, 1971 . 372 p. ; 26 cm. Date:1971 Availability: No items available: Checked out (1), Actions:
267. A guide to COBOL programming / by McCracken, Daniel D. Publication: New York : Wiley, 1963 . 182 p. : 28 cm. Date:1963 Availability: No items available: Checked out (1), Actions:
268. Artificial intelligence : the heuristic programming approach / by Slagle, James R. Publication: New York : McGraw-Hill, 1971 . X, 196 p. : 23 cm. Date:1971 Availability: No items available: Checked out (1), Actions:
269. Problem solving by digital computers with PL / by Vazsonyi, Andrew Publication: Englewood Cliffs, [N.J.] : Prentice-Hall Inc., 1970 . XII, 508 p. ; 23 cm. Date:1970 Availability: No items available: Checked out (1), Actions:
270. Adaptive control processes : a guided tour / by Bellman, Richard Ernest Publication: Princeton : Princeton University Press, 1961 . 255 p. : 24 cm. Date:1961 Availability: No items available: Checked out (1), Actions:
271. Algol 60 programming / by Shepherd, R. F. Publication: London : McGraw-Hill, 1972 . 169 p. ; 23 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
272. System / by Brown, Gary Deward Publication: New York : Wiley, 1970 . XVI, 292 p. ; 23 cm. Date:1970 Availability: No items available: Checked out (1), Actions:
273. Introduction to statistical procedures : with computer exercises / by Lohnes, Paul R. Publication: New York : Wiley, 1968 . XV, 280 p. : 24 cm. Date:1968 Availability: No items available: Checked out (1), Actions:
274. Theory and techniques of optimization for practicing engineers / by Zahradnik, Raymond L. Publication: New York : Barner & Noble, 1971 . XI, 326 p ; 22 cm. Date:1971 Availability: No items available: Checked out (1), Actions:
275. Time and logic : a computational approach /   Publication: London : UCL Press, 1995 . VIII, 325 p. : 24 cm. Date:1995 Availability: No items available: Checked out (1), Actions:
276. The logic of partial information / by Nait Abdallah, Areski Publication: Berlin ; New York : Springer-Verlag, 1995 . XXV, 715 p. ; 24 cm. Date:1995 Availability: No items available: Checked out (1), Actions:
277. Fril, fuzzy and evidential reasoning in artificial intelligence / by Baldwin, James Frederick Publication: Taunton, Somerset, England : Research Studies Press ; New York : Wiley, 1995 . XVII, 388 p. : 26 cm. + 2 diskette Date:1995 Availability: No items available: Checked out (1), Actions:
278. Temporal logic : mathematical foundations and computational aspects / by Gabbay, Dov M. Publication: Oxford : Clarendon Press ; New York : Oxford University Press, 1994 . XIV, 653 p. : 24 cm. Date:1994 Availability: No items available: Checked out (1), Actions:
279. The C++ programming language / by Stroustrup, Bjarne Publication: Reading : Addison-Wesley, 1991 . XI, 669 p. ; 24 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
280. Representation and meaning : experiments with information processing systems /   Publication: Englewood Cliffs : Prentice-Hall, 1972 . XVIII, 440 p. ill. ; 24 cm. Date:1972 Availability: No items available: Checked out (1), Actions: