| Call Number (LC) | Title | Results |
|---|---|---|
| QA76.76.D47 I593 2005 |
FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings / FM 2005 formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings / |
3 |
| QA76.76.D47 I593 2006 | FM 2006 formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings / | 2 |
| QA76.76.D47 I593 2008eb | FM 2008 formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings / | 1 |
| QA76.76.D47 I596 1998 | Development and evolution of software architectures for product families second international ESPRIT ARES workshop, Las Palmas de Gran Canaria, Spain, February 26-27, 1998 : proceedings / | 1 |
| QA76.76.D47 I597 2000 |
Software architectures for product families : International Workshop IW-SAPF-3, Las Palmas de Gran Canaria, Spain, March 15-17, 2000 : proceedings / Software architectures for product families : International Workshop IW-SAPF-3, Las Palmas de Gran Canaria, Sapin, March 15-17, 2000 : proceedings / |
2 |
| QA76.76.D47 I599 1995 | Internationalization : developing software for global markets / | 1 |
| QA76.76.D47 I62 1991 | Proceedings of the 3rd International Workshop on Software Configuration Management, Trondheim, Norway, June 12-14, 1991 / | 1 |
| QA76.76.D47 I637 2014 | The incremental commitment spiral model : principles and practices for successful systems and software / | 1 |
| QA76.76.D47 J29 2006 |
Software abstractions : logic, language and analysis / Software abstractions logic, language and analysis / |
2 |
| QA76.76.D47 J29 2006eb | Software abstractions : logic, language and analysis / | 1 |
| QA76.76.D47 J29 2012eb | Software abstractions : logic, language and analysis / | 1 |
| QA76.76.D47 J32 2001 | Problem frames : analysing and structuring software development problems / | 1 |
| QA76.76.D47 J33 1995 | Software requirements & specifications : a lexicon of practice, principles, and prejudices / | 2 |
| QA76.76.D47J343 2004 | Aspect-Oriented Software Development with Use Cases. | 1 |
| QA76.76.D47 J348 2000 | The road to the unified software development process / | 1 |
| QA76.76.D47 J352 2008 | Delivering successful projects with TSP SM and Six sigma : a practical guide to implementing Team / | 1 |
| QA76.76.D47 J352 2009eb | Delivering successful projects with TSP and Six Sigma : a practical guide to implementing Team Software Process / | 1 |
| QA76.76.D47 J353 2004 | UML by example / | 1 |
| QA76.76.D47 J353 2004eb | UML by example / | 1 |
| QA76.76.D47 J354 2002 | Software project management in practice / | 2 |
