富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 005.11)
該当件数:39件
Trends in Functional Programming : 24th International Symposium, TFP 2023, Boston, MA, USA, January 13–15, 2023, Revised Selected Papers / edited by Stephen Chang
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13868)
電子ブック
Guide to Java : A Concise Introduction to Programming / by James T. Streib, Takako Soma
2nd ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Undergraduate Topics in Computer Science. ISSN:21971781)
Composability, Comprehensibility and Correctness of Working Software : 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers / edited by Zoltán Porkoláb, Viktória Zsók
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 11950)
Design Patterns with Java : An Introduction / by Olaf Musch
1st ed. 2023.. - (Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg , 2023)
Parallel Programming : for Multicore and Cluster Systems / by Thomas Rauber, Gudula Rünger
3rd ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023)
Trends in Functional Programming : 23rd International Symposium, TFP 2022, Virtual Event, March 17–18, 2022, Revised Selected Papers / edited by Wouter Swierstra, Nicolas Wu
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13401)
The First Line of Code : Android Programming with Kotlin / by Lin Guo
1st ed. 2022.. - (Singapore : Springer Nature Singapore : Imprint: Springer , 2022)
Reuse and Software Quality : 20th International Conference on Software and Systems Reuse, ICSR 2022, Montpellier, France, June 15–17, 2022, Proceedings / edited by Gilles Perrouin, Naouel Moha, Abdelhak-Djamel Seriai
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13297)
Programming in Two Semesters : Using Python and Java / by Quentin Charatan, Aaron Kans
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Texts in Computer Science. ISSN:1868095X)
SQL Server Database Programming with Java : Concepts, Designs and Implementations / by Ying Bai
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022)
ECOOP 2006 - Object-Oriented Programming : 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings / edited by Dave Thomas
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Lecture Notes in Computer Science. ISSN:16113349 ; 4067)
Central European Functional Programming School : First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures / by Zoltán Horváth
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 4164)
Fundamental Networking in Java / by Esmond Pitt
1st ed. 2006.. - (London : Springer London : Imprint: Springer , 2006)
Agent-based Supply Network Event Management / by Roland Zimmermann
1st ed. 2006.. - (Basel : Birkhäuser Basel : Imprint: Birkhäuser , 2006). - (Whitestein Series in Software Agent Technologies and Autonomic Computing)
Algorithms in Bioinformatics : 6th International Workshop, WABI 2006, Zurich, Switzerland, September 11-13, 2006, Proceedings / edited by Philipp Bücher, Bernard M.E. Moret
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Lecture Notes in Bioinformatics. ISSN:23666331 ; 4175)
Functional and Logic Programming : 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings / edited by Masami Hagiya, Philip Wadler
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Programming and Software Engineering. ISSN:29459168 ; 3945)
Transactions on Aspect-Oriented Software Development II : Focus: AOP Systems, Software and Middleware / edited by Awais Rashid, Mehmet Aksit
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Transactions on Aspect-Oriented Software Development. ISSN:18643035 ; 4242)
Satellite Events at the MoDELS 2005 Conference : MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers / edited by Jean-Michel Bruel
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Programming and Software Engineering. ISSN:29459168 ; 3844)
B 2007: Formal Specification and Development in B : 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings / edited by Jacques Julliand, Olga Kouchnarenko
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Programming and Software Engineering. ISSN:29459168 ; 4355)
Model Driven Engineering Languages and Systems : 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings / edited by Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Programming and Software Engineering. ISSN:29459168 ; 4199)