本文に飛ぶ

年 〜
年

検索結果 28 件

Full-potential electronic structure method : energy and force calculations with density functional and dynamical mean field theory / John M. Wills ... [et al.]. (Springer series in solid-state sciences ; 167)

Full-potential electronic structure method : energy and force calculations with density functional and dynamical mean field theory / John M. Wills ... [et al.]. (Springer series in solid-state sciences ; 167)
紙図書
Springerc2010.<MC141-B83>
国立国会図書館

Elementary functions : algorithms and implementation : [hardback] 3rd ed

Elementary functions : algorithms and implementation : [hardback] 3rd ed
紙図書
Jean-Michel MullerBirkhäuserc2016
全国の図書館

Elementary functions : algorithms and implementation 2nd ed

Elementary functions : algorithms and implementation 2nd ed
紙図書
Jean-Michel MullerBirkhäuserc2006
全国の図書館

Edinburgh LCF : a mechanised logic of computation / Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth. (Lecture notes in computer science ; 78)

Edinburgh LCF : a mechanised logic of computation / Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth. (Lecture notes in computer science ; 78)
紙図書
Springer-Verlag1979.<MA41-167>
国立国会図書館
  • 件名Edinburgh LCF (Computer system) Computable functions -- Data processing.

Trees and hills : methodology for maximizing functions of systems of linear relations / Rick Greer. (Annals of discrete mathematics ; 22) (North-Holland mathematics studies ; 96)

Trees and hills : methodology for maximizing functions of systems of linear relations / Rick Greer. (Annals of discrete mathematics ; 22) (North-Holland mathematics studies ; 96)
紙図書
North-Holland1984.<MA151-A3>
国立国会図書館
  • 件名...ta processing. Functions -- Data processing. Trees (Graph theory) -- Data ...

Symbolic computation and education

Symbolic computation and education
紙図書
editors, Shangzhi Li, Dongming Wang, Jing-Zhong ZhangWorld Scientificc2007
全国の図書館

Elementary functions : algorithms and implementation

Elementary functions : algorithms and implementation
紙図書
Jean-Michel MullerBirkhäuser1997
全国の図書館

Two dimensional spline interpolation algorithms

Two dimensional spline interpolation algorithms
紙図書
Helmuth SpäthA.K. Petersc1995
全国の図書館

One dimensional spline interpolation algorithms

One dimensional spline interpolation algorithms
紙図書
Helmuth SpäthA K Petersc1995
全国の図書館

A recursive introduction to the theory of computation

A recursive introduction to the theory of computation
紙図書
Carl H. SmithSpringer-Verlag1994
全国の図書館

Learning mathematics through Derive

Learning mathematics through Derive
紙図書
[by] John S. Berry, Edward Graham [and] Antony J.P. WatkinsEllis Horwood1993
全国の図書館

Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987

Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987
紙図書
Wilfried Sieg, editorAmerican Mathematical Societyc1990
全国の図書館

Logic and computation : interactive proof with Cambridge LCF : pbk

Logic and computation : interactive proof with Cambridge LCF : pbk
紙図書
Lawrence C. PaulsonCambridge University Press1990, c1987
全国の図書館

Representations of discrete functions

Representations of discrete functions
紙図書
edited by Tsutomu Sasao, Masahiro FujitaKluwer Academicc1996
全国の図書館

Logic and computation : interactive proof with Cambridge LCF

Logic and computation : interactive proof with Cambridge LCF
紙図書
Lawrence C. PaulsonCambridge University Pressc1987
全国の図書館

Computability with PASCAL

Computability with PASCAL
紙図書
John S. Mallozzi , Nicholas J. De LilloPrentice-Hallc1984
全国の図書館

Software manual for the elementary functions

Software manual for the elementary functions
紙図書
William J. Cody, Jr. and William WaitePrentice-Hallc1980
全国の図書館

Computer methods for the range of functions Halsted Press

Computer methods for the range of functions Halsted Press
紙図書
H. Ratschek and J. RokneE. Horwood1984
全国の図書館

Computer methods for the range of functions : uk : us

Computer methods for the range of functions : uk : us
紙図書
H. Ratschek and J. RokneE. Horwood1984
全国の図書館

Trees and hills : methodology for maximizing functions of systems of linear relations pbk.

Trees and hills : methodology for maximizing functions of systems of linear relations pbk.
紙図書
Rick GreerNorth-Holland1984
全国の図書館
RSS