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

Unhighlight Highlight
41. 3 Jahrestagung, Hamburg, 8-10 Oktober 1973 /   Publication: Berlin : Springer-Verlag, 1973 . XI, 508 p. ; 24 cm. Date:1973 Availability: No items available: Checked out (1), Actions:
42. Vol. 2: Seminumerical algorithms by Knuth, Donald E. Publication: Reading : Addison Wesley Pub. Co., 1968 . XI, 624 cm. : 25 cm. Date:1968 Availability: No items available: Checked out (1), Actions:
43. Computer systems and water resources / by Bugliarello, George Publication: Amsterdam : Elsevier Scientific Publishing Company, 1974 . XIV, 202 p. : 25 cm. Date:1974 Availability: No items available: Checked out (1), Actions:
44. Efficient query processing in geographic information systems / by Ooi, Beng Chin Publication: Berlin : Springer Verlag, 1990 . VIII, 208 p. : 25 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
45. Computer-aided circuit design: simulation and optimization /   Publication: Stroudsburg : Dowden, 1973 . XV, 380 p. : 26 cm. Date:1973 Availability: No items available: Checked out (1), Actions:
46. Algebraic coding theory: history and development /   Publication: Stroudsburg : Dowden, 1973 . XIII, 413 p. ; 27 cm. Date:1973 Availability: No items available: Checked out (2), Actions:
47. Finite automata : behavior and synthesis / by Trakhtenbrot, Boris Avraamovich Publication: Amsterdam : North-Holland Pub. Co.; New York : American Elsevier, 1973 . XI, 321 p. : 23 cm. Date:1973 Availability: No items available: Checked out (1), Actions:
48. Treat : a new and efficient match algorithm for AI production systems / by Miranker, Daniel Publication: London : Pitman ; San Mateo, 1988 . XIII, 144 p. ; 24 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
49. Functional programming languages and computer architecture : 5th ACM conference, Cambridge, MA, USA, August 26-30, 1991 : proceedings /   Publication: Berlin : Springer-Verlag, 1991 . VIII, 666 p. : 25 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
50. Vol. 1: *Multiplicity theory and canonical decomposition /   Publication: Stroudsburg : Dowden, 1973 . XI, 393 p. ; 27 cm. Date:1973 Availability: No items available: Checked out (1), Actions:
51. Algorithm specification /   Publication: Englewood Cliffs : Prentice-Hall, 1972 . 141 p. : 24 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
52. Design and optimization of compilers /   Publication: Englewood Cliff : Prentice-Hall, 1972 . 141 p. ; 24 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
53. Computer networks /   Publication: Englewood Cliff : Prentice-Hall, 1972 . 205 p. : 24 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
54. Formal semantics of programming languages /   Publication: Englewood ; Cliffs, [N.J.] : Prentice-Hall, 1972 . 248 p. : 24 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
55. 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:
56. Hybrid systems /   Publication: Berlin : Springer-Verlag, 1993 . VIII, 474 p. ; 24 cm. Date:1993 Availability: No items available: Checked out (1), Actions:
57. Substructural logics /   Publication: Oxford : Clarendon Press ; New York : Oxford University Press, 1993 . X, 386 p. ; 24 cm. Date:1993 Availability: No items available: Checked out (1), Actions:
58. The implementation of Prolog / by Boizumault, Patrice Publication: Princeton : Princeton University Press, 1993 . XII, 299 p. : 25 cm. Date:1993 Availability: No items available: Checked out (1), Actions:
59. Object-based distributed programming : ECOOP '93 Workshop, Kaiserslautern, Germany, July 26-27, 1993, proceedings /   Publication: Berlin : Springer-Verlag, 1994 . VI, 261 p. ; 25 cm. Date:1994 Availability: No items available: Checked out (1), Actions:
60. Information randomness and incompleteness : papers on algorithmic information theory / by Chaitin, G. J. Publication: Singapore : World Scientific, 1990 . V, 319 p. ; 27 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
<< Previous 1 2 3 4 5 6 7 8 9 10 Next >>