|
|
| |
Software specification methods /
Publication:
London : ISTE Ltd, 2006
. xxv, 418 p. :
25 cm.
Date:2006
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Object-oriented analysis and design /
by Ramnath, Sarnath.
Publication:
New York : Springer, 2010
. xvii, 470 p.
26 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(3),
|
|
| |
A common case study for aspect-oriented modeling /
Publication:
Berlin : Springer, 2010
. xi, 422 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
No cover image available
|
| |
Innovations in computing sciences and software engineering /
Publication:
New York : Springer 2010
. xix, 638 p. :
25 cm.
Date:2010
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
(1),
Checked out (1),
|
|
| |
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),
|
|
| |
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),
|
|
| |
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),
|
|
| |
Foundations of computer software : , future trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, revised selected papers /
Publication:
Berline : Springer, 2010
. viii, 274 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Requirements engineering : , foundation for software quality : 16th International Working Conference, Refsq 2010, Essen, Germany, June 30-July 2, 2010. proceeding /
Publication:
Berlin : Springer, 2010
. xi, 280 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Abstract state machines, Alloy, B And Z : , Second International Conference, ABZ 2010 Orford, QC, Canada, February 22-25, 2010 : Proceedings /
Publication:
Berlin : Springer, 2010
. xiv, 416 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(2),
|
|
| |
Model driven development of advanced user interfaces /
Publication:
Berlin : Springer, 2011
. xix, 302 p. :
Date:2011
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Access networks : , 4th International Conference, AccesNets 2009, Hong Kong, November 1-3, 2009, revised selected papers /
Publication:
Berlin : Springer, 2010
. ix, 275 p.
Date:2010
Availability:
Copies available:
AUM Main Library
(2),
|
|
| |
Object oriented programming through JAVA /
by krishna, P. Radha
Publication:
Boca Raton, FL : Universities Press, 2007
. 473 p. :
Date:2007
Availability:
Copies available:
AUM Main Library
(2),
|
|
| |
Java software structures : , designing and using data structures /
by Lewis, John,
Publication:
New York : Pearson Education, 2010
. 564 p. :
23 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(2),
|
|
| |
Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems
by Lokuciejewski, Paul.
Publication:
. XVIII, 262 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Quality-Driven SystemC Design
by Große, Daniel.
Publication:
. XIX, 170p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Proceedings of the 2012 International Conference on Information Technology and Software Engineering
by Lu, Wei.
Publication:
. XVIII, 988 p. 530 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Proceedings of the 2012 International Conference on Information Technology and Software Engineering
by Lu, Wei.
Publication:
. XVIII, 977 p. 501 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Proceedings of the 2012 International Conference on Information Technology and Software Engineering
by Lu, Wei.
Publication:
. XIX, 1008 p. 421 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
