|
|
Logic and Games on Automatic Structures
by Kaiser, Łukasz.
Publication:
. XII, 118 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Functional and Constraint Logic Programming
by Kuchen, Herbert.
Publication:
. VII, 157 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Models of Computation in Context
by Löwe, Benedikt.
Publication:
. XIII, 319p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Typed Lambda Calculi and Applications
by Ong, Luke.
Publication:
. XII, 245 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematics and Computation in Music
by Agon, Carlos.
Publication:
. XV, 375p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algebraic Informatics
by Winkler, Franz.
Publication:
. X, 261p.
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),
|
|
|
Logic, Language, Information and Computation
by Beklemishev, Lev D.
Publication:
. X, 311 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Functional and Constraint Logic Programming
by Mariño, Julio.
Publication:
. IX, 175 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Concept Analysis
by Valtchev, Petko.
Publication:
. XII, 267 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Grammar
by Groote, Philippe.
Publication:
. VIII, 215 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Recent Advances in Constraints
by Larrosa, Javier.
Publication:
. VII, 155 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Combinatorial Algorithms
by Iliopoulos, Costas S.
Publication:
. XI, 418 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
WALCOM: Algorithms and Computation
by Katoh, Naoki.
Publication:
. XI, 233p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Graph Drawing
by Brandes, Ulrik.
Publication:
. XIV, 414p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Principles of Distributed Systems
by Lu, Chenyang.
Publication:
. XII, 517p. 112 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Cryptology and Network Security
by Heng, Swee-Huay.
Publication:
. XIII, 355p. 66 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Parameterized and Exact Computation
by Raman, Venkatesh.
Publication:
. X, 239p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Combinatorial Optimization and Applications
by Wu, Weili.
Publication:
. XVI, 416p. 80 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Combinatorial Optimization and Applications
by Wu, Weili.
Publication:
. XVI, 424p. 105 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|