Partial evaluation : practice and theory : DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998

>> Amazon.co.jp

このページのQRコード

Partial evaluation : practice and theory : DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998

種類:

図書

責任表示:

John Hatcliff, Torben Æ. Mogensen, Peter Thiemann (eds.)

出版情報:

Berlin : Springer, c1999

著者名:

シリーズ名:

Lecture notes in computer science ; 1706 <BA00009279>

ISBN:

9783540667100 [3540667105]

注記:

Includes bibliographical references

所蔵情報

子書誌情報

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

詳細

主題:	総記--情報学．情報科学
分類・件名:	NDC9 : 007
TTLL:	eng
言語:	英語
形態:	viii, 432 p. : ill. ; 24 cm
書誌ID:	BA44483197

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Algebraic and coalgebraic methods in the mathematics of program construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000 : revised … Mathematics of Program Construction, Backhouse, Roland C., 1948-, Crole, Roy L, Gibbons, Jeremy Springer	7 図書 Modeling and verification of parallel processes : 4th summer school, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lectures Cassez, Franck, Jard, Claude, Rozoy, Brigitte, Ryan, Mark Dermot Springer
2 図書 Applications and Theory of Petri Nets 2001 : 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001 : proceedings International Conference on Applications and Theory of Petri Nets, Colom, José-Manuel, Koutny, Maciej Springer	8 図書 Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : … EEF/Euro Summer School on Trends in Computer Science, Brinksma, Ed, Hermanns, Holger, Katoen, Joost-Pieter Springer
3 図書 SDL 2001 : meeting UML : 10th International SDL Forum, Copenhagen, Denmark, June 27-29, 2001 : proceedings SDL Forum, Reed, Rick, Reed, Jeanne Springer	9 図書 Typed lambda calculi and applications : 6th International Conference, TLCA 2003 Valencia, Spain, June 10-12, 2003 : proceedings International Conference on Typed Lambda Calculi and Applications, Hofmann, Martin Springer
4 図書 Proceedings, 17th Annual IEEE Symposium on Logic in Computer Science, 22-25 July 2002 Copenhagen, Denmark, held in conjunction with the Third Federated Logic … Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society	10 図書 CONCUR '99 : concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings International Conference on Concurrency Theory, Baeten, Jos C.M., Mauw, Sjouke Springer
5 図書 Partial evaluation : International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996 : selected papers Partial Evaluation International Seminar, Danvy, Olivier, Glück, R. (Robert), 1961-, Thiemann, P. (Peter), 1964- Springer	11 図書 Advances in cryptology - ASIACRYPT 2009 : 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, … International Conference on the Theory and Application of Cryptology, Matsui, Mitsuru Springer
6 図書 Applied semantics : International Summer School, APPSEM 2000 Caminha, Portugal, September 9-15, 2000, Advanced lectures Barthe, Giles Springer	12 図書 Public key cryptography : Second International Workshop on Practice and Theory in Public Key Cryptography, PKC '99, Kamakura, Japan, March 1-3, 1999 : … International Workshop on Practice and Theory in Public Key Cryptography, 今井, 秀樹(1943-), Zheng, Yuliang Springer