|
|
Fundamental Approaches to Software Engineering
by Rosenblum, David S.
Publication:
. XIII, 383p. 127 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems
by Esparza, Javier.
Publication:
. XVI, 468p. 102 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Compiler Construction
by Gupta, Rajiv.
Publication:
. XII, 326p. 119 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Languages and Systems
by Gordon, Andrew D.
Publication:
. XV, 632p. 189 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Approaches and Applications of Inductive Programming
by Schmid, Ute.
Publication:
. IX, 195p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Wireless Sensor Networks
by Silva, Jorge Sá.
Publication:
. XIII, 340p. 164 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Fundamentals of Software Engineering
by Arbab, Farhad.
Publication:
. XIII, 471p. 135 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Practical Aspects of Declarative Languages
by Carro, Manuel.
Publication:
. XI, 297p. 78 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Perspectives of Systems Informatics
by Pnueli, Amir.
Publication:
. XIII, 426 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Verification, Model Checking, and Abstract Interpretation
by Barthe, Gilles.
Publication:
. X, 397p. 105 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
SOFSEM 2010: Theory and Practice of Computer Science
by Leeuwen, Jan.
Publication:
. XV, 780 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Technology for Verification and Analysis
by Hung, Dang.
Publication:
. XIV, 528 p. 115 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Code Generation with Templates
by Arnoldus, Jeroen.
Publication:
. IX, 204 p. 100 illus., 2 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),
|
|
|
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),
|
|
|
The Cinderella.2 Manual
by Richter-Gebert, Jürgen.
Publication:
. XIV, 458p. 377 illus., 300 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms and Programming
by Shen, Alexander.
Publication:
. XII, 272 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Introduction to Programming Concepts with Case Studies in Python
by Üçoluk, Göktürk.
Publication:
. X, 221 p. 86 illus., 61 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Distributed Algorithms for Message-Passing Systems
by Raynal, Michel.
Publication:
. XXXI, 500 p. 198 illus., 106 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Parallel Programming
by Rauber, Thomas.
Publication:
. XIII, 516 p. 178 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|