選択資料から書架並びで前後20冊ずつを表示します。
Foundations of software technology and theoretical computer science : 16th conference, Hyderabad, India, December 18-20, 1996 : proceedings / V. Chandru, V. Vinay (eds.)
書庫2階
Foundations of software technology and theoretical computer science : 17th conference, Kharagpur, India, December 18-20, 1997 : proceedings / S. Ramesh, G. Sivakumar (eds.)
書庫2階
Foundations of Software Technology and Theoretical Computer Science : 18th conference, Chennai, India, December 17-19, 1998 : proceedings / V. Arvind, R. Ramanujam (eds.)
書庫2階
Foundations of software technology and theoretical computer science : 19th Conference, Chennai, India, December 13-15, 1999 : proceedings / C. Pandu Rangan, V. Raman, R. Ramanujam (eds.)
書庫2階
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.)
書庫2階
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.)
書庫2階
COTS-based software systems : First International Conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002 : proceedings / John Dean, Andrée Gravel (eds.)
書庫2階
Programs as data objects : proceedings of a workshop, Copenhagen, Denmark, October 17-19, 1985 / edited by H. Ganzinger and N.D. Jones
書庫2階
Programs as data objects : second symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings / Olivier Danvy, Andrzej Filinski (eds.)
書庫2階
SOFSEM '95 : theory and practice of informatics : 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-December 1, 1995 : proceedings / Miroslav Bartošek, Jan Staudek, Jiří Wiedermann (eds.)
書庫2階
SOFSEM '96 : theory and practice of informatics : 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996 : proceedings / Keith G. Jeffery, Jaroslav Král, Miroslav Bartošek (eds.)
書庫2階
SOFSEM '97 : theory and practice of informatics : 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997 : proceedings / František Plášil, Keith G. Jeffery, (eds.)
書庫2階
SOFSEM '98 : theory and practice of informatics : 25th Conference on Current Trends in Theory and Practice of Informatics, Jasná, Slovakia, November 21-27, 1998 : proceedings / Branislav Rovan (ed.)
書庫2階
SOFSEM '99 : theory and practice of informatics : 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27-December 4, 1999 : proceedings / Jan Pavelka, Gerard Tel, Miroslav Bartošek (eds.)
書庫2階
SOFSEM 2000 : theory and practice of informatics : 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25-December 2, 2000 : proceedings / Václav Hlaváč, Keith G. Jeffery, Jiří Wiedermann (eds.)
書庫2階
SOFSEM 2001 : theory and practice of informatics : 28th Conference on Current Trends in Theory and Practice of Informatics, Piešt'any, Slovak Republic, November 24 - December 1, 2001 : proceedings / Leszek Pacholski, Peter Ružička (eds.)
書庫2階
Soft-Ware 2002 : computing in an imperfect world : first international conference, Soft-Ware 2002, Belfast, Northern Ireland, April 8-10, 2002 : proceedings / David Bustard, Weiru Liu, Roy Sterritt (eds.)
書庫2階
Theoretical aspects of computer software : International Conference TACS'91, Sendai, Japan, September 24-27, 1991 : proceedings / T. Ito, A.R. Meyer, (eds.)
書庫2階
Theoretical aspects of computer software : international symposium TACS '94, Sendai, Japan, April 19-22, 1994 ; proceedings / Masami Hagiya, John C. Mitchell, eds
書庫2階
Theoretical aspects of computer software : Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 ; proceedings / Martín Abadi, Takayasu Ito (eds.)
書庫2階