富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Programming )
該当件数:80件
Game Jams – History, Technology, and Organisation / edited by Allan Fowler, Foaad Khosmood
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023)
電子ブック
The Structure of Game Design / by Wallace Wang
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (International Series on Computer, Entertainment and Media Technology. ISSN:23649488)
The Authoring Problem : Challenges in Supporting Authoring for Interactive Digital Narratives / edited by Charlie Hargood, David E. Millard, Alex Mitchell, Ulrike Spierling
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Human–Computer Interaction Series. ISSN:25244477)
Animated Program Design : Intermediate Program Design Using Video Game Development / by Marco T. Morazán
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Texts in Computer Science. ISSN:1868095X)
Animated Problem Solving : An Introduction to Program Design Using Video Game Development / by Marco T. Morazán
Robot Play for All : Developing Toys and Games for Disability / by Andrea Bonarini, Serenella Besio
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Research for Development. ISSN:21987319)
Hardness of approximation between P and NP / Aviad Rubinstein
First edition.. - ([New York, New York] : Association for Computing Machinery , [2019])
Shared-memory parallelism can be simple, fast, and scalable / Julian Shun
First edition.. - ([New York] ; [San Rafael, California] : Association for Computing Machinery : Morgan & Claypool , 2017). - (ACM books. ISSN:23746777 ; #15)
Elastic and elastoplastic contact analysis : using boundary elements and mathematical programming / A. Faraji
Southampton ; Boston : WIT Press , c2005. - (Topics in engineering ; v. 45)
図書
Temporal logic : First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings / Dov M. Gabbay, Hans Jürgen Ohlbach (eds.)
: gw,: us. - Berlin : New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 827 . Lecture notes in artificial intelligence)
Texturing and modeling : a procedural approach / David S. Ebert ... [et al.]
: disk. - Boston : AP Professional , c1994
Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings / Dines Bjørner, Manfred Broy, Igor V. Pottosin,(eds.)
: gw,: us. - Berlin : New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 735)
Formal program development : IFIP TC 2/WG 2.1 state of the art report / Bernhard Möller, Helmut Partsch, Steve Schuman (eds.)
: gw,: us. - Berlin : Tokyo : Springer-Verlag , c1993. - (Lecture notes in computer science ; 755)
Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings / R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.)
: gw,: us. - Berlin : New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 669)
A practical theory of programming / Eric C. R. Hehner
: us,: gw. - 1st ed. - New York : Berlin : Springer-Verlag , c1993. - (Texts and monographs in computer science)
What computing is all about / Jan L. A. van de Snepscheut
: us,: gw. - New York : Springer-Verlag , c1993. - (Texts and monographs in computer science)
Fuzzy sets and interactive multiobjective optimization / Masatoshi Sakawa
New York : Plenum , c1993. - (Applied information technology)
Optimization in industry : mathematical programming and modeling techniques in practice / edited by Tito A. Ciriani and Robert C. Leachman
Chichester, England : New York : Wiley & Sons , c1993
Larch : languages and tools for formal specification / John V. Guttag, James J. Horning : with S.J. Garland ... [et al.]
Associative computing : a programming paradigm for massively parallel computers / Jerry L. Potter
New York : Plenum Press , c1992. - (Frontiers of computer science)