|
|
New Modeling Concepts for Today’s Software Processes
by Münch, Jürgen.
Publication:
. XIV, 382p. 133 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Aided Verification
by Touili, Tayssir.
Publication:
. XVI, 676p. 169 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Requirements Engineering: Foundation for Software Quality
by Wieringa, Roel.
Publication:
. XII, 280p. 62 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automata, Languages and Programming
by Abramsky, Samson.
Publication:
. XXIV, 614p. 78 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Euro-Par 2009 – Parallel Processing Workshops
by Lin, Hai-Xiang.
Publication:
. XIX, 468p. 137 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
ECOOP 2010 – Object-Oriented Programming
by D’Hondt, Theo.
Publication:
. XIII, 599p. 196 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Composition
by Baudry, Benoît.
Publication:
. VIII, 155p. 56 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mechanisms for Autonomous Management of Networks and Services
by Stiller, Burkhard.
Publication:
. XIII, 179p. 66 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Objects, Models, Components, Patterns
by Vitek, Jan.
Publication:
. 316p. 103 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Research into Practice – Reality and Gaps
by Heineman, George T.
Publication:
. X, 183p. 66 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Future Multimedia Networking
by Zeadally, Sherali.
Publication:
. X, 184p. 115 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Practice of Model Transformations
by Tratt, Laurence.
Publication:
. X, 278p. 95 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Distributed Computing in Sensor Systems
by Rajaraman, Rajmohan.
Publication:
. XVII, 410p. 152 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Distributed Applications and Interoperable Systems
by Eliassen, Frank.
Publication:
. XIV, 243p. 98 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Modelling Foundations and Applications
by Kühne, Thomas.
Publication:
. 364p. 150 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Analytical and Stochastic Modeling Techniques and Applications
by Al-Begain, Khalid.
Publication:
. XI, 409p. 132 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Multi-Agent-Based Simulation X
by Tosto, Gennaro.
Publication:
. 158p. 57 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reliable Software Technologiey – Ada-Europe 2010
by Real, Jorge.
Publication:
. XII, 277p. 65 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Techniques for Distributed Systems
by Hatcliff, John.
Publication:
. XII, 233p. 40 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Coordination Models and Languages
by Clarke, Dave.
Publication:
. XI, 183p. 50 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|