本文に飛ぶ

年 〜
年

検索結果 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
全国の図書館
  • 件名Functions -- Data processing Algorithms
  • 件名（識別子）Functions -- Data processing Algorithms

Elementary functions : algorithms and implementation 2nd ed

Elementary functions : algorithms and implementation 2nd ed
紙図書
Jean-Michel MullerBirkhäuserc2006
全国の図書館
  • 件名Functions -- Data processing Algorithms
  • 件名（識別子）Functions -- Data processing Algorithms

Elementary functions : algorithms and implementation

Elementary functions : algorithms and implementation
紙図書
Jean-Michel MullerBirkhäuser1997
全国の図書館
  • 件名Functions -- Data processing Algorithms
  • 件名（識別子）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)
紙図書
Springer-Verlag1979.<MA41-167>
国立国会図書館
  • 件名Edinburgh LCF (Computer system) Computable functions -- Data processing.

Two dimensional spline interpolation algorithms

Two dimensional spline interpolation algorithms
紙図書
Helmuth SpäthA.K. Petersc1995
全国の図書館
  • 件名Spline theory -- Data processing Functions -- Data processing
  • 件名（識別子）Spline theory -- Data processing Functions -- Data processing

One dimensional spline interpolation algorithms

One dimensional spline interpolation algorithms
紙図書
Helmuth SpäthA K Petersc1995
全国の図書館
  • 件名Spline theory -- Data processing Functions -- Data processing
  • 件名（識別子）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)
紙図書
North-Holland1984.<MA151-A3>
国立国会図書館
  • 件名...ta processing. Functions -- Data processing. Trees (Graph theory) -- Data...

Learning mathematics through Derive

Learning mathematics through Derive
紙図書
[by] John S. Berry, Edward Graham [and] Antony J.P. WatkinsEllis Horwood1993
全国の図書館
  • 件名Mathematics -- Data processing Functions -- data processing
  • 件名（識別子）Mathematics -- Data processing Functions -- data processing

Symbolic computation and education

Symbolic computation and education
紙図書
editors, Shangzhi Li, Dongming Wang, Jing-Zhong ZhangWorld Scientificc2007
全国の図書館
  • 件名...ses Computable functions -- Data processing -- Congresses Logic, Symbolic...
  • 件名（識別子）...ses Computable functions -- Data processing -- Congresses Logic, Symbolic...

A recursive introduction to the theory of computation

A recursive introduction to the theory of computation
紙図書
Carl H. SmithSpringer-Verlag1994
全国の図書館
  • 件名Electronic digital computers -- Programming Recursive functions -- Data processing
  • 件名（識別子）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
紙図書
H. Ratschek and J. RokneE. Horwood1984
全国の図書館
  • 件名...ata processing Functions -- Data processing Maxima and minima -- Data pro...
  • 件名（識別子）...ata processing Functions -- Data processing Maxima and minima -- Data pro...

Software manual for the elementary functions

Software manual for the elementary functions
紙図書
William J. Cody, Jr. and William WaitePrentice-Hallc1980
全国の図書館
  • 件名Functions -- Data processing
  • 件名（識別子）Functions -- Data processing

Computer methods for the range of functions Halsted Press

Computer methods for the range of functions Halsted Press
紙図書
H. Ratschek and J. RokneE. Horwood1984
全国の図書館
  • 件名...ata processing Functions -- Data processing Maxima and minima -- Data pro...
  • 件名（識別子）...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
紙図書
Wilfried Sieg, editorAmerican Mathematical Societyc1990
全国の図書館
  • 件名Computable functions -- Data processing -- Congresses
  • 件名（識別子）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.
紙図書
Rick GreerNorth-Holland1984
全国の図書館
  • 件名...ata processing Functions -- Data processing Trees (Graph theory) -- Data ...
  • 件名（識別子）...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
紙図書
Lawrence C. PaulsonCambridge University Press1990, c1987
全国の図書館
  • 件名Cambridge LCF (Computer system) Computable functions -- Data processing
  • 件名（識別子）Cambridge LCF (Computer system) Computable functions -- Data processing

Representations of discrete functions

Representations of discrete functions
紙図書
edited by Tsutomu Sasao, Masahiro FujitaKluwer Academicc1996
全国の図書館
  • 件名...ign Computable functions -- Data processing Logic design
  • 件名（識別子）...ign Computable functions -- Data processing Logic design

Logic and computation : interactive proof with Cambridge LCF

Logic and computation : interactive proof with Cambridge LCF
紙図書
Lawrence C. PaulsonCambridge University Pressc1987
全国の図書館
  • 件名Cambridge LCF (Computer system) Computable functions -- Data processing
  • 件名（識別子）Cambridge LCF (Computer system) Computable functions -- Data processing

Computability with PASCAL

Computability with PASCAL
紙図書
John S. Mallozzi , Nicholas J. De LilloPrentice-Hallc1984
全国の図書館
  • 件名Computable functions -- Data processing Recursive functions -- Data processing Pascal (Computer program lang...
  • 件名（識別子）Computable functions -- Data processing Recursive functions -- Data processing Pascal (Computer program lang...
RSS