<図書>

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

(Lecture notes in computer science;721)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図 : gw 39:L:1.721 2012471823

6757/保存書庫

書誌詳細を非表示

出版者 Berlin ; New York : Springer-Verlag
出版年 c1993
大きさ 214 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *International Symposium on Design and Implementation of Symbolic Computation Systems (1992 : Bath, England)
Fitch, John, 1945-
件 名 LCSH:System design -- Congresses
LCSH:Mathematics -- Data processing -- Congresses
LCSH:Numerical analysis -- Data processing -- Congresses
分 類 LCC:QA76.9.S88
DC20:005.13/1
本文言語 英語
書誌ID 2000305273
ISBN 0387572724
NCID BA20906004 WCLINK

類似資料

  1. 1 Design and implementation of symbolic computation systems : International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993 : proceedings / Alfonso Miola, (ed.)
  2. 2 Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings / Jacques Calmet, Carla Limongelli (eds.)
  3. 3 Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings / B. Banieqbal, H. Barringer, A. Pnueli (eds.)
  4. 4 Design and implementation of symbolic computation systems : International Symposium DISCO '90, Capri, Italy, April 10-12, 1990, proceedings / A. Miola (ed.)
  5. 5 Automated tools for information systems design : proceedings of the IFIP WG 8.1 Working Conference on Automated Tools for Information Systems Design and Development, New Orleans, U.S.A., 26-28 January, 1982 / edited by Hans-Jochen Schneider and Anthony I. Wasserman
  6. 6 Systems analysis and design : a structured approach / William S. Davis ; with contributions by Laurena Burk, Teruro Fujii, David Haddad
  7. 7 Advances in the design of symbolic computation systems / A. Miola and M. Temperini (eds.)
  8. 8 Symbolic rewriting techniques / Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning, editors
  9. 9 Tools and algorithms for the construction and analysis of systems : 6th International Conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / Susanne Graf, Michael Schwartzbach (eds.)
  10. 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 Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / Tiziana Margaria, Wang Yi (eds.)

検索結果一覧に戻る ページトップ