<図書>

Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings / Jacques Calmet, Carla Limongelli (eds.)

(Lecture notes in computer science;1128)

所蔵情報を非表示

1

本郷キャンパス

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

8198/保存書庫
3

駒場Ⅰキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
数理科学・保存
RO:Design 8010163106


書誌詳細を非表示

出版者 Berlin : Springer
出版年 c1996
大きさ ix, 356 p. ; 24 cm
一般注記 Includes bibliographical references
著者標目 *International Symposium on Design and Implementation of Symbolic Computation Systems (4th : 1996 : Karlsruhe, Germany)
Calmet, Jacques, 1941-
Limongelli, Carla
件 名 LCSH:System design -- Congresses
LCSH:Automatic theorem proving -- Congresses
LCSH:Mathematics -- Data processing -- Congresses
分 類 LCC:QA76.9.S88
DC20:005.1/31
本文言語 英語
書誌ID 2000498531
ISBN 3540616977
NCID BA28363762 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 '92, Bath, U.K., April 13-15, 1992 : proceedings / John Fitch, (ed.)
  3. 3 Design and implementation of symbolic computation systems : International Symposium DISCO '90, Capri, Italy, April 10-12, 1990, proceedings / A. Miola (ed.)
  4. 4 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
  5. 5 Advances in the design of symbolic computation systems / A. Miola and M. Temperini (eds.)
  6. 6 Systems analysis and design : a structured approach / William S. Davis ; with contributions by Laurena Burk, Teruro Fujii, David Haddad
  7. 7 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.)
  8. 8 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.)
  9. 9 Designing cooperative systems : the use of theories and models : proceedings of the 5th International Conference on the Design of Cooperative Systems (COOP'2000) / edited by Rose Dieng ... [et al.]
  10. 10 CODES+ISSS 2006 : International Conference on Hardware/Software Codesign and System Synthesis : October 22-25, 2006, Seoul, Korea, embedded systems week 2006 / sponsored by ACM SigBED...[et al.]

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