Jump to main content

yr 〜
yr

Search results 665

Geochemical mechanics and deep neural network modeling : applications to earthquake prediction (Advances in geological science)

Geochemical mechanics and deep neural network modeling : applications to earthquake prediction (Advances in geological science)
Paper図書
Mitsuhiro ToriumiSpringer[2022]<ME71-D11>
National Diet LibraryOther Libraries in Japan

Thirty-first annual ACM-SIAM symposium on discrete algorithms (SODA 2020) : Salt Lake City, Utah, USA : 5-8 January 2020 : Jan 2020, Salt Lake City, UT.

Thirty-first annual ACM-SIAM symposium on discrete algorithms (SODA 2020) : Salt Lake City, Utah, USA : 5-8 January 2020 : Jan 2020, Salt Lake City, UT.
Paper図書
SIAM[2020]<M17-21-367>
National Diet Library
  • Subject Heading...g--Congresses. Computer science--Mathematics--Congresses. C......r programming. Computer science--Mathematics.

Thirtieth annual ACM-SIAM symposium on discrete algorithms (SODA 2019) : San Diego, California, USA : 6-9 January 2019 : Jan 2019, San Diego, CA.

Thirtieth annual ACM-SIAM symposium on discrete algorithms (SODA 2019) : San Diego, California, USA : 6-9 January 2019 : Jan 2019, San Diego, CA.
Paper図書
SIAM[2019]<M17-20-669>
National Diet Library
  • Subject Heading...g--Congresses. Computer science--Mathematics--Congresses. C......r programming. Computer science--Mathematics.

ACM-SIAM symposium on discrete algorithms (SODA22) : held online : Alexandria, Virginia, USA : 9-12 January 2022 : Jan 2022, ------.

ACM-SIAM symposium on discrete algorithms (SODA22) : held online : Alexandria, Virginia, USA : 9-12 January 2022 : Jan 2022, ------.
Paper図書
SIAM[2022]<M17-22-898>
National Diet Library
  • Subject Heading...g--Congresses. Computer science--Mathematics--Congresses. A......r programming. Computer science--Mathematics.

The Abel Prize 2018-2022 (The Abel Prize)

The Abel Prize 2018-2022 (The Abel Prize)
Paper図書
Helge Holden, Ragni Piene, editorsSpringer[2024]<MA25-D12>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingMathematics--Awards Computer science--Mathematics Mathematical physics Mathéma...

Mathematical foundations of computer science 2015 : 40th international symposium, MFCS 2015 : Milan, Italy, August 24-28, 2015 : proceedings : Aug 2015, Milan, Italy. (Lecture Notes in Computer Science ; 9234-9235. Advanced Research in Computing and Software Science)

Mathematical foundations of computer science 2015 : 40th international symposium, MFCS 2015 : Milan, Italy, August 24-28, 2015 : proceedings : Aug 2015, Milan, Italy. (Lecture Notes in Computer Science ; 9234-9235. Advanced Research in Computing and Software Science)
Paper図書
Springer[2015]<M17-16-523>
National Diet Library
  • Subject HeadingComputer science--Mathematics--Congresses. Computer science--Mathematics.

29th annual ACM-SIAM symposium on discrete algorithms (SODA 2018) : New Orleans, Louisiana, USA : 7-10 January 2018 : Jan 2018, New Orleans, LA.

29th annual ACM-SIAM symposium on discrete algorithms (SODA 2018) : New Orleans, Louisiana, USA : 7-10 January 2018 : Jan 2018, New Orleans, LA.
Paper図書
SIAM[2018]<M17-19-997>
National Diet Library
  • Subject Heading...g--Congresses. Computer science--Mathematics--Congresses. C......r programming. Computer science--Mathematics.

Theory and applications of models of computation : 15th annual conference, TAMC 2019 : Kitakyushu, Japan, April 13-16, 2019 : proceedings : Apr 2019, Kitakyushu, Japan. (Lecture Notes in Computer Science ; 11436)

