Partial evaluation : practice and theory : DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998 | 東京工業大学附属図書館蔵書検索

Blank Cover Image

所蔵情報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

形態:

viii, 432 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 1706 <BA00009279>

著者名:

ISBN:

9783540667100 [3540667105]

書誌ID:

BA44483197

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographical references and index "DIKU International Summer School on Partial Evaluation" -- Pref
主題:	器械計算．計算器
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 電子ブック Partial Evaluation DIKU International Summer School on Partial Evaluation, Hatcliff, John, Mogensen, Torben Æ., Thiemann, Peter, Mogensen, … SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	7 図書 Computational neuroscience : cortical dynamics : 8th International Summer School on Neural Nets Erice, Italy, October 31-November 6, 2003 : revised lectures International Summer School on Neural Nets Erice, Érdi, Péter Springer
2 図書 Partial evaluation : International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996 : selected papers (: gw) Partial Evaluation International Seminar, Danvy, Olivier, Glück, R. (Robert), 1961-, Thiemann, P. (Peter), 1964- Springer	8 図書 Conceptual structures : inspiration and application : 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006 : … International Conference on Conceptual Structures, Schärfe, Henrik, Hitzler, Pascal, Øhrstrøm, Peter Springer
3 図書 Reasoning web : first International Summer School 2005, Msida, Malta, July 25-29, 2005, tutorial lectures Eisinger, Norbert, Małuszyński, Jan, 1941- Springer	9 図書 Agent-oriented software engineering VI : 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005 : revised and invited papers AOSE, Müller, J. P. (Jörg P.), 1965-, Zambonelli, Franco, 1966- Springer
4 電子ブック Partial Evaluation Danvy, Danvy, Olivier, Glück, Robert, Thiemann, Peter SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	10 図書 Logic programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings International Conference on Logic Programming, Stuckey, Peter J. Springer
5 図書 Fuzzy sets and systems - IFSA 2003 : 10th International Fuzzy Systems Association World Congress, Istanbul, Turkey, June 30-July 2, 2003 : proceedings IFSA World Congress, Bilgiç, Taner, Baets, Bernard de, 1966-, Kaynak, Okyay Springer	11 図書 Generative and transformational techniques in software engineering : international summer school, GTTSE 2005, Braga, Portugal, July 4-8, 2005, revised papers Lämmel, Ralf, Saraiva, João, Visser, Joost Springer
6 図書 Metainformatics : International Symposium, MIS 2002, Esbjerg, Denmark, August 7-10, 2002 : revised papers MIS, Nürnberg, Peter J. Springer	12 図書 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

1

2

3

4

5

6

7

8

9

10

11

12