富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: QA75.5-76.95)
該当件数:396件
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)
電子ブック
A Behavioral Economics Approach to Interactive Information Retrieval : Understanding and Supporting Boundedly Rational Users / by Jiqun Liu
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (The Information Retrieval Series. ISSN:27306836 ; 48)
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)
Information Retrieval : 28th China Conference, CCIR 2022, Chongqing, China, September 16–18, 2022, Revised Selected Papers / edited by Yi Chang, Xiaofei Zhu
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13819)
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)
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)
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)
Business Development : Processes, Methods and Tools / by Andreas Kohne
2nd ed. 2023.. - (Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg , 2023)
Metaheuristics : 14th International Conference, MIC 2022, Syracuse, Italy, July 11–14, 2022, Proceedings / edited by Luca Di Gaspero, Paola Festa, Amir Nakib, Mario Pavone
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13838)
Knowledge Discovery, Knowledge Engineering and Knowledge Management : 13th International Joint Conference, IC3K 2021, Virtual Event, October 25–27, 2021, Revised Selected Papers / edited by Ana Fred, David Aveiro, Jan Dietz, Jorge Bernardino, Elio Masciari, Joaquim Filipe
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Communications in Computer and Information Science. ISSN:18650937 ; 1718)
The Semantic Web : 20th International Conference, ESWC 2023, Hersonissos, Crete, Greece, May 28–June 1, 2023, Proceedings / edited by Catia Pesquita, Ernesto Jimenez-Ruiz, Jamie McCusker, Daniel Faria, Mauro Dragoni, Anastasia Dimou, Raphael Troncy, Sven Hertling
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13870)
Algorithms for Constructing Computably Enumerable Sets / by Kenneth J. Supowit
Many-Criteria Optimization and Decision Analysis : State-of-the-Art, Present Challenges, and Future Perspectives / edited by Dimo Brockhoff, Michael Emmerich, Boris Naujoks, Robin Purshouse
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Natural Computing Series. ISSN:26276461)
Interactive Storytelling : 16th International Conference on Interactive Digital Storytelling, ICIDS 2023, Kobe, Japan, November 11–15, 2023, Proceedings, Part II / edited by Lissa Holloway-Attaway, John T. Murray
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14384)
Neural Approaches to Conversational Information Retrieval / by Jianfeng Gao, Chenyan Xiong, Paul Bennett, Nick Craswell
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (The Information Retrieval Series. ISSN:27306836 ; 44)
Advances in Information Retrieval : 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2–6, 2023, Proceedings, Part II / edited by Jaap Kamps, Lorraine Goeuriot, Fabio Crestani, Maria Maistro, Hideo Joho, Brian Davis, Cathal Gurrin, Udo Kruschwitz, Annalina Caputo
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13981)
Advances in Information Retrieval : 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2–6, 2023, Proceedings, Part I / edited by Jaap Kamps, Lorraine Goeuriot, Fabio Crestani, Maria Maistro, Hideo Joho, Brian Davis, Cathal Gurrin, Udo Kruschwitz, Annalina Caputo
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13980)