京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(件名: #Computer software)
該当件数:25件
Making software : what really works, and why we believe it / edited by Andy Oram and Greg Wilson
Sebastopol, Calif. : O'Reilly , c2011. - (Theory in practice)
図書
Bringing design to software / Terry Winograd ... [et al.]
Reading, Mass. ; Tokyo : Addison Wesley , c1996. - (ACM press books)
Windows forms programming in C# / Chris Sells
Boston : Addison-Wesley , c2004. - (Microsoft .NET development series)
Rapid application development with Mozilla / Nigel McFarlane
paper. - Upper Saddle River, NJ : Prentice Hall PTR , c2004
The official GNOME 2 developer's guide / Matthias Warkus
San Francisco : No Starch Press , c2004
Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring and execution-based model checking / Doron Drusinsky
Amsterdam ; Burlington, MA : Newnes, an imprint of Elsevier , 2006
Resources, co-evolution and artifacts : theory in CSCW / edited, Mark S. Ackerman ... [et al.]
London : Springer , c2008. - (Computer supported cooperative work)
Software process dynamics / Raymond J. Madachy
Piscataway, N.J. : IEEE Press. - Hoboken, N.J. : J. Wiley , c2008
Software tools / Brian W. Kernighan, P. J. Plauger
Reading, Mass. : Addison-Wesley Pub. Co. , c1976
Computer graphics software construction : using the Pascal language / John R. Rankin ; with the assistance of Anita Mackiewicz
: pbk. - New York : Prentice-Hall , c1989. - (Prentice Hall advances in computer science series)
Human-computer interface design guidelines / C. Marlin "Lin" Brown
Norwood, N.J. : Ablex Pub. Corp. , c1988. - (Human/computer interaction)
A scientist's and engineer's guide to workstations and supercomputers : coping with Unix[TM], RISC, vectors, and programming / Rubin H. Landau,Paul J. Fink, Jr
: paper. - New York : J. Wiley , c1993
User interface software / edited by Len Bass and Prasun Dewan
Chichester ; New York : Wiley , c1993. - (Trends in software ; 1)
Usability engineering / Jakob Nielsen
Boston : Academic Press , c1993
The MUSE method for usability engineering / Kee Yong Lim, John Long
: hbk. - Cambridge : Cambridge University Press , 1994. - (Cambridge series on human-computer interaction ; 8)
International user interfaces / Elisa M. del Galdo and Jakob Nielsen
New York ; Chichester : Wiley , c1996
SPLC / sponsored by Software Engineering Institute ... [et al.]
2006 (10th) - 2008 (12th). - Los Alamitos, Calif. : IEEE Computer Society , c2006-
Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings / Ed Brinksma, Kim Guldstrand Larsen (eds.)
Berlin : Springer , c2002. - (Lecture notes in computer science ; 2404)
Reliability and robustness of engineering software : edited papers presented at the 1st International Conference, Como, Italy, September 1987 / edited by C.A. Brebbia, G.A. Keramidas
:uk,:us. - Amsterdam ; New York : Elsevier. - Southampton, U.K. ; Boston : Computational Mechanics Publications , 1987
Software synthesis from dataflow graphs / by Shuvra S. Battacharyya, Praveen K. Murthy, Edward A. Lee
Boston : Kluwer Academic Publishers , c1996. - (The Kluwer international series in engineering and computer science ; SECS 360 . VLSI, computer architecture, and digital signal processing)