|
|
Reactive systems : modelling, specification and verification /
Publication:
Cambridge : Cambridge University Press, 2007
. xvi, 284 p. :
26 cm.
Date:2007
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Object-oriented software engineering : , a use case driven approach /
by Jacobson, Ivar.
Publication:
[New York] : ACM Press, 1992
. xx, 524 p. :
25 cm.
Date:1992
Availability:
Copies available:
AUM Main Library
(2),
|
|
|
Process algebra for parallel and distributed processing /
Publication:
Boca Raton, FL : CRC Press, 2009
. xxii, 415 p. :
25 cm.
Date:2009
Availability:
Copies available:
AUM Main Library
(2),
|
|
|
Patterns for performance and operability : , building and testing enterprise software /
Publication:
Boca Raton, FL : Auerbach Publications, 2008
. xix, 317 p. :
25 cm.
Date:2008
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Methods in algorithmic analysis /
by Dobrushkin, V. A.
Publication:
Boca Raton, FL : CRC Press, 2010
. xix, 804 p. :
27 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(2),
|
|
|
Concrete mathematics : , a foundation for computer science /
by Graham, Ronald L.,
Publication:
Reading, Mass. : Addison-Wesley, 1994
. xiii, 657 p. :
24 cm.
Date:1994
Availability:
Copies available:
AUM Main Library
(2),
|
|
|
Starting out with Java : , from control structures through data structures /
by Gaddis, Tony.
Publication:
Boston, MA : Pearson Addison Wesley, 2007
. xxiii, 1319 p. :
26 cm. +
Date:2007
Availability:
Copies available:
AUM Main Library
(2),
|
|
|
Algorithms - ESA 2010 : , 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, proceedings, Part I /
Publication:
Berlin : Springer, 2010
. xviii, 587 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web services and formal methods : , 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, revised selected papers /
Publication:
Berlin : Springer, 2010
. 195 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal methods for industrial critical systems : , 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /
Publication:
Berlin : Springer, 2010
. xii, 230 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Runtime verification : , First International Conference, RV 2010, St. Julians, November 1-4, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. xiii, 492 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
SOFSEM 2010 : , Theory and Practice of Computer Science : 36th Conference on Current Trends in Theory and Practice of Computer Science, ŠPindleruv Mlýn, Czech Republic, January 23-29, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. xv, 780 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computing and combinatorics : , 16th annual international conference, COCOON 2010, Nha Trang, Vietnam, July 19-21, 2010 : proceedings /
Publication:
Berlin ; | New York : Springer, 2010
. xiii, 542 p. :
24 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematics of program construction : , 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008, proceedings /
Publication:
Berlin : Springer, 2010
. x, 421 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Service-oriented computing. ICSOC/ServiceWave 2009 Workshops : , International Workshops, ICSOC/Servicewave 2009, Stockholm, Sweden, November 23-27, 2009, Revised Selected Papers /
Publication:
Berlin : Springer, 2010
. xxxiv, 583 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Evolvable systems : , from biology to hardware : 9th International Conference, ICES 2010, York, UK, September 6-8, 2010, proceedings /
Publication:
Heidelberg : Springer, 2010
. xii, 394 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Principles and practice of constraint programming - CP 2010 : , 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, proceeded /
Publication:
Berlin : Springer, 2010
. xx, 660 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Objects, models, components, patterns : , 48th International Conference, Tools 2010, M Laga, Spain, June 28 - July 2, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. x, 309 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer aided verification : 22nd international conference, Cav 2010, Edinburgh, UK, July 15-19, 2010, proceedings / , 22nd International Conference, Cav 2010, Edinburgh, UK, July 15-19, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. xvi, 676 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer performance engineering : , 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, proceeding /
Publication:
Berlin : Springer, 2010
. x, 283 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|