Algorithmic languages and calculi : IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi 17-22 February 1997, Alsace, France | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Algorithmic languages and calculi : IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi 17-22 February 1997, Alsace, France / edited by Richard S. Bird and Lambert Meertens

資料種別:

図書

出版情報:

London : Chapman & Hall, 1997

形態:

vi, 440 p. ; 24 cm

著者名:

ISBN:

9780412820502 [0412820501]

書誌ID:

BA3312343X

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographies and index
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 Programming concepts, methods and calculi : proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods, and Calculi … IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods, and Calculi, Olderog, E.-R., … Elsevier	7 図書 Programming concepts and methods : PROCOMET '98 : IFIP TC2/WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98), 8-12 June … Gries, David, 1939-, Roever, W.-P. de, 1943-, International Federation for Information Processing Chapman & Hall
2 図書 Information systems and qualitative research : proceedings of the IFIP TC8 WG 8.2 International Conference on Information Systems and Qualitative Research, 31st … IFIP TC 8/WG 8.2 International Conference on Information Systems and Qualitative Research, Lee, Allen S, Liebenau, … Chapman & Hall	8 図書 Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings (: gw ; : us) International Conference on the Mathematics of Program Construction, Bird, R. S. (Richard Simpson), 1943-, Morgan, C. C. … Springer-Verlag
3 図書 Systems implementation 2000 : IFIP TC2 WG2.4 Working Conference on Systems Implementation 2000: Languages, Methods and Tools, 23-26 February 1998, Berlin, … IFIP TC2 WG2.4 Working Conference on Systems Implementation 2000: Languages, Methods and Tools, Horspool, R. Nigel, … Published by Chapman & Hall on behalf of the International Federation for Information Processing	9 図書関数プログラミング入門 : Haskellで学ぶ原理と技法 Bird, R. S. (Richard Simpson), 1943-, 山下, 伸夫オーム社
4 図書 Environmental software systems : IFIP TC5 WG5.11 International Symposium on Environmental Software Systems (ISESS '97), 28 April-2 May 1997, British Columbia, … International Symposium on Environmental Software Systems, Denzer, R., Swayne, David A., Schimak, G. (Gerald), … Chapman & Hall	10 図書関数プログラミング : 珠玉のアルゴリズムデザイン Bird, R. S. (Richard Simpson), 1943-, 山下, 伸夫オーム社
5 電子ブック Proceedings of the 1st IFIP TC6 /WG8.8 /WG11.2 international conference on Information security theory and practices: smart cards, mobile and ubiquitous … Sauveron, Damien, Bilas, Angelos, Kanade, Takeo, Markantonakis, Konstantinos, Quisquater, Jean-Jacques, Association for … SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 図書 Haskellによる関数プログラミングの思考法 Bird, R. S. (Richard Simpson), 1943-, 山下, 伸夫ドワンゴ, KADOKAWA (発売)
6 図書 Building QoS into distributed systems : IFIP TC6 WG6.1 Fifth International Workshop on Quality of Service (IWQOS '97), 21-23 May 1997, New York, USA IFIP TC6 WG6.1 International Workshop on Quality of Service, Campbell, Andrew, Nahrstedt, Klara, International … Chapman & Hall	12 図書 Information and communication technologies in school mathematics : IFIP TC3 / WG3.1 Working Conference on Secondary School Mathematics in the World of … IFIP TC3/WG3.1 Working Conference on Secondary School Mathematics in the World of Communication Technology : Learning, … Chapman & Hall

1

2

3

4

5

6

7

8

9

10

11

12