|
|
Advanced Information Systems Engineering
by Mouratidis, Haralambos.
Publication:
. XVIII, 684p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
End-User Development
by Costabile, Maria Francesca.
Publication:
. XVI, 426p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Modelling Foundations and Applications
by France, Robert B.
Publication:
. XIV, 396p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
FM 2011: Formal Methods
by Butler, Michael.
Publication:
. XIV, 450p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Models in Software Engineering
by Dingel, Juergen.
Publication:
. XII, 416p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
NETWORKING 2011
by Domingo-Pascual, Jordi.
Publication:
. XXII, 381 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
NETWORKING 2011
by Domingo-Pascual, Jordi.
Publication:
. XXI, 473 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
GeoSpatial Semantics
by Claramunt, Christophe.
Publication:
. XII, 235 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Requirements Engineering: Foundation for Software Quality
by Berry, Daniel.
Publication:
. XII, 209 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods: Foundations and Applications
by Davies, Jim.
Publication:
. VIII, 291 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Fundamental Approaches to Software Engineering
by Giannakopoulou, Dimitra.
Publication:
. XIII, 464p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Communication Technologies for Vehicles
by Strang, Thomas.
Publication:
. XIII, 239 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Services and Formal Methods
by Bravetti, Mario.
Publication:
. VIII, 191p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Pattern Languages of Programming II
by Noble, James.
Publication:
. IX, 125p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Service-Oriented Computing
by Maximilien, E. Michael.
Publication:
. XIII, 266 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Passive and Active Measurement
by Spring, Neil.
Publication:
. XI, 246 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
SOFSEM 2011: Theory and Practice of Computer Science
by Černá, Ivana.
Publication:
. XIV, 572p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Verification of Object-Oriented Software
by Beckert, Bernhard.
Publication:
. X, 199p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Semantic Web – ISWC 2010
by Patel-Schneider, Peter F.
Publication:
. XXII, 373p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Computational Science X
by Gavrilova, Marina L.
Publication:
. XVIII, 366p.
Availability:
Copies available:
AUM Main Library
(1),
|
|