|
|
| |
Concurrency, compositionality, and correctness : , essays in honor of Willem-Paul De Roever /
Publication:
New York : Springer, 2010
. x, 375 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Formal methods for industrial critical systems : , 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /
Publication:
Berlin : Springer, 2010
. xii, 230 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Runtime verification : , First International Conference, RV 2010, St. Julians, November 1-4, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. xiii, 492 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Objects, models, components, patterns : , 48th International Conference, Tools 2010, M Laga, Spain, June 28 - July 2, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. x, 309 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Automated defect prevention : , best practices in software management /
by Huizinga, Dorota.
Publication:
Hoboken, N.J : Wiley-Interscience, 2007
. xxvi, 426 p. :
25 cm.
Date:2007
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Hierarchical Neural Network Structures for Phoneme Recognition
by Vasquez, Daniel.
Publication:
. XVIII, 133 p. 49 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Statistical Pronunciation Modeling for Non-Native Speech Processing
by Gruhn, Rainer E.
Publication:
. X, 114 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Robust Emotion Recognition using Spectral and Prosodic Features
by Rao, K. Sreenivasa.
Publication:
. XII, 118 p. 37 illus., 15 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Proceedings of the Paralinguistic Information and its Integration in Spoken Dialogue Systems Workshop
by Delgado, Ramón López-Cózar.
Publication:
. XXXIV, 384p. 114 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Cross-Word Modeling for Arabic Speech Recognition
by AbuZeina, Dia.
Publication:
. X, 74 p. 15 illus., 1 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Domain-Level Reasoning for Spoken Dialogue Systems
by Bühler, Dirk.
Publication:
. XIII, 185p. 60 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Advances in Commercial Deployment of Spoken Dialog Systems
by Suendermann, David.
Publication:
. XII, 69p. 20 illus., 7 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Contemporary Methods for Speech Parameterization
by Ganchev, Todor.
Publication:
. X, 114p. 32 illus., 23 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Spoken Dialogue Systems Technology and Design
by Minker, Wolfgang.
Publication:
. XXIII, 277p. 40 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Proactive Spoken Dialogue Interaction in Multi-Party Environments
by Strauß, Petra-Maria.
Publication:
. XX, 180p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Advances in Speech Recognition
by Neustein, Amy.
Publication:
. XXVI, 370p. 25 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Chinese Lexical Semantics
by Liu, Pengyuan.
Publication:
. XVI, 718 p. 133 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data
by Sun, Maosong.
Publication:
. XIV, 354 p. 87 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Information Access Evaluation. Multilinguality, Multimodality, and Visualization
by Forner, Pamela.
Publication:
. XVIII, 370 p. 69 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Flexible Query Answering Systems
by Larsen, Henrik Legind.
Publication:
. XVI, 694 p. 208 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
