富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 004.0151)
該当件数:322件
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)
電子ブック
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)
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)
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)
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)
Foundation Mathematics for Computer Science : A Visual Approach / by John Vince
3rd ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 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)
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
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)
Parallel and Distributed Computing, Applications and Technologies : 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7–9, 2022, Proceedings / edited by Hiroyuki Takizawa, Hong Shen, Toshihiro Hanawa, Jong Hyuk Park, Hui Tian, Ryusuke Egawa
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13798)
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)
Applications of Evolutionary Computation : 26th European Conference, EvoApplications 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12–14, 2023, Proceedings / edited by João Correia, Stephen Smith, Raneem Qaddoura
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13989)