close
1.

図書
図書
1. Modern methods in scientific computing and applications
edited by Anne Bourlioux, Martin J. Gander and technical editor Gert Sabidussi
出版情報: Dordrecht : Kluwer Academic, c2002  xxii, 492 p. ; 25 cm
シリーズ名: NATO science series ; Series II . Mathematics, physics and chemistry ; v. 75
所蔵情報: loading…
目次情報: 続きを見る
Preface
Key to group picture
Participants
Contributors
Computation of large-scale quadratic forms and transfer functions using the theory of moments, quadrature and Pade approximation / Zhaojun Bai ; Gene Golub
Thin film dynamics: theory and applications / Andrea L. Bertozzi ; Mark Bowen
Numerical turbulent combustion: an asymptotic view via an idealized test-case / Anne Bourlioux
Multigrid methods: from geometrical to algebraic versions / Gundolf Haase ; Ulrich Langer
One-way operators, absorbing boundary conditions and domain decomposition for wave propagation / Laurence Halpern ; Adib Rahmouni
Deterministic and random dynamical systems: theory and numerics / Anthony R. Humphries ; Andrew M. Stuart
Optimal investment problems and volatility homogenization approximations / Mattias Jonsson ; Ronnie Sircar
Image processing with partial differential equations / Karol Mikula
Interface connections in domain decomposition methods / Frederic Nataf
A review of level set and fast marching methods for image processing / James A. Sethian
Recent developments in the theory of front propagation and its applications / Panagiotis E. Souganidis
Computing finite-time singularities in interfacial flows / Thomas P. Witelski
Index
Preface
Key to group picture
Participants
2.

図書
図書
2. Physics of bio-molecules and cells = Physique des biomolécules et des cellules : Les Houches, session LXXV, 2-27 July 2001 (: Springer ; : EDP sciences)
edited by H. Flyvbjerg ... [et al.]
出版情報: Les Ulis : EDP sciences , Berlin ; Tokyo : Springer, c2002  xxxiv, 580 p. ; 23 cm
所蔵情報: loading…
3.

図書
図書
3. Unity from duality : gravity, gauge theory and strings = L'unité de la physique fondamentale : gravité, théorie de jauge et cordes : Les Houches, session LXXVI, 30 July-31 August 2001 (: Springer ; : EDP Sciences)
edited by C. Bachas ... [et al.]
出版情報: Les Ulis : EDP Sciences , Berlin ; Tokyo : Springer, c2002  xxxiv, 663 p. ; 23 cm
所蔵情報: loading…
4.

図書
図書
4. Proof and system-reliability (: pbk)
edited by Helmut Schwichtenberg and Ralf Steinbrüggen
出版情報: Dordrecht : Kluwer Academic, c2002  xii, 415 p. ; 25 cm
シリーズ名: NATO science series ; II . Mathematics, physics and chemistry ; v. 62
所蔵情報: loading…
目次情報: 続きを見る
Preface
Cartesian Closed Categories of Effective Domains / G. Hamrin ; V. Stoltenberg-Hansen
Algorithmic Game Semantics: A Tutorial Introduction / S. Abramsky
Algebra of Networks / G. Stefanescu
Computability and Complexity from a Programming Perspective / N. D. Jones
Logical Frameworks: A Brief Introduction / F. Pfenning
Ludics: An Introduction / J.-Y. Girard
Naive Computational Type Theory / R.L. Constable
Proof-Carrying Code. Design and Implementation / G. Necula
Abstractions and Reductions in Model Checking / O. Grumberg
Hoare Logic: From First-order to Propositional Formalism / J. Tiuryn
Hoare Logics in Isabelle/HOL / T. Nipkow
Proof Theoretic Complexity / G. E. Ostrin ; S. S. Wainer
Feasible Computation with Higher Types / H. Schwichtenberg ; S. J. Bellantoni
Preface
Cartesian Closed Categories of Effective Domains / G. Hamrin ; V. Stoltenberg-Hansen
Algorithmic Game Semantics: A Tutorial Introduction / S. Abramsky
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