Jump to main content

yr 〜
yr

Search results 12

Mathematics of program construction : 12th international conference, MPC 2015 : Königswinter, Germany, June 29-July 1, 2015 : proceedings : Jun 2015, Königswinter, Germany. (Lecture Notes in Computer Science ; 9129)

Mathematics of program construction : 12th international conference, MPC 2015 : Königswinter, Germany, June 29-July 1, 2015 : proceedings : Jun 2015, Königswinter, Germany. (Lecture Notes in Computer Science ; 9129)
Paper図書
Springer[2015]<M17-16-389>
National Diet Library

Mathematics of program construction : 11th international conference, MPC 2012 : Madrid, Spain, June 25-27, 2012 : proceedings : Jun 2012, Madrid, Spain. (Lecture Notes in Computer Science ; 7342)

Mathematics of program construction : 11th international conference, MPC 2012 : Madrid, Spain, June 25-27, 2012 : proceedings : Jun 2012, Madrid, Spain. (Lecture Notes in Computer Science ; 7342)
Paper図書
Springerc2012.<M17-13-551>
National Diet Library

Mathematical preliminaries redux introduction to backtracking dancing links : pbk

Mathematical preliminaries redux introduction to backtracking dancing links : pbk
Paper図書
Donald E. KnuthAddison-Wesleyc2020
Other Libraries in Japan
  • Subject HeadingComputer programming Computer programming -- Mathematics
  • Subject Heading (ID)Computer programming Computer programming -- Mathematics

Scientific programming : numeric, symbolic, and graphical computing with Maxima

Scientific programming : numeric, symbolic, and graphical computing with Maxima
Paper図書
by Jorge Alberto CalvoCambridge Scholars Pub.2018
Other Libraries in Japan
  • Subject HeadingComputer programming -- Mathematics
  • Subject Heading (ID)Computer programming -- Mathematics

Finite difference computing with PDEs : a modern software approach

Finite difference computing with PDEs : a modern software approach
Paper図書
Hans Petter Langtangen, Svein LingeSpringer Openc2017
Other Libraries in Japan
  • Subject HeadingComputer programming -- Mathematics Differential equations, Parti...
  • Subject Heading (ID)Computer programming -- Mathematics Differential equations, Parti...

Finite difference computing with PDEs : a modern software approach : pbk

Finite difference computing with PDEs : a modern software approach : pbk
Paper図書
Hans Petter Langtangen, Svein LingeSpringer2017
Other Libraries in Japan
  • Subject HeadingComputer programming -- Mathematics Differential equations, Parti...
  • Subject Heading (ID)Computer programming -- Mathematics Differential equations, Parti...

Mathematics and physics for programmers : pbk. 2nd ed

Mathematics and physics for programmers : pbk. 2nd ed
Paper図書
John Patrick Flynt, Danny KodicekCourse Technology, Cengage Learningc2012
Other Libraries in Japan
  • Subject HeadingComputer programming -- Mathematics Physics
  • Subject Heading (ID)Computer programming -- Mathematics Physics

Computer animation : algorithms and techniques 3rd ed

Computer animation : algorithms and techniques 3rd ed
Paper図書
Rick ParentMorgan Kaufmannc2012
Other Libraries in Japan
  • Subject HeadingComputer animation Computer programming -- Mathematics
  • Subject Heading (ID)Computer animation Computer programming -- Mathematics

A fast bottom-up algorithm for computing the cut sets of noncoherent fault trees / prepared by G.C. Corynen

A fast bottom-up algorithm for computing the cut sets of noncoherent fault trees / prepared by G.C. Corynen
Microform図書
1988<YCA-Y 3.N 88:25/5242>
National Diet Library

Logical derivation of computer programs

Logical derivation of computer programs
Paper図書
Thomas G. WindeknechtIntellectc1999
Other Libraries in Japan
  • Subject HeadingComputer programming -- Mathematics
  • Subject Heading (ID)Computer programming -- Mathematics

SETS reference manual / R.B. Worrell

SETS reference manual / R.B. Worrell
Microform図書
1985<YCA-Y 3.N 88:25/4213>
National Diet Library

Math for programmers : 3D graphics, machine learning, and simulations with Python

Math for programmers : 3D graphics, machine learning, and simulations with Python
Paper図書
Paul OrlandManningc2020
Other Libraries in Japan
  • Subject Heading...LC)fst01084736 Computer programming -- Mathematics -- Problems, exercises, etc
  • Subject Heading (ID)...LC)fst01084736 Computer programming -- Mathematics -- Problems, exercises, etc

Reached to the end of result.

RSS