選択資料から書架並びで前後20冊ずつを表示します。
Python scripting for computational science / Hans Petter Langtangen
: hardcover
書庫2階
An introduction to the PL/CV2 programming logic / R.L. Constable, S.D. Johnson, C.D. Eichenlaub
書庫2階
SDL 2001 : meeting UML : 10th International SDL Forum, Copenhagen, Denmark, June 27-29, 2001 : proceedings / Rick Reed, Jeanne Reed (eds.)
書庫2階
Optimization of SQL queries for parallel machines / Waqar Hasan
書庫2階
TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages / Neil D. Jones, Steven S. Muchnick
書庫2階
UPC : distributed shared memory programming / Tarek El-Ghazawi ... [et al.]
: cloth
書庫2階
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階