富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Computer software)
該当件数:29件
SPLC / sponsored by Software Engineering Institute ... [et al.]
2006 (10th) - 2008 (12th). - Los Alamitos, Calif. : IEEE Computer Society , c2006-
図書
Mathematical Software - ICMS 2006 : Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings / edited by Andres Iglesias, Nobuki Takayama
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Theoretical Computer Science and General Issues. ISSN:25122029 ; 4151)
電子ブック
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] : Foreword by Alan Bundy / by Michael Kohlhase
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 4180)
ACM queue : tomorrow's computing today
Vol. 1, no. 1 (Mar. 2003)-. - New York, N.Y. : ACM , 2003-
電子ジャーナル
Software process technology : 7th European Workshop, EWSPT 2000, Kaprun, Austria, February 21-25, 2000 : proceedings / Reidar Conradi (ed.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1780)
オブジェクト指向ソフトウェアテスト技法 : リスク管理への技術的アプローチ / Shel Siegel著 : 古宮誠一, 廣田豊彦監訳
東京 : 共立出版 , 1999.1. - (bit別冊)
《UML》 '99 - the unified modeling language : beyond the standard : Second International Conference, Fort Collins, Co, USA, October 28-30, 1999 : proceedings / Robert France, Bernhard Rumpe (eds.)
Berlin : Springer-Verlag , c1999. - (Lecture notes in computer science ; 1723)
Specification of software systems / V.S. Alagar and K. Periyasamy
New York : Tokyo : Springer , c1998. - (Graduate texts in computer science)
Software fault tolerance / edited by Michael R. Lyu
Chichester : New York : John Wiley , c1995. - (Trends in software ; 3)
Software assessment : reliability, safety, testability / Michael A. Friedman, Jeffrey M. Voas
New York : Wiley , c1995
SafeWare : system safety and computers / Nancy G. Leveson
Reading, Mass. : Addison-Wesley , c1995
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)
Software requirements : objects, functions, and states / Alan M. Davis
Rev. - Englewood Cliffs, N.J. : PTR Prentice Hall , c1993
Exploiting chaos : cashing in on the realities of software development / Dave Olson
New York : Van Nostrand Reinhold , c1993. - (VNR computer library)
Developing C++ software / Russel Winder
2nd ed. - Chichester, England : New York : Wiley , 1993
User interface software / edited by Len Bass and Prasun Dewan
Chichester : New York : Wiley , c1993. - (Trends in software ; 1)
Larch : languages and tools for formal specification / John V. Guttag, James J. Horning : with S.J. Garland ... [et al.]
: us,: gw. - New York : Springer-Verlag , c1993. - (Texts and monographs in computer science)
Prototyping-oriented software development : concepts and tools / W. Bischofberger, G. Pomberger
: us,: gw. - New York : Berlin : Springer-Verlag , c1992. - (Texts and monographs in computer science)
Building hypermedia applications : a software development guide / Gary Thomas Howell
New York : McGraw-Hill , c1992
Verification of sequential and concurrent programs / Krzysztof R. Apt, Ernst-Rüdiger Olderog
: New York,: Berlin. - New York : Springer-Verlag , c1991. - (Texts and monographs in computer science)