選択資料から書架並びで前後20冊ずつを表示します。
International Symposium on Theoretical Programming : [proceedings held on August 7-11, 1972 / edited by Andrei Ershov and Valery A. Nepomniaschy
書庫2階
Jewels are forever : contributions on theoretical computer science in honor of Arto Salomaa / Juhani Karhumäki ... [et al.]
書庫2階
The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989 : proceedings / A. Fuhrmann, M. Morreau, (eds.)
書庫2階
Logic, language, and computation: : festschrift in honor of Satoru Takasu / Neil D. Jones, Masami Hagiya, Masahiko Sato, eds
書庫2階
Nine algorithms that changed the future : the ingenious ideas that drive today's computers / John MacCormick ; with a foreword by Chris Bishop
: hardcover
書庫2階
Alvey, Britain's strategic computing initiative / Brian Oakley and Kenneth Owen
書庫2階
Object-oriented methodologies and systems : International Symposium, ISOOMS '94, Palermo, Italy, September 21-22, 1994 : proceedings / Elisa Bertino, Susan Urban (eds.)
書庫2階
People & ideas in theoretical computer science / edited by C.S. Calude
書庫2階
Computers and the imagination : visual adventures beyond the edge / Clifford A. Pickover
書庫2階
The structure of style : algorithmic approaches to understanding manner and meaning / Shlomo Argamon, Kevin Burns, Shlomo Dubnov, editors
: hbk
書庫2階
Scientific computing with automatic result verification / edited by E. Adams, U. Kulisch
書庫2階
Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht / Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa (eds.)
書庫2階
The second self : computers and the human spirit / Sherry Turkle
: pbk
書庫2階
Theoretical aspects of computer science : advanced lectures / Gholamreza B. Khosrovshahi, Ali Shokoufandeh, Amin Shokrollahi (eds.)
書庫2階
Understanding computers and cognition : a new foundation for design / Terry Winograd, Fernando Flores
書庫2階