富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: QA76.9.M35)
該当件数:59件
Information Technologies and Mathematical Modelling. Queueing Theory and Applications : 21st International Conference, ITMM 2022, Karshi, Uzbekistan, October 25–29, 2022, Revised Selected Papers / edited by Alexander Dudin, Anatoly Nazarov, Alexander Moiseev
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Communications in Computer and Information Science. ISSN:18650937 ; 1803)
電子ブック
Integration of Constraint Programming, Artificial Intelligence, and Operations Research : 20th International Conference, CPAIOR 2023, Nice, France, May 29 –June 1, 2023, Proceedings / edited by Andre A. Cire
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13884)
Frontiers of Algorithmics : 17th International Joint Conference, IJTCS-FAW 2023 Macau, China, August 14–18, 2023 Proceedings / edited by Minming Li, Xiaoming Sun, Xiaowei Wu
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13933)
Mathematics for Computer Scientists : A Practice-Oriented Approach / by Peter Hartmann
1st ed. 2023.. - (Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer , 2023)
Foundation Mathematics for Computer Science : A Visual Approach / by John Vince
3rd ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023)
Integer Programming and Combinatorial Optimization : 24th International Conference, IPCO 2023, Madison, WI, USA, June 21–23, 2023, Proceedings / edited by Alberto Del Pia, Volker Kaibel
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13904)
Evolutionary Computation in Combinatorial Optimization : 23rd European Conference, EvoCOP 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12–14, 2023, Proceedings / edited by Leslie Pérez Cáceres, Thomas Stützle
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13987)
Concrete Abstractions : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker / by Wolfgang Schreiner
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria. ISSN:21978409)
Variable Neighborhood Search : 9th International Conference, ICVNS 2022, Abu Dhabi, United Arab Emirates, October 25–28, 2022, Revised Selected Papers / edited by Andrei Sleptchenko, Angelo Sifaleras, Pierre Hansen
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13863)
Combinatorial Algorithms : 34th International Workshop, IWOCA 2023, Tainan, Taiwan, June 7–10, 2023, Proceedings / edited by Sun-Yuan Hsieh, Ling-Ju Hung, Chia-Wei Lee
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13889)
Optimization and Applications : 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18–22, 2023, Revised Selected Papers / edited by Nicholas Olenev, Yuri Evtushenko, Milojica Jaćimović, Michael Khachay, Vlasta Malkova
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14395)
Linear Programming Computation / by Ping-Qi PAN
2nd ed. 2023.. - (Singapore : Springer Nature Singapore : Imprint: Springer , 2023)
Geometric Science of Information : 6th International Conference, GSI 2023, St. Malo, France, August 30 – September 1, 2023, Proceedings, Part I / edited by Frank Nielsen, Frédéric Barbaresco
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14071)
Geometric Science of Information : 6th International Conference, GSI 2023, St. Malo, France, August 30 – September 1, 2023, Proceedings, Part II / edited by Frank Nielsen, Frédéric Barbaresco
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14072)
Mathematical Foundations of Software Engineering : A Practical Guide to Essentials / by Gerard O'Regan
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Texts in Computer Science. ISSN:1868095X)
Mathematical Optimization Theory and Operations Research: Recent Trends : 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2–8, 2023, Revised Selected Papers / edited by Michael Khachay, Yury Kochetov, Anton Eremeev, Oleg Khamisov, Vladimir Mazalov, Panos Pardalos
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Communications in Computer and Information Science. ISSN:18650937 ; 1881)
Arithmetic of Finite Fields : 9th International Workshop, WAIFI 2022, Chengdu, China, August 29 – September 2, 2022, Revised Selected Papers / edited by Sihem Mesnager, Zhengchun Zhou
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13638)
Algorithms and Discrete Applied Mathematics : 9th International Conference, CALDAM 2023, Gandhinagar, India, February 9–11, 2023, Proceedings / edited by Amitabha Bagchi, Rahul Muthu
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13947)
Graph Transformation : 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023, Proceedings / edited by Maribel Fernández, Christopher M. Poskitt
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13961)
Algorithmic Aspects in Information and Management : 16th International Conference, AAIM 2022, Guangzhou, China, August 13–14, 2022, Proceedings / edited by Qiufen Ni, Weili Wu
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13513)