close
1.

図書
図書
1. SPLC (2006 (10th) - 2008 (12th))
sponsored by Software Engineering Institute ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2006-
オンライン: http://www2.computer.org/portal/web/csdl/proceedings/s
所蔵情報: loading…
2.

図書
図書
2. Agent-Oriented Software Engineering II : Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001 : revised papers and invited contributions
Michael J. Wooldridge, Gerhard Weiß, Paolo Ciancarini (eds.)
出版情報: Berlin ; New York : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2222
所蔵情報: loading…
3.

図書
図書
3. FST TCS 2001 : Foundations of Software Technology and Theoretical Computer Science : 21st conference, Bangalore, India, December 13-15, 2001 : proceedings
Ramesh Hariharan, Madhavan Mukund, V. Vinay (eds.)
出版情報: Berlin ; New York : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2245
所蔵情報: loading…
4.

図書
図書
4. Algorithm engineering : 4th International Workshop, WAE 2000, Saarbrücken, Germany, September 5-8, 2000 : proceedings
Stefan Näher, Dorothea Wagner (eds.)
出版情報: Berlin ; Tokyo : Springer, c2001
シリーズ名: Lecture notes in computer science ; 1982
所蔵情報: loading…
5.

図書
図書
5. Agent-oriented software engineering : first International Workshop, AOSE 2000, Limerick, Ireland, June 10, 2000 : revised papers
Paolo Ciancarini, Michael J. Wooldridge (eds.)
出版情報: Berlin ; New York : Springer, c2001
シリーズ名: Lecture notes in computer science ; 1957
所蔵情報: loading…
6.

図書
図書
6. Fundamental approaches to software engineering : 4th International Conference, FASE 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
Heinrich Hussmann (ed.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2029
所蔵情報: loading…
7.

図書
図書
7. Fundamental approaches to software engineering : third International Conference, FASE 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
Tom Maibaum (ed.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1783
所蔵情報: loading…
8.

図書
図書
8. Algebraic methodology and software technology : 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings
Teodor Rus (ed.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1816
所蔵情報: loading…
9.

図書
図書
9. FST TCS 2000 : foundations of software technology and theoretical computer science : 20th conference, New Delhi, India, December 13-15, 2000 : proceedings
Sanjiv Kapoor, Sanjiva Prasad (eds.)
出版情報: Berlin ; New York : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1974
所蔵情報: loading…