富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Computer science)
該当件数:1,046件
Verified Software. Theories, Tools and Experiments : 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers / edited by Akash Lal, Stefano Tonetta
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13800)
電子ブック
3-D Computer Vision : Principles, Algorithms and Applications / by Yu-Jin Zhang
1st ed. 2023.. - (Singapore : Springer Nature Singapore : Imprint: Springer , 2023)
Calculus for Computer Graphics / by John Vince
3rd ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023)
Algorithms and Models for the Web Graph : 18th International Workshop, WAW 2023, Toronto, ON, Canada, May 23–26, 2023, Proceedings / edited by Megan Dewar, Paweł Prałat, Przemysław Szufel, François Théberge, Małgorzata Wrzosek
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13894)
Artificial Intelligence in Music, Sound, Art and Design : 12th International Conference, EvoMUSART 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12–14, 2023, Proceedings / edited by Colin Johnson, Nereida Rodríguez-Fernández, Sérgio M. Rebelo
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13988)
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)
Formal Analysis for Natural Language Processing: A Handbook / by Zhiwei Feng
SOFSEM 2023: Theory and Practice of Computer Science : 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15–18, 2023, Proceedings / edited by Leszek Gąsieniec
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13878)
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas / by William M. Farmer
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Birkhäuser , 2023). - (Computer Science Foundations and Applied Logic. ISSN:27315762)
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)
Graph Drawing and Network Visualization : 30th International Symposium, GD 2022, Tokyo, Japan, September 13–16, 2022, Revised Selected Papers / edited by Patrizio Angelini, Reinhard von Hanxleden
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13764)
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)
Concise Guide to Numerical Algorithmics : The Foundations and Spirit of Scientific Computing / by John Lawrence Nazareth
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (SpringerBriefs in Computer Science. ISSN:21915776)
Coping with Selfishness in Congestion Games : Analysis and Design via LP Duality / by Vittorio Bilò, Cosimo Vinci
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Monographs in Theoretical Computer Science. An EATCS Series. ISSN:21932069)
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)
A Brief History of Intelligence : From the Big Bang to the Metaverse / by F. Richard Yu, Angela W. Yu
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023)
Foundation Mathematics for Computer Science : A Visual Approach / by John Vince
Computational Linguistics and Intelligent Text Processing : 20th International Conference, CICLing 2019, La Rochelle, France, April 7–13, 2019, Revised Selected Papers, Part I / edited by Alexander Gelbukh
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13451)