close
1.

図書

図書
Roland Backhouse, José Nuno Oliveira (eds.)
出版情報: Berlin : Springer, c2000  vii, 255 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1837
所蔵情報: loading…
2.

図書

図書
Johan Jeuring (ed.)
出版情報: Berlin : Springer, c1998  x, 382 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1422
所蔵情報: loading…
3.

図書

図書
Bernhard Möller, (ed.)
出版情報: Berlin ; New York ; Tokyo : Springer, c1995  viii, 472 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 947
所蔵情報: loading…
4.

図書

図書
R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993  viii, 378 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 669
所蔵情報: loading…
5.

図書

図書
Eerke A. Boiten, Bernhard Möller (eds.)
出版情報: Berlin : Springer, c2002  x, 262 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2386
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm / Robert Giegerich ; Peter Steffen
Some Results in Dynamic Model Theory / Dexter Kozen
Mathematics in Computer Science Curricula / Jeannette M. Wing
Contributed Papers
Logical Relations and Galois Connections / Kevin Backhouse ; Roland Backhouse
Transformational Derivation of Greedy Network Algorithms from Descriptive Specifications / Juan Eduardo Duran
Fine Control of Demand in Haskell / William Harrison ; Tim Sheard ; James Hook
Reasoning about Timeouts / Ian J. Hayes
Eternity Variables to Simulate Specifications / Wim H. Hesselink
Constructing Tournament Representations: An Exercise in Pointwise Relational Programming / Ralf Hinze
Type-Indexed Data Types / Johan Jeuring ; Andres Loh
Verification of JavaÆs AbstractCollection Class: A Case Study / Marieke Huisman
Solving Regular Path Queries / Yanhong A. Liu ; Fuxiang Yu
Inverting Functions as Folds / Shin-Cheng Mu ; Richard Bird
From Kleene Algebra to Refinement Algebra / Joakim von Wright
Author Index
Invited Talks
Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm / Robert Giegerich ; Peter Steffen
Some Results in Dynamic Model Theory / Dexter Kozen
6.

図書

図書
Tarmo Uustalu (ed.)
出版情報: Berlin : Springer, c2006  x, 454 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4014
所蔵情報: loading…
7.

図書

図書
Dexter Kozen (ed.)
出版情報: Berlin : Springer, c2004  x, 399 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3125
所蔵情報: loading…
8.

電子ブック

EB
International Conference on the Mathematics of Program Construction, Bernhard Möller
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1995
所蔵情報: loading…
9.

電子ブック

EB
International Conference on the Mathematics of Program Construction, Johan Jeuring
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1998
所蔵情報: loading…
10.

電子ブック

EB
International Conference on the Mathematics of Program Construction, Roland C. Backhouse, José N. Oliveira
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2000
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