Výsledky vyhledávání

Obálka

Introduction to mathematics with Maple

Autor Adams, P. Vydáno: 2004

Kniha

Obálka

Mathematica : Reference guide

Autor Wolfram, Stephen, 1959- Vydáno: 1992

Kniha

Obálka

Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings

Vydáno: 1995

Kniha

Obálka

Recent trends in data type specification : 11th workshop on Specification of Abstracts Data Types joint with the 8th COMPASS workshop, Oslo, Norway, September 19-23, 1995 : selecte...

Vydáno: 1996

Kniha

Obálka

FME '96: industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe, Co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996. Pr...

Vydáno: 1996

Kniha

Obálka

Algebraic methodology and software technology : 6th international conference, AMAST '97, Sydney, Australia, December 13-17, 1997. Proceedings

Vydáno: 1997

Kniha

Obálka

FME 2002 : formal methods-getting it right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings

Vydáno: 2002

Kniha

Obálka

Formal methods : FM '99. World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999. Proceedings.

Vydáno: 1999

Kniha

Obálka

Formal methods : FM '99. World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999. Proceedings.

Vydáno: 1999

Kniha