富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 005.1)
該当件数:311件
Agile Methods : 11th Brazilian Workshop, WBMA 2021, Virtual Event, October 8–10, 2021, Revised Selected Papers / edited by Carla Rocha, Celio Santana Júnior, Fernando De Sá, Tiago Silva da Silva
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Communications in Computer and Information Science. ISSN:18650937 ; 1642)
電子ブック
Job Scheduling Strategies for Parallel Processing : 25th International Workshop, JSSPP 2022, Virtual Event, June 3, 2022, Revised Selected Papers / edited by Dalibor Klusáček, Corbalán Julita, Gonzalo P. Rodrigo
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13592)
Domain-Specific Languages : Effective Modeling, Automation, and Reuse / by Andrzej Wąsowski, Thorsten Berger
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023)
Parallel Processing and Applied Mathematics : 14th International Conference, PPAM 2022, Gdansk, Poland, September 11–14, 2022, Revised Selected Papers, Part I / edited by Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13826)
Software Quality: Higher Software Quality through Zero Waste Development : 15th International Conference, SWQD 2023, Munich, Germany, May 23-25, 2023, Proceedings / edited by Daniel Mendez, Dietmar Winkler, Johannes Kross, Stefan Biffl, Johannes Bergsmann
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Business Information Processing. ISSN:18651356 ; 472)
Handbook of Re-Engineering Software Intensive Systems into Software Product Lines / edited by Roberto E. Lopez-Herrejon, Jabier Martinez, Wesley Klewerton Guez Assunção, Tewfik Ziadi, Mathieu Acher, Silvia Vergilio
Structured Object-Oriented Formal Language and Method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers / edited by Shaoying Liu, Zhenhua Duan, Ai Liu
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13854)
Model-Driven Engineering and Software Development : 9th International Conference, MODELSWARD 2021, Virtual Event, February 8–10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6–8, 2022, Revised Selected Papers / edited by Luís Ferreira Pires, Slimane Hammoudi, Edwin Seidewitz
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Communications in Computer and Information Science. ISSN:18650937 ; 1708)
Convergence in Crossover Service / edited by Jianwei Yin, Bing Li, Zhongjie Wang, Shuiguang Deng
1st ed. 2023.. - (Singapore : Springer Nature Singapore : Imprint: Springer , 2023). - (Advanced Topics in Science and Technology in China. ISSN:19956827 ; 68)
NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings / edited by Kristin Yvonne Rozier, Swarat Chaudhuri
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13903)
End-User Development : 9th International Symposium, IS-EUD 2023, Cagliari, Italy, June 6–8, 2023, Proceedings / edited by Lucio Davide Spano, Albrecht Schmidt, Carmen Santoro, Simone Stumpf
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13917)
Distributed Applications and Interoperable Systems : 23rd IFIP WG 6.1 International Conference, DAIS 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings / edited by Marta Patiño-Martínez, João Paulo
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13909)
Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings / edited by Marieke Huisman, António Ravara
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13910)
Coordination Models and Languages : 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings / edited by Sung-Shik Jongmans, Antónia Lopes
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13908)
Smart Technologies for Sustainable and Resilient Ecosystems : 3rd EAI International Conference, Edge-IoT 2022, and 4th EAI International Conference, SmartGov 2022, Virtual Events, November 16-18, 2022, Proceedings / edited by Sérgio Ivan Lopes, Paula Fraga-Lamas, Tiago M. Fernándes-Camáres, Babu R. Dawadi, Danda B. Rawat, Subarna Shakya
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 ; 510)
Theoretical Aspects of Software Engineering : 17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings / edited by Cristina David, Meng Sun
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13931)
Frontiers in Software Engineering Education : Second International Workshop, FISEE 2023, Villebrumier, France, January 23–25, 2023, Invited Papers / edited by Alfredo Capozucca, Sophie Ebersold, Jean-Michel Bruel, Bertrand Meyer
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14387)
Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday / edited by Jonathan P. Bowen, Qin Li, Qiwen Xu
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14080)
Software Architecture : 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18–22, 2023, Proceedings / edited by Bedir Tekinerdogan, Catia Trubiani, Chouki Tibermacine, Patrizia Scandurra, Carlos E. Cuesta
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14212)
Software Architecture : Research Roadmaps from the Community / edited by Patrizio Pelliccione, Rick Kazman, Ingo Weber, Anna Liu
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023)