Software specification methods /   Publication: London : ISTE Ltd, 2006 . xxv, 418 p. : 25 cm. Date:2006 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
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),
Actions: Add to Cart
A common case study for aspect-oriented modeling /   Publication: Berlin : Springer, 2010 . xi, 422 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
No cover image available
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),
Actions: Add to Cart
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),
Actions: Add to Cart
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),
Actions: Add to Cart
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),
Actions: Add to Cart
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),
Actions: Add to Cart
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),
Actions: Add to Cart
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),
Actions: Add to Cart
Model driven development of advanced user interfaces /   Publication: Berlin : Springer, 2011 . xix, 302 p. : Date:2011 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
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),
Actions: Add to Cart
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),
Actions: Add to Cart
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),
Actions: Add to Cart
Network Inference in Molecular Biology by Lingeman, Jesse M. Publication: New York, NY : Springer New York, 2012 Date:2012 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advanced Parallel Processing Technologies by Wu, Chenggang. Publication: . XII, 410 p. 187 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Geometry and Graphs by Akiyama, Jin. Publication: . X, 163 p. 59 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Combinatorial Algorithms by Lecroq, Thierry. Publication: . XXII, 474 p. 135 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Cryptography and Coding by Stam, Martijn. Publication: . XII, 365 p. 39 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Artificial Intelligence and Its Applications by Castro, Félix. Publication: . XXVI, 585 p. 139 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2 3 4 5 6 7 8 9 10 Next >>