選択資料から書架並びで前後20冊ずつを表示します。
Types for proofs and programs : International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers / Eduardo Giménez, Christine Paulin-Mohring (eds.)
書庫2階
Types for proofs and programs : International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers / Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus (eds.)
書庫2階
Types for proofs and programs : International Workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers / Thierry Coquand ... [et al.] (eds.)
書庫2階
Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers / Paul Callaghan ... [et al.] (eds.)
書庫2階
Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings / Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)
書庫2階
B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998, proceedings / Didier Bert (ed.)
書庫2階
DCE-- the OSF distributed computing environment : client/server model and beyond : International DCE Workshop, Karlsruhe, Germany, October 7-8, 1993 : proceedings / Alexander Schill, (ed.)
書庫2階
Integrated research in GRID computing : CoreGRID Integration Workshop 2005 (selected papers), November 28-30, Pisa, Italy / edited by Sergei Gorlatch, Marco Danelutto
書庫2階
Grid computing - GRID 2000 : first IEEE/ACM International Workshop, Bangalore, India, December 17, 2000 : proceedings / Rajkumar Buyya, Mark Baker (eds.)
書庫2階
Grid computing - GRID 2001 : Second International Workshop, Denver, CO, USA, November 12, 2001 : proceedings / Craig A. Lee (ed.)
書庫2階
Advanced environments, tools, and applications for cluster computing : NATO advanced research workshop, IWCC 2001, Mangalia, Romania, September 1-6, 2001 : revised papers / Dan Grigoras ... [et al.] (eds.)
書庫2階
Grid networks : enabling grids with advanced communication technology / [edited by] Franco Travostino, Joe Mambretti, Gigi Karmous-Edwards
書庫2階
Computer arithmetic : algorithms and hardware designs / Behorooz Parhami
書庫2階
Emergent computer literacy : a developmental perspective / Helen Mele Robinson
書庫2階
Modelling and simulation : exploring dynamic system behaviour / Louis G. Birta and Gilbert Arbez
: hbk
書庫2階
Would-be worlds : how simulation is changing the frontiers of science / John L. Casti
書庫2階
Discrete event modeling and simulation technologies : a tapestry of systems and AI-based theories and methodologies : a tribute to the 60th birthday of Bernard P. Zeigler / Hessam S. Sarjoughian, François E. Cellier, editors
書庫2階
Error control and adaptivity in scientific computing / edited by Haydar Bulgak and Christoph Zenger
: pbk
書庫2階
Parallel and distributed simulation systems / Richard M. Fujimoto
書庫2階