|
|
Theory and Applications of Satisfiability Testing – SAT 2010
by Strichman, Ofer.
Publication:
. XIII, 400p. 74 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Deontic Logic in Computer Science
by Governatori, Guido.
Publication:
. VIII, 323p. 33 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Applications of Models of Computation
by Kratochvíl, Jan.
Publication:
. XIV, 480p. 91 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Science – Theory and Applications
by Ablayev, Farid.
Publication:
. XI, 397p. 49 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Information and Knowledge Systems
by Link, Sebastian.
Publication:
. XII, 363 p. 58 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Abstract State Machines, Alloy, B and Z
by Frappier, Marc.
Publication:
. XIV, 416p. 95 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Digital Imaging and Communications in Medicine (DICOM)
by Pianykh, Oleg S.
Publication:
. XXI, 417p. 131 illus., 129 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematics of Approximation
by Villiers, Johan.
Publication:
. XXI, 406 p. 2 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Condition
by Bürgisser, Peter.
Publication:
. XXXI, 554 p. 32 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Meshfree Methods for Partial Differential Equations VI
by Griebel, Michael.
Publication:
. VIII, 233 p. 101 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Graphs, Networks and Algorithms
by Jungnickel, Dieter.
Publication:
. XX, 675 p. 211 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Sparse Grids and Applications
by Garcke, Jochen.
Publication:
. X, 283 p. 81 illus., 28 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
A Primer on Scientific Programming with Python
by Langtangen, Hans Petter.
Publication:
. XXXII, 798 p. 79 illus., 30 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Boolean Function Complexity
by Jukna, Stasys.
Publication:
. XVI, 620 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematics and Modern Art
by Bruter, Claude.
Publication:
. VIII, 178p. 221 illus., 145 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Combinatorial Optimization
by Korte, Bernhard.
Publication:
. XX, 660 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
A Primer on Scientific Programming with Python
by Langtangen, Hans Petter.
Publication:
. XXX, 706p. 72 illus., 28 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
High Performance Computing in Science and Engineering '10
by Nagel, Wolfgang E.
Publication:
. XIII, 500p. 297 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Fete of Combinatorics and Computer Science
by Katona, Gyula O. H.
Publication:
. 365 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Triangulations
by Loera, Jesús A.
Publication:
. X, 539p. 496 illus., 281 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|