Algebraic methods : theory, tools, and applications /

Algebra, Geometry and Software Systems /
by: Joswig, Michael
Published: (2003)

Process Algebra with Timing /
by: Baeten, J. C. M.
Published: (2002)

Proceedings of the 2001 ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering : PASTE'01, Snowbird, Utah, USA, July 18-19, 2001 /
Published: (2001)

Relational methods in computer science : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274, TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers /
Published: (2006)

Smithsonian package for algebra and symbolic mathematics /
by: Hall, Norton M.
Published: (1969)

Software process dynamics and agility : International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007 : proceedings /
Published: (2007)

Introduction to Process Algebra /
by: Fokkink, Wan
Published: (2000)

Systems development methods for the next century /
Published: (1997)

Software engineering research, management and applications : second international conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004 : selected revised papers /
Published: (2005)

Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers /
Published: (2000)

Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers /
Published: (2003)

Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers /
Published: (2005)

Model driven architecture : foundations and applications : first European conference, ECMDA-FA 2005, Nuremberg, Germany, November 2005 : proceedings /
Published: (2005)

Recent trends in algebraic development techniques : 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers /
Published: (1998)

Recent trends in algebraic development techniques : 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papers /
Published: (2007)

Recent trends in algebraic development techniques : 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers /
Published: (2001)

Proceedings of the Symposium on Managing the Development of Large Computer Program Systems /
Published: (1963)

Systems development methods for databases, enterprise modeling, and workflow management /
Published: (1999)

Petri Net Algebra /
by: Best, Eike
Published: (2001)

New trends in software methodologies, tools and techniques /
Published: (2007)

FME '93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings /
Published: (1993)

FME 2001 : formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings /
Published: (2001)

Polynomial Algorithms in Computer Algebra /
by: Winkler, Franz
Published: (1996)

Reliable systems on unreliable networked platforms : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005 : revised selected papers /
Published: (2007)

Algebra and coalgebra in computer science : first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings /
Published: (2005)

Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings /
Published: (2007)

Product-focused software process improvement : 7th international conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006 : proceedings /
Published: (2006)

Requirements engineering, foundation for software quality : 13th international working conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007 : proceedings /
Published: (2007)

Software system design methods : the challenge of advanced computing technology /
Published: (1986)

Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 /
Published: (1985)

Logic, algebra, and computation : international summer school directed by F.L. Bauer ... [et al.] /
Published: (1991)

Software product-family engineering : 5th international workshop, PFE 2003, Siena, Italy, November 4-6, 2003 : revised papers /
Published: (2004)

Software product lines : 9th international conference, SPLC 2005, Rennes, France, September 26-29, 2005 : proceedings /
Published: (2005)

Product focused software process improvement : 5th international conference, PROFES 2004, Kansai Science City, Japan, April 5-8, 2004 ; proceedings /
Published: (2004)

Computer software engineering research /
Published: (2007)

TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 /
Published: (1989)