|
|
Intelligent Robotics and Applications
by Su, Chun-Yi.
Publication:
. XXXVI, 723 p. 434 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Intelligent Robotics and Applications
by Su, Chun-Yi.
Publication:
. XX, 625 p. 386 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Service-Oriented and Cloud Computing
by Paoli, Flavio.
Publication:
. XI, 282 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Technology for Verification and Analysis
by Chakraborty, Supratik.
Publication:
. XIV, 436 p. 106 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Security
by Gollmann, Dieter.
Publication:
. XIV, 402 p. 87 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Modeling and Analysis of Timed Systems
by Jurdziński, Marcin.
Publication:
. X, 267 p. 71 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Relational and Algebraic Methods in Computer Science
by Kahl, Wolfram.
Publication:
. XII, 361 p. 33 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods: Foundations and Applications
by Gheyi, Rohit.
Publication:
. X, 227 p. 67 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Information Systems and Industrial Management
by Cortesi, Agostino.
Publication:
. XII, 444 p. 176 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Reasoning and Rule Systems
by Krötzsch, Markus.
Publication:
. XV, 298 p. 32 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Languages
by Carvalho Junior, Francisco Heron.
Publication:
. IX, 165 p. 78 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Engineering for Resilient Systems
by Avgeriou, Paris.
Publication:
. X, 181 p. 64 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Security – ESORICS 2012
by Foresti, Sara.
Publication:
. XVII, 896 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Static Analysis
by Miné, Antoine.
Publication:
. XI, 457 p. 153 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Search Based Software Engineering
by Fraser, Gordon.
Publication:
. XVI, 293 p. 80 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms and Architectures for Parallel Processing
by Xiang, Yang.
Publication:
. XXI, 563 p. 241 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms and Architectures for Parallel Processing
by Xiang, Yang.
Publication:
. XXIV, 331 p. 159 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theoretical Aspects of Computing – ICTAC 2012
by Roychoudhury, Abhik.
Publication:
. XII, 259 p. 74 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
CONCUR 2012 – Concurrency Theory
by Koutny, Maciej.
Publication:
. XIV, 582 p. 84 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Datalog in Academia and Industry
by Barceló, Pablo.
Publication:
. XIV, 191 p. 20 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|