Theory and applications of models of computation : 15th annual conference, TAMC 2019 : Kitakyushu, Japan, April 13-16, 2019 : proceedings : Apr 2019, Kitakyushu, Japan. (Lecture Notes in Computer Science ; 11436)
Paper図書
Springer[2019]<M17-21-285>
National Diet Library
  • Subject HeadingComputer science--Mathematics--Congresses. C......al complexity. Computer science--Mathematics. Data structures (Computer sc...

Cellular automata and discrete complex systems : 21st IFIP WG 1.5 international workshop, AUTOMATA 2015 : Turku, Finland, June 8-10, 2015 : proceeding : IFIP working conference : Jun 2015, Truku, Finland. (Lecture Notes in Computer Science ; 9099)

Cellular automata and discrete complex systems : 21st IFIP WG 1.5 international workshop, AUTOMATA 2015 : Turku, Finland, June 8-10, 2015 : proceeding : IFIP working conference : Jun 2015, Truku, Finland. (Lecture Notes in Computer Science ; 9099)
Paper図書
Springer[2015]<M17-16-370>
National Diet Library
  • Subject Heading...a--Congresses. Computer science--Mathematics--Congresses. C......ular automata. Computer science--Mathematics.

Eigenvalue problems: algorithms, software and applications in petascale computing : EPASA 2015, Tsukuba, Japan, September 2015 : 1st international workshop on eigenvalue problems: algorithms, software and applications in petascale computing : 2nd international workshop EPASA : EPASA2014 and EPASA2015 : Sep 2015, Tsukuba, Japan. (Lecture Notes in Computational Science and Engineering ; 117)

Eigenvalue problems: algorithms, software and applications in petascale computing : EPASA 2015, Tsukuba, Japan, September 2015 : 1st international workshop on eigenvalue problems: algorithms, software and applications in petascale computing : 2nd international workshop EPASA : EPASA2014 and EPASA2015 : Sep 2015, Tsukuba, Japan. (Lecture Notes in Computational Science and Engineering ; 117)
Paper図書
Springer[2017]<M17-20-821>
National Diet Library
  • Subject HeadingMathematics. Algorithms. Computer science--Mathematics. Computer software. Numerical...

Language, life, limits : 10th conference on computability in Europe, CiE 2014 : Budapest, Hungary, June 23-27, 2014 : proceedings : annual CiE conference : Jun 2014, Budapest, Hungary. (Lecture Notes in Computer Science ; 8493)

Language, life, limits : 10th conference on computability in Europe, CiE 2014 : Budapest, Hungary, June 23-27, 2014 : proceedings : annual CiE conference : Jun 2014, Budapest, Hungary. (Lecture Notes in Computer Science ; 8493)
Paper図書
Springer[2014]<M17-15-595>
National Diet Library
  • Subject Heading...s--Congresses. Computer science--Mathematics--Congresses. C......ble functions. Computer science--Mathematics.

Theoretical computer science : 8th IFIP TC 1/WG 2.2 international conference, TCS 2014 : Rome, Italy, September 1-3, 2014 : proceedings : TCS-2014 : Sep 2014, Rome, Italy. (Lecture Notes in Computer Science ; 8705)

Theoretical computer science : 8th IFIP TC 1/WG 2.2 international conference, TCS 2014 : Rome, Italy, September 1-3, 2014 : proceedings : TCS-2014 : Sep 2014, Rome, Italy. (Lecture Notes in Computer Science ; 8705)
Paper図書
Springer[2014]<M17-15-1486>
National Diet Library
  • Subject HeadingComputer science--Congresses. Computer science--Mathematics--Congresses. C......puter science. Computer science--Mathematics.

Theoretical aspects of computing--ICTAC 2014 : 11th international colloquium : Bucharest, Romania, September 17-19, 2014 : proceedings : ICTAC meeting : Sep 2014, Bucharest, Romania. (Lecture Notes in Computer Science ; 8687)

Theoretical aspects of computing--ICTAC 2014 : 11th international colloquium : Bucharest, Romania, September 17-19, 2014 : proceedings : ICTAC meeting : Sep 2014, Bucharest, Romania. (Lecture Notes in Computer Science ; 8687)
Paper図書
Springer[2014]<M17-15-769>
National Diet Library
  • Subject HeadingComputer science--Mathematics--Congresses. C......r programming. Computer science--Mathematics.

Neurons : a mathematical ignition (Series on number theory and its applications ; vol. 9)

Neurons : a mathematical ignition (Series on number theory and its applications ; vol. 9)
Paper図書
Masayoshi Hata.World Scientific Publishing Co. Pte. Ltd.[2015]<M121-B154>
National Diet Library

Algorithms and discrete applied mathematics : first international conference, CALDAM 2015 : Kanpur, India, February 8-10, 2015 : proceedings : Feb 2015, Kanpur, India. (Lecture Notes in Computer Science ; 8959)

Algorithms and discrete applied mathematics : first international conference, CALDAM 2015 : Kanpur, India, February 8-10, 2015 : proceedings : Feb 2015, Kanpur, India. (Lecture Notes in Computer Science ; 8959)
Paper図書
Springer[2015]<M17-15-1318>
National Diet Library
  • Subject Heading...s--Congresses. Computer science--Mathematics--Congresses. G......er algorithms. Computer science--Mathematics. Graph theory.

Theory and applications of models of computation : 12th annual conference, TAMC 2015 : Singapore, May 18-20, 2015 : proceedings : May 2015, Singapore. (Lecture Notes in Computer Science ; 9076)

Theory and applications of models of computation : 12th annual conference, TAMC 2015 : Singapore, May 18-20, 2015 : proceedings : May 2015, Singapore. (Lecture Notes in Computer Science ; 9076)
Paper図書
Springer[2015]<M17-16-344>
National Diet Library
  • Subject HeadingComputer science--Mathematics--Congresses. C......al complexity. Computer science--Mathematics. Turing machines.

Pristine perspectives on logic, language, and computation : ESSLLI 2012 and ESSLLI 2013 : student sessions : selected papers : European summer school in logic, language and information : ------. (Lecture Notes in Computer Science ; 8607)

Pristine perspectives on logic, language, and computation : ESSLLI 2012 and ESSLLI 2013 : student sessions : selected papers : European summer school in logic, language and information : ------. (Lecture Notes in Computer Science ; 8607)
Paper図書
Springer[2014]<M17-15-1254>
National Diet Library
  • Subject HeadingComputer science--Mathematics--Congresses. C......)--Congresses. Computer science--Mathematics.

