Jump to main content

yr 〜
yr

Search results 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)
Paper図書
Springerc2010.<MC141-B83>
National Diet Library

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

Elementary functions : algorithms and implementation : [hardback] 3rd ed
Paper図書
Jean-Michel MullerBirkhäuserc2016
Other Libraries in Japan
  • Subject HeadingFunctions -- Data processing Algorithms
  • Subject Heading (ID)Functions -- Data processing Algorithms

Elementary functions : algorithms and implementation 2nd ed

Elementary functions : algorithms and implementation 2nd ed
Paper図書
Jean-Michel MullerBirkhäuserc2006
Other Libraries in Japan
  • Subject HeadingFunctions -- Data processing Algorithms
  • Subject Heading (ID)Functions -- Data processing Algorithms

Elementary functions : algorithms and implementation

Elementary functions : algorithms and implementation
Paper図書
Jean-Michel MullerBirkhäuser1997
Other Libraries in Japan
  • Subject HeadingFunctions -- Data processing Algorithms
  • Subject Heading (ID)Functions -- Data processing Algorithms

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)
Paper図書
Springer-Verlag1979.<MA41-167>
National Diet Library
  • Subject HeadingEdinburgh LCF (Computer system) Computable functions -- Data processing.

Two dimensional spline interpolation algorithms

Two dimensional spline interpolation algorithms
Paper図書
Helmuth SpäthA.K. Petersc1995
Other Libraries in Japan
  • Subject HeadingSpline theory -- Data processing Functions -- Data processing
  • Subject Heading (ID)Spline theory -- Data processing Functions -- Data processing

One dimensional spline interpolation algorithms

One dimensional spline interpolation algorithms
Paper図書
Helmuth SpäthA K Petersc1995
Other Libraries in Japan
  • Subject HeadingSpline theory -- Data processing Functions -- Data processing
  • Subject Heading (ID)Spline theory -- Data processing 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)
Paper図書
North-Holland1984.<MA151-A3>
National Diet Library
  • Subject Heading...ta processing. Functions -- Data processing. Trees (Graph theory) -- Data...

Learning mathematics through Derive

Learning mathematics through Derive
Paper図書
[by] John S. Berry, Edward Graham [and] Antony J.P. WatkinsEllis Horwood1993
Other Libraries in Japan
  • Subject HeadingMathematics -- Data processing Functions -- data processing
  • Subject Heading (ID)Mathematics -- Data processing Functions -- data processing

Symbolic computation and education

Symbolic computation and education
Paper図書
editors, Shangzhi Li, Dongming Wang, Jing-Zhong ZhangWorld Scientificc2007
Other Libraries in Japan
  • Subject Heading...ses Computable functions -- Data processing -- Congresses Logic, Symbolic...
  • Subject Heading (ID)...ses Computable functions -- Data processing -- Congresses Logic, Symbolic...

A recursive introduction to the theory of computation

A recursive introduction to the theory of computation
Paper図書
Carl H. SmithSpringer-Verlag1994
Other Libraries in Japan
  • Subject HeadingElectronic digital computers -- Programming Recursive functions -- Data processing
  • Subject Heading (ID)Electronic digital computers -- Programming Recursive functions -- Data processing

Computer methods for the range of functions : uk : us

Computer methods for the range of functions : uk : us
Paper図書
H. Ratschek and J. RokneE. Horwood1984
Other Libraries in Japan
  • Subject Heading...ata processing Functions -- Data processing Maxima and minima -- Data pro...
  • Subject Heading (ID)...ata processing Functions -- Data processing Maxima and minima -- Data pro...

Software manual for the elementary functions

Software manual for the elementary functions
Paper図書
William J. Cody, Jr. and William WaitePrentice-Hallc1980
Other Libraries in Japan
  • Subject HeadingFunctions -- Data processing
  • Subject Heading (ID)Functions -- Data processing

Computer methods for the range of functions Halsted Press

Computer methods for the range of functions Halsted Press
Paper図書
H. Ratschek and J. RokneE. Horwood1984
Other Libraries in Japan
  • Subject Heading...ata processing Functions -- Data processing Maxima and minima -- Data pro...
  • Subject Heading (ID)...ata processing Functions -- Data processing Maxima and minima -- Data pro...

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
Paper図書
Wilfried Sieg, editorAmerican Mathematical Societyc1990
Other Libraries in Japan
  • Subject HeadingComputable functions -- Data processing -- Congresses
  • Subject Heading (ID)Computable functions -- Data processing -- Congresses

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.
Paper図書
Rick GreerNorth-Holland1984
Other Libraries in Japan
  • Subject Heading...ata processing Functions -- Data processing Trees (Graph theory) -- Data ...
  • Subject Heading (ID)...ata processing Functions -- Data processing Trees (Graph theory) -- Data ...

Logic and computation : interactive proof with Cambridge LCF : pbk

Logic and computation : interactive proof with Cambridge LCF : pbk
Paper図書
Lawrence C. PaulsonCambridge University Press1990, c1987
Other Libraries in Japan
  • Subject HeadingCambridge LCF (Computer system) Computable functions -- Data processing
  • Subject Heading (ID)Cambridge LCF (Computer system) Computable functions -- Data processing

Representations of discrete functions

Representations of discrete functions
Paper図書
edited by Tsutomu Sasao, Masahiro FujitaKluwer Academicc1996
Other Libraries in Japan
  • Subject Heading...ign Computable functions -- Data processing Logic design
  • Subject Heading (ID)...ign Computable functions -- Data processing Logic design

Logic and computation : interactive proof with Cambridge LCF

Logic and computation : interactive proof with Cambridge LCF
Paper図書
Lawrence C. PaulsonCambridge University Pressc1987
Other Libraries in Japan
  • Subject HeadingCambridge LCF (Computer system) Computable functions -- Data processing
  • Subject Heading (ID)Cambridge LCF (Computer system) Computable functions -- Data processing

Computability with PASCAL

Computability with PASCAL
Paper図書
John S. Mallozzi , Nicholas J. De LilloPrentice-Hallc1984
Other Libraries in Japan
  • Subject HeadingComputable functions -- Data processing Recursive functions -- Data processing Pascal (Computer program lang...
  • Subject Heading (ID)Computable functions -- Data processing Recursive functions -- Data processing Pascal (Computer program lang...
RSS