Suggested Topics within your search.
Showing 1 - 7 results of 7 for search '', query time: 0.16s Refine Results
2
Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings /
Berlin ; New York : Springer, 1996

Conference Proceeding Book
3
Algebraic methodology and software technology : 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings /
Berlin ; New York : Springer-Verlag, 1996

Conference Proceeding Book
4
Applied computational geometry : towards geometric engineering : FCRC '96 Workshop, WACG '96, Philadelphia, PA, May 27-28, 1996 : selected papers /
Berlin ; New York : Springer, 1996

Conference Proceeding Book
5
Trees in algebra and programming--CAAP '96 : 21st international colloquium, Linköping, Sweden, April 22-24, 1996, proceedings /
Berlin ; New York : Springer, 1996

Conference Proceeding Book
6
Algorithms and computation : 7th International Symposium, ISAAC '96, Osaka, Japan, December 16-18, 1996 : proceedings /
Berlin ; New York : Springer, 1996

Conference Proceeding Book
7
Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers /
Berlin ; New York : Springer, 1998

Conference Proceeding Book
Search Tools: Get RSS Feed — Email this Search — Save Search