Title: Children Designers: Interdisciplinary Constructions for Learning and Knowing Mathematics in a Computer-Rich School, Author: Idit Harel
Title: TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991: Volume 1: Colloquium on Trees in Algebra and Programming (CAAP '91), Author: S. Abramsky
Title: Global Software: Developing Applications for the International Market, Author: Dave Taylor
Title: KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report, Author: Manfred Broy
Title: Advanced Topics in Exception Handling Techniques, Author: Christophe Dony
Title: Process Improvement in Practice: A Handbook for IT Companies, Author: Tore Dybï
Title: Embedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings, Author: Thomas A. Henzinger
Title: UML 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools: 5th International Conference, Dresden, Germany, September 30 October 4, 2002. Proceedings, Author: Jean-Marc Jezequel
Title: Software Process Dynamics and Agility: International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007, Proceedings, Author: Qing Wang
Title: Recent Trends in Algebraic Development Techniques: 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers, Author: Jose L. Fiadeiro
Title: Software Process Technology: 8th European Workshop, EWSPT 2001 Witten, Germany, June 19-21, 2001 Proceedings, Author: Vincenzo Ambriola
Title: Computerbasierte Lernumgebungen zur Unterstuetzung selbstgesteuerter Lernprozesse: Eine objektorientierte Modellierung mit der Unified Modeling Language (UML), Author: Frank Arnold
Title: Software Methodologies: A Quantitative Guide, Author: Capers Jones
Title: FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings, Author: Jorge Cuellar
Title: Designing Embedded Communications Software, Author: T. Sridhar
Title: Proof in VDM: Case Studies, Author: Juan C. Bicarregui
Title: Software Process Improvement: 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005, Proceedings, Author: Ita Richardson
Title: Universal Access in Health Telematics: A Design Code of Practice, Author: Constantine Stephanidis
Title: Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings, Author: Susanne Graf
Title: Modular Specification and Verification of Object-Oriented Programs, Author: Peter Mïller

Pagination Links