Categories and types in logic, language, and physics : essays dedicated to Jim Lambek on the occasion of his 90th birthday (Lecture notes in computer science ; 8222. Festschrift)

Categories and types in logic, language, and physics : essays dedicated to Jim Lambek on the occasion of his 90th birthday (Lecture notes in computer science ; 8222. Festschrift)
Paper図書
Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott (eds.).Springer[2014]<X>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingLogic, Symbolic and mathematical. Computer science--Mathematics.

Transactions on computational science 20 : special issue on Voronoi diagrams and their applications : ISVD 2012 conference : 9th international symposium on Voronoi diagrams in science and engineering (ISVD) 2012 : Jun 2012, New Brunswick, NJ. (Lecture Notes in Computer Science ; 8110. Journal Subline)

Transactions on computational science 20 : special issue on Voronoi diagrams and their applications : ISVD 2012 conference : 9th international symposium on Voronoi diagrams in science and engineering (ISVD) 2012 : Jun 2012, New Brunswick, NJ. (Lecture Notes in Computer Science ; 8110. Journal Subline)
Paper図書
Springerc2013.<M17-14-1299>
National Diet Library
  • Subject HeadingVoronoi polygons. Computer science--Mathematics.

Intelligent computer mathematics : international conference, CICM 2014 : Coimbra, Portugal, July 7-11, 2014 : proceedings : conferences on intelligent computer mathematics (CICM) event : CICM 2014 meeting : Jul 2014, Coimbra, Portugal. (Lecture Notes in Computer Science ; 8543. Lecture Notes in Artificial Intelligence)

Intelligent computer mathematics : international conference, CICM 2014 : Coimbra, Portugal, July 7-11, 2014 : proceedings : conferences on intelligent computer mathematics (CICM) event : CICM 2014 meeting : Jul 2014, Coimbra, Portugal. (Lecture Notes in Computer Science ; 8543. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2014]<M17-15-762>
National Diet Library
  • Subject HeadingComputer science--Mathematics--Congresses. A......--Mathematics. Computer science--Mathematics.
RSS