富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Mathematics of Computing)
該当件数:175件
Green, Pervasive, and Cloud Computing : 17th International Conference, GPC 2022, Chengdu, China, December 2–4, 2022, Proceedings / edited by Chen Yu, Jiehan Zhou, Xianhua Song, Zeguang Lu
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13744)
電子ブック
Artificial Life and Evolutionary Computation : 16th Italian Workshop, WIVACE 2022, Gaeta, Italy, September 14–16, 2022, Revised Selected Papers / edited by Claudio De Stefano, Francesco Fontanella, Leonardo Vanneschi
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Communications in Computer and Information Science. ISSN:18650937 ; 1780)
Distributed Computer and Communication Networks : 25th International Conference, DCCN 2022, Moscow, Russia, September 26–29, 2022, Revised Selected Papers / edited by Vladimir M. Vishnevskiy, Konstantin E. Samouylov, Dmitry V. Kozyrev
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Communications in Computer and Information Science. ISSN:18650937 ; 1748)
Verification, Model Checking, and Abstract Interpretation : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings / edited by Cezara Dragoi, Michael Emmi, Jingbo Wang
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13881)
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)
Mathematics for Computer Scientists : A Practice-Oriented Approach / by Peter Hartmann
1st ed. 2023.. - (Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer , 2023)
Human Brain and Artificial Intelligence : Third International Workshop, HBAI 2022, Held in Conjunction with IJCAI-ECAI 2022,Vienna, Austria, July 23, 2022, Revised Selected Papers / edited by Xiaomin Ying
1st ed. 2023.. - (Singapore : Springer Nature Singapore : Imprint: Springer , 2023). - (Communications in Computer and Information Science. ISSN:18650937 ; 1692)
Foundation Mathematics for Computer Science : A Visual Approach / by John Vince
3rd ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023)
Artificial Intelligence and Soft Computing : 21st International Conference, ICAISC 2022, Zakopane, Poland, June 19–23, 2022, Proceedings, Part II / edited by Leszek Rutkowski, Rafał Scherer, Marcin Korytkowski, Witold Pedrycz, Ryszard Tadeusiewicz, Jacek M. Zurada
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 13589)
Modelling and Development of Intelligent Systems : 8th International Conference, MDIS 2022, Sibiu, Romania, October 28–30, 2022, Revised Selected Papers / edited by Dana Simian, Laura Florentina Stoica
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Communications in Computer and Information Science. ISSN:18650937 ; 1761)
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)
Algorithms for Constructing Computably Enumerable Sets / by Kenneth J. Supowit
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Birkhäuser , 2023). - (Computer Science Foundations and Applied Logic. ISSN:27315762)
Machine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2022, Grenoble, France, September 19–23, 2022, Proceedings, Part III / edited by Massih-Reza Amini, Stéphane Canu, Asja Fischer, Tias Guns, Petra Kralj Novak, Grigorios Tsoumakas
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 13715)
Machine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2022, Grenoble, France, September 19–23, 2022, Proceedings, Part IV / edited by Massih-Reza Amini, Stéphane Canu, Asja Fischer, Tias Guns, Petra Kralj Novak, Grigorios Tsoumakas
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 13716)
Machine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2022, Grenoble, France, September 19–23, 2022, Proceedings, Part V / edited by Massih-Reza Amini, Stéphane Canu, Asja Fischer, Tias Guns, Petra Kralj Novak, Grigorios Tsoumakas
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 13717)
Artificial Intelligence: Theories and Applications : First International Conference, ICAITA 2022, Mascara, Algeria, November 7–8, 2022, Revised Selected Papers / edited by Mohammed Salem, Juan Julián Merelo, Patrick Siarry, Rochdi Bachir Bouiadjra, Mohamed Debakla, Fatima Debbat
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Communications in Computer and Information Science. ISSN:18650937 ; 1769)
Artificial Intelligence and Digitalization for Sustainable Development : 10th EAI International Conference, ICAST 2022, Bahir Dar, Ethiopia, November 4-6, 2022, Proceedings / edited by Bereket H. Woldegiorgis, Kibret Mequanint, Mekuanint A. Bitew, Teketay B. Beza, Abdulkerim M. Yibre
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. ISSN:1867822X ; 455)
Distributed Artificial Intelligence : 4th International Conference, DAI 2022, Tianjin, China, December 15–17, 2022, Proceedings / edited by Makoto Yokoo, Hong Qiao, Yevgeniy Vorobeychik, Jianye Hao
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 13824)
Web and Big Data. APWeb-WAIM 2022 International Workshops : KGMA 2022, SemiBDMA 2022, DeepLUDA 2022, Nanjing, China, November 25-27, 2022, Proceedings / edited by Shiyu Yang, Saiful Islam
1st ed. 2023.. - (Singapore : Springer Nature Singapore : Imprint: Springer , 2023). - (Communications in Computer and Information Science. ISSN:18650937 ; 1784)
R-Calculus, IV: Propositional Logic / by Wei Li, Yuefei Sui
1st ed. 2023.. - (Singapore : Springer Nature Singapore : Imprint: Springer , 2023). - (Perspectives in Formal Induction, Revision and Evolution. ISSN:27313697)