Recent trends in algebraic development techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Recent trends in algebraic development techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers / José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.)

資料種別:

図書

出版情報:

Berlin ; New York : Springer, c2005

形態:

viii, 269 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 3423 <BA00009279>

著者名:

ISBN:

9783540253273 [3540253270]

書誌ID:

BA71480737

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographical references and index
主題:	器械計算．計算器
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 電子ブック Recent Trends in Algebraic Development Techniques WADT 2004, Fiadeiro, Jos? Luiz, Kanade, Takeo, Mosses, Peter, Orejas, Fernando Springer eBooks Computer Science, Springer Berlin / Heidelberg	7 図書 Recent trends in algebraic development techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected … WADT, Wirsing, Martin, Pattinson, Dirk, Hennicker, Rolf Springer
2 電子ブック Recent Trends in Algebraic Development Techniques WADT 2004, Fiadeiro, José Luiz, Kanade, Takeo, Mosses, Peter, Orejas, Fernando SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg	8 電子ブック Recent Trends in Algebraic Development Techniques Fiadeiro, Jos? Luiz, Hutchison, David, Kanade, Takeo, Schobbens, Pierre-Yves Springer eBooks Computer Science, Springer Berlin Heidelberg
3 図書 Recent trends in algebraic development techniques : 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers WADT, Fiadeiro, José Luiz, 1961- Springer	9 電子ブック Recent Trends in Algebraic Development Techniques Fiadeiro, José Luiz, Hutchison, David, Kanade, Takeo, Schobbens, Pierre-Yves SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 電子ブック Recent Trends in Algebraic Development Techniques WADT '98, Fiadeiro, José Luiz SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	10 図書 Recent trends in algebraic development techniques : 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers WADT, Parisi Presicce, Francesco Springer
5 図書 Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers WADT, Bert, Didier, Choppy, C. (Christine), Mosses, Peter D. Springer	11 電子ブック TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 : Volume 1: … Diaz, Josep., Orejas, Fernando., SpringerLink (Online service)
6 電子ブック Recent Trends in Algebraic Development Techniques WADT '99, Bert, Didier, Choppy, Christine, Mosses, Peter SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	12 電子ブック Recent Trends in Algebraic Development Techniques Fiadeiro, Țuțu, Ionuț SpringerLink Books - AutoHoldings, Springer International Publishing

1

2

3

4

5

6

7

8

9

10

11

12