選択資料から書架並びで前後20冊ずつを表示します。
Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings / Dragan Bošnački, Stefan Leue (eds.)
書庫2階
Systems and software verification : model-checking techniques and tools / B. Bérard ... [et al.]
書庫2階
Validation and verification of knowledge based systems : theory, tools and practice / edited by Anca Vermesan and Frans Coenen
書庫2階
Verification, model checking, and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers / Agostino Cortesi (ed.)
書庫2階
Model checking / Edmund M. Clarke, Jr., Orna Grumberg, Doron A. Peled
書庫2階
Fundamentals of X programming : graphical user interfaces and beyond / Theo Pavlidis
書庫2階
The Cray X-MP/Model 24 : a case study in pipelined architecture and vector processing / Kay A. Robbins, Steven Robbins
書庫2階
Insanely great : the life and time of Macintosh, the computer that changed everything / Steven Levy
書庫2階
The Mac Panther bible / Christopher Breen ... [et al. ; edited by Cheryl England ... et al.]
: pbk
書庫2階
VAX architecture reference manual / edited by Timothy E. Leonard ; contributing authors, Dileep P. Bhandarkar ... [et al.]
書庫2階
Adaptive processing of sequences and data structures : International Summer School on Neural Networks "E.R. Caianiello", Vietri sul Mare, Salerno, Italy, September 6-13, 1997, tutorial lectures / C. Lee Giles, Marco Gori, eds
書庫2階
The fifth generation fallacy : why Japan is betting its future on artificial intelligence / J. Marshall Unger
書庫2階
Neural networks and fuzzy systems : theory and applications / Shigeo Abe ; foreword by Anca Ralescu
書庫2階
Advances in neural information processing systems : proceedings of the ... conference / edited by David S. Touretzky
13
書庫2階
Advances in neuromorphic hardware exploiting emerging nanoscale devices / Manan Suri, editor
: hbk
書庫2階
Artificial neural networks : an introduction to ANN theory and practice / P.J. Braspenning, F. Thuijsman, A.J.M.M. Weijters, (eds.)
書庫2階
Artificial neural networks : ICANN 96 : 1996 International Conference, Bochum, Germany, July 16-19, 1996 : proceedings / C. von der Malsburg ... [et al.], eds.
書庫2階
Artificial neural networks : ICANN '97 : 7th International Conference, Lausanne, Switzerland, October 8-10, 1997 : proceedings / Wulfram Gerstner ... [et al.], (eds.)
書庫2階