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

121. Digital speech processing : speech coding, synthesis and recognition /   Publication: Boston : Kluwer Academic Publishers, 1992 . XIV, 242 p. : 25 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
122. Acousticaland environmental robustness in automatic speech recognition / by Acero, Alejandro Publication: Boston : Kluwer Academic Publishers, 1993 . XX, 186 p. : 25 cm. Date:1993 Availability: No items available: Checked out (1), Actions:
123. Speech and audio coding for wireless and network applications /   Publication: Boston : Kluwer Academic Publishers, 1993 . VIII, 283 p. : 25 cm. Date:1993 Availability: No items available: Checked out (2), Actions:
124. Automatic speech recognition : the development of the sphinx system / by Lee, Kai-Fu Publication: Boston : Kluwer Academic Publishers, 1989 . XIV, 207 p. : 24 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
125. Syntax of programming languages : theory and practice / by Backhouse, Roland C. Publication: Englewood Cliffs, [N.J.] : Prentice-Hall International, 1979 . XV, 301 p. : 24 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
126. Denotational semantics : the Scott-Strachey approach to programming language theory / by Stoy, Joseph Publication: Cambridge : The MIT Press, 1977 . XXX, 414 p. : 24 cm. Date:1977 Availability: No items available: Checked out (1), Actions:
127. Introduction to formal language theory / by Harrison, Michael A. Publication: Reading : Addison-Wesley Pub. Co., 1978 . XIV, 594 p. : 25 cm. Date:1978 Availability: No items available: Checked out (1), Actions:
128. Artificial intelligence / by Winston, Patrick Henry Publication: Reading : Addison-Wesley Pub. Co., 1977 . XVI, 444 p. : 25 cm. Date:1977 Availability: No items available: Checked out (1), Actions:
129. Digital picture processing / by Rosenfeld, Azriel Publication: New York : Academic Press, 1976 . XII, 457 p. : 24 cm. Date:1976 Availability: No items available: Checked out (1), Actions:
130. Introduction to computability / by Hennie, Frederick C. Publication: Reading : Addison-Wesley Pub. Co., 1977 . IX, 347 p. : 25 cm. Date:1977 Availability: No items available: Checked out (1), Actions:
131. Interleaving planning and execution fou autonomous robots / by Nourbakhsh, Illah Reza Publication: Boston : Kluwer, 1997 . XVI, 145 p. : 24 cm. Date:1997 Availability: No items available: Checked out (1), Actions:
132. Top-down structured programming techniques / by McGowan, Clement L. Publication: New York : Petrocelli / Charter, 1975 . VI, 288 p. : 24 cm. Date:1975 Availability: No items available: Checked out (1), Actions:
133. Vol. 2: Deductive systems by Manna, Zohar Publication: Reading : Addison-Wesley, 1990 . XIII, 642 p. : 25 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
134. Identification, adaptation, learning : the science of learning models from data /   Publication: Berlin : Springer, 1996 . XXI, 552 p. : , Proceedings of the NATO Advanced Study Institute 'From identification to learning', held in Como, Italy, August 22 - September 2, 1994 24 cm. Date:1996 Availability: No items available: Checked out (1), Actions:
135. Automated deduction in multiple-valued logics / by Hahnle, Reiner Publication: Oxford : Clarendon Press, 1993 . IX, 172 p. : 24 cm. Date:1993 Availability: No items available: Checked out (1), Actions:
136. Fundamental concepts of programming systems / by Ullman, Jeffrey D. Publication: Reading : Addison-Wesley Pub. Co., 1976 . IX, 328 p. : 25 cm. Date:1976 Availability: No items available: Checked out (1), Actions:
137. Computer-based energy management systems : technology and applications / by Cho, Chun H. Publication: Orlando : Academic Press, 1984 . XV, 242 p. : 24 cm. Date:1984 Availability: No items available: Checked out (1), Actions:
138. Algorithm specification /   Publication: Englewood Cliffs : Prentice-Hall, 1972 . 141 p. : 24 cm. Date:1972 Availability: No items available: Checked out (1), Actions:
139. 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:
140. 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: