本文に飛ぶ

年 〜
年

検索結果 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)
紙図書
Mitsuhiro ToriumiSpringer[2022]<ME71-D11>
国立国会図書館全国の図書館

Category theory using Haskell : an introduction with Moggi and Yoneda (Computer science foundations and applied logic)

Category theory using Haskell : an introduction with Moggi and Yoneda (Computer science foundations and applied logic)
紙図書
Shuichi YukitaBirkhäuser, an imprint of Springer Nature Switzerland[2025]<MA67-D16>
国立国会図書館

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.
紙図書
SIAM[2020]<M17-21-367>
国立国会図書館

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.
紙図書
SIAM[2019]<M17-20-669>
国立国会図書館

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, ------.
紙図書
SIAM[2022]<M17-22-898>
国立国会図書館

The Abel Prize 2018-2022 (The Abel Prize)

The Abel Prize 2018-2022 (The Abel Prize)
紙図書
Helge Holden, Ragni Piene, editorsSpringer[2024]<MA25-D12>
国立国会図書館全国の図書館

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)
紙図書
Springer[2015]<M17-16-523>
国立国会図書館

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.
紙図書
SIAM[2018]<M17-19-997>
国立国会図書館

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)
紙図書
Springer[2019]<M17-21-285>
国立国会図書館

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)
紙図書
Springer[2015]<M17-16-370>
国立国会図書館

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)
紙図書
Springer[2017]<M17-20-821>
国立国会図書館

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)
紙図書
Springer[2014]<M17-15-1486>
国立国会図書館

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)
紙図書
Springer[2014]<M17-15-595>
国立国会図書館

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)
紙図書
Springer[2014]<M17-15-769>
国立国会図書館

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)
紙図書
Springer[2015]<M17-16-344>
国立国会図書館

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)
紙図書
Masayoshi Hata.World Scientific Publishing Co. Pte. Ltd.[2015]<M121-B154>
国立国会図書館

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)
紙図書
Springer[2015]<M17-15-1318>
国立国会図書館

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)
紙図書
Springer[2014]<M17-15-1254>
国立国会図書館

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)
紙図書
Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott (eds.).Springer[2014]<X>
国立国会図書館全国の図書館

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)
紙図書
Springerc2013.<M17-14-1299>
国立国会図書館
RSS