//]]>
Unhighlight Highlight
Testing techniques in software engineering : , second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007 : revised lectures /   Publication: Berlin : Springer, 2010 . viii, 312 p. : 24 cm. Date:2010 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
Software language engineering : , second international conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 Revised Selected Papers /   Publication: Berlin : Springer, 2010 . xiii, 383 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Composition : , 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010, proceedings /   Publication: Berlin : Springer, 2010 . x, 153 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
New modeling concepts for today's software processes : , International Conference on Software Process, Icsp 2010, Paderborn, Germany, July 8-9, 2010, proceeding /   Publication: Berlin : Springer, 2010 . xiv, 382 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Product-focused software process improvement : , 11th International Conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010, Proceedings /   Publication: Berlin : Springer, 2010 . xiii, 410 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Euro-Par 2009, parallel processing - workshops : , HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, workshops /   Publication: Berlin : Springer, 2010 . xix, 468 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
Modelling foundation and applications : 6th European conference, ECMFA 2010, Paris, France, June 15-18, 2010, Proceedings /   Publication: New York : Springer, 2010 . xi, 356 p. : Date:2010 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
Theory and Practice of Natural Computing by Dediu, Adrian-Horia. Publication: . X, 241 p. 83 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Evolution of Telecommunication Services by Bertin, Emmanuel. Publication: . XII, 327 p. 105 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Internet and Distributed Computing Systems by Pathan, Mukaddim. Publication: . XI, 400 p. 179 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods and Software Engineering by Groves, Lindsay. Publication: . XVIII, 466 p. 136 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Trustworthy Global Computing by Palamidessi, Catuscia. Publication: . X, 213 p. 37 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Security and Trust Management by Accorsi, Rafael. Publication: . X, 235 p. 53 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reachability Problems by Abdulla, Parosh Aziz. Publication: . XII, 223 p. 60 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Logistics by Pacino, Dario. Publication: . X, 269 p. 72 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Information Systems and Industrial Management by Saeed, Khalid. Publication: . XX, 524 p. 241 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2 3 4 5 6 7 8 9 10 Next >>