|
A
|
B
|
C
|
D
|
E
|
F
|
G
|
H
|
I
|
J
|
K
|
L
|
M
|
N
|
O
|
P
|
Q
|
R
|
S
|
T
|
U
|
V
|
W
|
X
|
Y
|
Z
|
|
|
| Automated Information Retrieval -
Valery J. Frants
Vladimir G. Voiskunskii
Jacob Shapiro
|
| Automated item banking and test development -
William M. Lee
|
| Automated Machine Learning -
Frank Hutter
Lars Kotthoff
Joaquin Vanschoren
|
| Automated management of distributed systems -
Koch, Thomas
|
| Automated multivariant design of buildings, multi-purpose comprehensive evaluation and selection of the most efficient versions -
Edmundas Kazimieras Zavadskas
|
| Automated people movers -
Murthy V. A. Bondada
Edward S. Neumann
|
| Automated people movers IV -
William J. Sproule
Murthy V. A. Bondada
Edward S. Neumann
|
| Automated Profits From Home -
Anthony Morrison
|
| Automated Reasoning -
Jürgen Giesl
Reiner Hähnle
|
| Automated Reasoning -
Dirk Pattinson
Laura Kovács
Jasmin Blanchette
|
| Automated Reasoning -
Christoph Benzmüller
Renate A. Schmidt
Marijn Heule
|
| Automated Reasoning -
Natarajan Shankar
Ulrich Furbach
|
| Automated Reasoning with Analytic Tableaux and Related Methods -
Arild Waaler
Martin Giese
|
| Automated Reasoning with Analytic Tableaux and Related Methods -
Cláudia Nalon
Renate A. Schmidt
|
| Automated Reasoning with Analytic Tableaux and Related Methods
Lecture Notes in Artificial Intelligence -
Martin Giese
|
| Automated Security Analysis of Android and IOS Applications with Mobile Security Framework -
Henry Dalziel
Ajin Abraham
|
| Automated Security Management -
Xinming Ou
Geoffrey Xie
Ehab Al-Shaer
|
| Automated Software Engineering -
Saurabh Bilgaiyan
Jagannath Singh
Ajay Kumar Jena
Suresh Chandra Satapathy
|
| Automated Software Engineering -
Saurabh Bilgaiyan
Jagannath Singh
Ajay Kumar Jena
Suresh Chandra Satapathy
|
| Automated Software Testing -
Himansu Das
Ajay Kumar Jena
Durga Prasad Mohapatra
|