|
|
Automated Technology for Verification and Analysis
by Hung, Dang.
Publication:
. XIV, 528 p. 115 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Treatise on Intuitionistic Type Theory
by Granström, Johan Georg.
Publication:
. XIV, 198 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logics in Computer Science
by Mogavero, Fabio.
Publication:
. XVII, 149 p. 13 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Instruction Sequences for Computer Science
by Bergstra, Jan A.
Publication:
. XVI, 229 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
by Janssen, Jeroen.
Publication:
Paris : Atlantis Press, 2012
Date:2012
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Trust Networks for Recommender Systems
by Victor, Patricia.
Publication:
. XIV, 202 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Practice of Computation
by Nishizaki, Shin-ya.
Publication:
. XII, 295 p. 130 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Practice of Computation
by Nishizaki, Shin-ya.
Publication:
. X, 215p. 58 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Evaluation of Novel Approaches to Software Engineering
by Filipe, Joaquim.
Publication:
. X, 257 p. 93 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Evaluation of Novel Approaches to Software Engineering
by Maciaszek, Leszek A.
Publication:
. X, 173 p. 49 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Engineering and Technology
by Xu, Weixia.
Publication:
. XIV, 252 p. 151 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Engineering and Technology
by Xu, Weixia.
Publication:
. XIV, 263 p. 164 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
ICT in Education, Research, and Industrial Applications
by Ermolayev, Vadim.
Publication:
. XIV, 245 p. 52 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity
by Kim, Tai-hoon.
Publication:
. XVIII, 476 p. 263 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
VLSI-SoC: Advanced Research for Systems on Chip
by Mir, Salvador.
Publication:
. X, 187 p. 104 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Evaluation of Novel Approaches to Software Engineering
by Maciaszek, Leszek A.
Publication:
. X, 219 p. 102 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Correctness-by-Construction Approach to Programming
by Kourie, Derrick G.
Publication:
. XIII, 264p. 37 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The NCL Natural Constraint Language
by Zhou, Jianyang.
Publication:
. XIII, 311 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Evaluation of Novel Approaches to Software Engineering
by Maciaszek, Leszek A.
Publication:
. X, 267p. 102 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Power Electronics and Instrumentation Engineering
by Das, Vinu V.
Publication:
. X, 136p.
Availability:
Copies available:
AUM Main Library
(1),
|
|