|
|
KI 2013: Advances in Artificial Intelligence
by Timm, Ingo J.
Publication:
. XX, 313 p. 102 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Unconventional Computation and Natural Computation
by Mauri, Giancarlo.
Publication:
. XVI, 262 p. 68 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tests and Proofs
by Veanes, Margus.
Publication:
. X, 233 p. 50 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Language Engineering
by Czarnecki, Krzysztof.
Publication:
. XII, 413 p. 172 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
KI 2012: Advances in Artificial Intelligence
by Glimm, Birte.
Publication:
. XIV, 267 p. 89 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tests and Proofs
by Brucker, Achim D.
Publication:
. X, 177p. 57 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Membrane Computing
by Gheorghe, Marian.
Publication:
. 380p. 83 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Static Analysis
by Yahav, Eran.
Publication:
. XII, 387 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Relational and Algebraic Methods in Computer Science
by Swart, Harrie.
Publication:
. VIII, 363 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Practice of Algorithms in (Computer) Systems
by Marchetti-Spaccamela, Alberto.
Publication:
. X, 266 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Membrane Computing
by Gheorghe, Marian.
Publication:
. IX, 393p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Static Analysis
by Cousot, Radhia.
Publication:
. XI, 473p. 131 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithm Engineering
by Müller-Hannemann, Matthias.
Publication:
. XVI, 513 p. 72 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programs, Proofs, Processes
by Ferreira, Fernando.
Publication:
. XIV, 450p. 37 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Membrane Computing
by Păun, Gheorghe.
Publication:
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Language Engineering
by Erwig, Martin.
Publication:
. XII, 385 p. 156 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
System Modeling and Optimization
by Hömberg, Dietmar.
Publication:
. XII, 568 p. 88 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Using Event-B for Critical Device Software Systems
by Singh, Neeraj Kumar.
Publication:
. XVIII, 326 p. 45 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|