選択資料から書架並びで前後20冊ずつを表示します。
ZUM '95 : the Z formal specificaiton notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings / Jonathan P. Bowen, Michael G. Hinchey (eds.)
書庫2階
ZUM '97 : the Z formal specification notation : 10th International Conference of Z Users Reading, UK, April 3-4, 1997 : proceedings / Jonathan P. Bowen, Michael G. Hinchey, David Till (eds.)
書庫2階
ZUM '98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings / Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey (eds.)
書庫2階
Advances in software science and technology / Japan Society for Software Science and Technology
v. 1
書庫2階
Advances in software science and technology / Japan Society for Software Science and Technology
v. 2
書庫2階
Advances in software science and technology / Japan Society for Software Science and Technology
v. 3
書庫2階
Advances in software science and technology / Japan Society for Software Science and Technology
v. 4
書庫2階
Advances in software science and technology / Japan Society for Software Science and Technology
v. 5
書庫2階
Software visualization : international seminar, Dagstuhl Castle, Germany, May 20-25, 2001 : revised papers / Stephan Diehl (ed.)
書庫2階
Foundations of software science and computation structures : First International Conference, FoSSaCS ʾ98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS ʾ98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings / Maurice Nivat (ed.)
書庫2階
Foundations of software science and computation structures : second international conference, FOSSACS '99, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings / Wolfgang Thomas (ed.)
書庫2階
Foundations of software science and computation structures : third International Conference, FOSSACS 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 / Jerzy Tiuryn (ed.)
書庫2階
Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / Furio Honsell, Marino Miculan (eds.)
書庫2階
Foundations of software science and computation structures : 5th International Conference, FOSSACS 2002, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings / Mogens Nielsen, Uffe Engberg (eds.)
書庫2階
Foundations of software technology and theoretical computer science : fourth conference, Bangalore, India, Dec. 13-15, 1984, proceedings / edited by Mathai Joseph and Rudrapatna Shyamasundar
書庫2階
Foundations of software technology and theoretical computer science : fifth conference, New Delhi, India, December 16-18, 1985 : proceedings / edited by S.N. Maheshwari
書庫2階
Foundations of software technology and theoretical computer science : sixth conference, New Delhi, India, December 18-20, 1986 : proceedings / edited by Kesav V. Nori
書庫2階
Foundations of software technology and theoretical computer science : seventh conference, Pune, India, December 17-19, 1987 : proceedings / Kesav V. Nori (ed.)
書庫2階
Foundations of software technology and theoretical computer science : eighth conference, Pune, India, December 21-23, 1988 : proceedings / K.V. Nori, S. Kumar (eds.)
書庫2階
Foundations of software technology and theoretical computer science : ninth conference, Bangalore, India, December 19-21, 1989 : proceedings / C.E. Veni Madhavan (ed.)
: Germany
書庫2階