選択資料から書架並びで前後20冊ずつを表示します。
Hybrid systems III : verification and control / Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag, (eds.)
書庫2階
From Memex to hypertext : Vannevar Bush and the mind's machine / [edited by] James M. Nyce, Paul Kahn
書庫2階
Analog VLSI implementation of neural systems / edited by Carver Mead and Mohammed Ismail
書庫2階
An introduction to neural computing / Igor Aleksander and Helen Morton
書庫2階
Applied mathematics and parallel computing : Festschrift for Klaus Ritter / Herbert Fischer, Bruno Riedmüller, Stefan Schäffler (editors)
書庫2階
John von Neumann and the origins of modern computing / William Aspray
書庫2階
Connectionism and the mind : an introduction to parallel processing in networks / William Bechtel and Adele Abrahamsen
書庫2階
Parallel and distributed computation : numerical methods / Dimitri P. Bertsekas, John N. Tsitsiklis
書庫2階
A survey of verification techniques for parallel programs / Howard Barringer
書庫2階
Reckoners : the prehistory of the digital computer, from relays to the stored program concept, 1935-1945 / Paul E. Ceruzzi
書庫2階
Advanced microprocessor architectures / Luigi Ciminiera, Adriano Valenzano
書庫2階
Current trends in concurrency : overviews and tutorials / edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg
書庫2階
Computers and games : first international conference, CG '98, Tsukuba, Japan, November 11-12, 1998 : proceedings / H. Jaap van den Herik, Hiroyuki Iida (eds.)
書庫2階