京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(件名: Computer software Congresses)
該当件数:8件
SPLC / sponsored by Software Engineering Institute ... [et al.]
2006 (10th) - 2008 (12th). - Los Alamitos, Calif. : IEEE Computer Society , c2006-
図書
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
High performance algorithms and software in nonlinear optimization / edited by Renato De Leone ... [et al.]
Dordrecht : Kluwer Academic , c1998. - (Applied optimization ; vol. 24)
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)
Computer aided verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : proceedings / Nicolas Halbwachs, Doron Peled (eds.)
Berlin ; Tokyo : Springer-Verlag , c1999. - (Lecture notes in computer science ; 1633)
Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings / E. Allen Emerson, A. Prasad Sistla (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1855)
Groupware : design, implementation, and use : 9th International Workshop, CRIWG 2003, Autrans, France, September 28 - October 2, 2003 : proceedings / Jesus Favela, Dominique Decouchant (eds.)
Berlin ; Tokyo : Springer , c2003. - (Lecture notes in computer science ; 2806)
The design of computer supported cooperative work and groupware systems / edited by Dan Shapiro, Michael Tauber, and Roland Traunmüller
Amsterdam : North-Holland. - Amsterdam : Elsevier , c1996. - (Human factors in information technology / series editors, Hans-Jörg Bullinger, Peter G. Polson ; assistant series editors, Klaus-Peter Fähnrich, Jürgen Ziegler ; 12)