>> Google Books
タイトル、所在を表示します

Design and implementation of symbolic computation systems : International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992 : proceedings

フォーマット:
図書
責任表示:
John Fitch, (ed.)
言語:
英語
出版情報:
Berlin ; New York : Springer-Verlag, c1993
形態:
214 p. ; 24 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 721 <BA00009279>
書誌ID:
BA20906004
ISBN:
9780387572727 [0387572724] (: us)
9783540572725 [3540572724] (: gw)
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Design and implementation of symbolic computation systems : International Symposium DISCO '90, Capri, Italy, April 10-12, 1990, proceedings

International Symposium on Design and Implementation of Symbolic Computation Systems, Miola, A. (Alfonso), 1944-

Springer-Verlag
7 図書 EUROSAM 84 : International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984

EUROSAM, Fitch, John, 1945-

Springer-Verlag
2 図書 Design and implementation of symbolic computation systems : International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993 : proceedings

International Symposium on Design and Implementation of Symbolic Computation Systems, Miola, A. (Alfonso), 1944-, &hellip;

Springer-Verlag
8 図書 Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : …

TACAS, Brinksma, Ed

Springer
3 図書 Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings

International Symposium on Design and Implementation of Symbolic Computation Systems, Calmet, Jacques, 1941-, &hellip;

Springer
9 図書 Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002, held as part of the Joint European Conferences on …

TACAS, Katoen, Joost-Pieter, Stevens, Perdita, European Conferences on Theory and Practice of Software

Springer
4 図書 Mathematical software III : proceedings of a symposium conducted by the Mathematics Research Center, the University of Wisconsin--Madison, March 28-30, 1977

Mathematical Software Symposium, Rice, John Rischard, University of Wisconsin--Madison. Mathematics Research Center

Academic Press
10 図書 Tools and algorithms for the construction and analysis of systems : 7th International Conference, TACAS 2001, held as part of the Joint European Conferences on …

TACAS, Margaria, Tiziana, Yi, Wang, European Conferences on Theory and Practice of Software

Springer
5 図書 Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings

International Symposium ISSAC, Gianni, Patrizia, 1952-, AAECC

Springer-Verlag
11 図書 Tools and algorithms for the construction and analysis of systems : 6th International Conference, TACAS 2000, held as part of the Joint European Conferences on …

TACAS, Graf, Susanne, Schwartzbach, Michael I, European Conferences on Theory and Practice of Software

Springer
6 図書 Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on …

TACAS, Halbwachs, Nicolas, Zuck, Lenore D., European Conferences on Theory and Practice of Software

Springer
12 図書 Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS'98 held as part of the Joint European Conferences on …

TACAS, European Conferences on Theory and Practice of Software, Steffen, Bernhard

Springer