Jump to main content

yr 〜
yr

Search results 10

OMDoc -- an open markup format for mathematical documents : (version 1.2) / Michael Kohlhase ; foreword by Alan Bundy. (Lecture notes in computer science ; 4180 ; Lecture notes in artificial intelligence. AI systems)

OMDoc -- an open markup format for mathematical documents : (version 1.2) / Michael Kohlhase ; foreword by Alan Bundy. (Lecture notes in computer science ; 4180 ; Lecture notes in artificial intelligence. AI systems)
Paper図書
Springerc2006.<X>
National Diet Library
  • Subject Heading...rkup language) Mathématiques -- Informatique. Systèmes d'information -- Ma...

ISSAC 2002 : proceedings of the 2002 international symposium on symbolic and algebraic computation : July 07-10, 2002, Universite de Lille, Lille, France. : Jul 2002, Lille, France.

ISSAC 2002 : proceedings of the 2002 international symposium on symbolic and algebraic computation : July 07-10, 2002, Universite de Lille, Lille, France. : Jul 2002, Lille, France.
Paper図書
ACM Pressc2002.<M17-03-4346>
National Diet Library
  • Subject Heading...-- Congresses. Mathématiques -- Informatique -- Congrès. Algèbre -- Inform...

Hands-on start to Wolfram Mathematica : and programming with the Wolfram language : pbk 3rd ed

Hands-on start to Wolfram Mathematica : and programming with the Wolfram language : pbk 3rd ed
Paper図書
Cliff Hastings, Kelvin Mischo, Michael MorrisonWolfram Mediac2020
Other Libraries in Japan
  • Subject Heading...(Informatique) Mathématiques -- Informatique computer programming aat Comp...
  • Subject Heading (ID)...(Informatique) Mathématiques -- Informatique computer programming aat Comp...

Stata tips v. 1 : Tips1-119 4th ed

Stata tips v. 1 : Tips1-119 4th ed
Paper図書
Nicholas J. Cox, editorStata Press2024
Other Libraries in Japan

Stata tips v. 2 : Tips120-152 4th ed

Stata tips v. 2 : Tips120-152 4th ed
Paper図書
Nicholas J. Cox, editorStata Press2024
Other Libraries in Japan

Getting started with SAS® programming : using SAS® Studio in the cloud

Getting started with SAS® programming : using SAS® Studio in the cloud
Paper図書
Ron CodySAS Institute2021
Other Libraries in Japan

The Glimmix procedure (book excerpt)

The Glimmix procedure (book excerpt)
Paper図書
SAS Institute2009, c2008
Other Libraries in Japan

A formalization of multidimensional search for organizational planning through terminal based models

A formalization of multidimensional search for organizational planning through terminal based models
Microform図書
Madeo, Laurence AntonioXerox University Microfilms1976
Other Libraries in Japan
  • Subject Heading...ion -- Modèles mathématiques -- Informatique Optimisation mathématique -- ...
  • Subject Heading (ID)...ion -- Modèles mathématiques -- Informatique Optimisation mathématique -- ...

Some experimental ideas for teachers

Some experimental ideas for teachers
Paper図書
Cambridge University Pressc1971
Other Libraries in Japan
  • Subject Heading...t enseignement Mathématiques -- Informatique Enseignement assisté par ordi...
  • Subject Heading (ID)...t enseignement Mathématiques -- Informatique Enseignement assisté par ordi...

Proceedings of the Computer Science and Statistics, Sixth annual Symposium on the Interface, October 16-17, 1972, University of California, Berkeley

Proceedings of the Computer Science and Statistics, Sixth annual Symposium on the Interface, October 16-17, 1972, University of California, Berkeley
Paper図書
edited by Michael E. TarterUniversity of Californiac1972
Other Libraries in Japan

Reached to the end of result.

RSS