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

>> Google Books

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

フォーマット:

図書

責任表示:

Alfonso Miola, (ed.)

言語:

英語

出版情報:

Berlin ; New York : Springer-Verlag, c1993

形態:

xi, 383 p. : ill. ; 24 cm

著者名:

International Symposium on Design and Implementation of Symbolic Computation Systems <DA04261163>
Miola, A. (Alfonso), 1944- <DA04261210>
Johannes Kepler Universität Linz. Forschungsinstitut für Symbolisches Rechnen <DA07648498>
Universitá degli studi di Roma "La Sapienza." Dipartimento di informatica e sistemistica <DA07648501>

シリーズ名:

Lecture notes in computer science ; 722 <BA00009279>

書誌ID:

BA20907007

ISBN:

9780387572352 [038757235X] (: us)

9783540572350 [354057235X] (: gw)

子書誌情報

所蔵情報

タイトルが類似している資料

詳細

主題:	Mathematics--Data processing--Congresses; Numerical analysis--Data processing--Congresses; System design--Congresses
分類・件名:	LCC : QA76.9.S88 DDC : 005.13/1 LCSH : System design -- Congresses LCSH : Mathematics -- Data processing -- Congresses LCSH : Numerical analysis -- Data processing -- Congresses
LCCN:	93021040
注記:	"Organized and Sponsored by the Research Institute for Symbolic Computation (University J. Kepler, Linz, Austria) and by the Dipartimento di Informatica e Sistemistica (University "La Sapienza", Roma, Italy)"--Foreword Includes bibliographical references and index
TTLL:	eng

類似資料:

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 図書 Accurate scientific computations : symposium, Bad Neuenahr, FRG, March 12-14, 1985, proceedings Symposium on Accurate Scientific Computations, Miranker, Willard L., 1932-, Toupin, Richard A., 1926- Springer-Verlag
2 図書 Design and implementation of symbolic computation systems : International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992 : proceedings International Symposium on Design and Implementation of Symbolic Computation Systems, Fitch, John, 1945- Springer-Verlag	8 図書 Continuation methods : proceedings of a symposium at the University of Linz, Austria, October 3-4, 1977 Symposium on Continuation Methods, Johannes Kepler Universität Linz, 1977, Wacker, Hansjörg, 1939- Academic Press
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-, … Springer	9 図書 Symbolic rewriting techniques Bronstein, Manuel, Grabmeier, Johannes, Weispfenning, Volker, 1944-, Symbolic Rewriting Techniques Workshop Birkhäuser Verlag
4 図書 Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings International Symposium ISSAC, Gianni, Patrizia, 1952-, AAECC Springer-Verlag	10 図書 Problems and methodologies in mathematical software production : international seminar held at Sorrento, Italy, November 3-8, 1980 Messina, P. C. (Paul C.), 1943-, Murli, A. (Almerico), 1936-, International Seminar on Problems and Methodologies in … Springer-Verlag
5 図書 Mathematical software Rice, John Rischard, Mathematical Software Symposium Academic Press	11 図書 Computing methods in applied sciences and engineering, 1977, I : Third International Symposium, December 5-9, 1977 International Symposium on Computing Methods in Applied Sciences and Engineering, Glowinski, R., Lions, Jacques Louis, … Springer-Verlag
6 図書 Mathematics and computer science : proceedings of the CWI symposium, November 1983 Bakker, J. W. de (Jacobus Willem), 1939-, Hazewinkel, Michiel, Lenstra, J. K., Symposium on Mathematics and Computer … North-Holland	12 図書 Systems design for, with, and by the users : proceedings of the IFIP WG 9.1 Working Conference on Systems Design for, with, and by the Users, Riva del Sole, … IFIP WG 9.1 Working Conference on Systems Design for, with, and by the Users (1982 : Riva del Sole, Italy), Briefs, … North-Holland Pub. Co., Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.