|
|
Logic, Language and Meaning
by Aloni, Maria.
Publication:
. X, 476p. 1 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Introduction to Cryptography with Maple
by Gómez Pardo, José Luis.
Publication:
. XXX, 705 p. 20 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Algebraic Specification and Formal Software Development
by Sannella, Donald.
Publication:
. XVI, 584 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Identity-Based Encryption
by Chatterjee, Sanjit.
Publication:
. XI, 182p. 19 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Rigorous Software Development
by Almeida, José Bacelar.
Publication:
. XIII, 307p. 52 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|