|
|
Theory and Applications of Satisfiability Testing – SAT 2013
by Järvisalo, Matti.
Publication:
. XVI, 437 p. 84 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Grid and Pervasive Computing
by Park, James J. (Jong Hyuk).
Publication:
. XXXIV, 956 p. 483 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory of Quantum Computation, Communication, and Cryptography
by Iwama, Kazuo.
Publication:
. VIII, 153 p. 7 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Artificial Neural Networks and Machine Learning – ICANN 2012
by Villa, Alessandro E. P.
Publication:
. XXVII, 739 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Applications of Satisfiability Testing – SAT 2012
by Cimatti, Alessandro.
Publication:
. XIV, 500p. 364 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Progress in VLSI Design and Test
by Rahaman, Hafizur.
Publication:
. XXIV, 408 p. 275 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Cryptology – EUROCRYPT 2010
by Gilbert, Henri.
Publication:
. XIV, 694p. 69 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
LATIN 2010: Theoretical Informatics
by López-Ortiz, Alejandro.
Publication:
. XV, 706p. 143 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Applications for Security, Control and System Engineering
by Kim, Tai-hoon.
Publication:
. XX, 488 p. 228 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Control and Automation, and Energy System Engineering
by Kim, Tai-hoon.
Publication:
. XV, 392p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ad Hoc Networks
by Zheng, Jun.
Publication:
. XIV, 542p. 272 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Grid and Distributed Computing, Control and Automation
by Kim, Tai-hoon.
Publication:
. XIII, 287p. 166 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|