選択資料から書架並びで前後20冊ずつを表示します。
Computer architecture : a quantitative approach / David A. Patterson, John L. Hennessy ; with a contribution by David Goldberg
書庫2階
Computer architecture and organization : an integrated approach / Miles J. Murdocca, Vincent P. Heuring
: cloth
書庫2階
Auditing and security : AS/400, NT, UNIX, networks, and disaster recovery plans / Yusufali F. Musaji
書庫2階
Augmented reality : theory, design and development / Chetankumar G. Shetty
: pbk
書庫2階
Automated deduction in classical and non-classical logics : selected papers / Ricardo Caferra, Gernot Salzer (eds.)
書庫2階
5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 / edited by W. Bibel and R. Kowalski
書庫2階
First-order logic and automated theorem proving / Melvin Fitting
: us
書庫2階
Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings / Jeffrey J. Joyce, Carl-Johan H. Seger [editors]
書庫2階
Higher order logic theorem proving and its applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994 : proceedings / Thomas F. Melham, Juanito Camilleri, (eds.)
書庫2階
Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings / E. Thomas Schubert, Phillip J. Windley, James Alves-Foss (eds.)
書庫2階
Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings / Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.)
書庫2階
7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings / edited by R.E. Shostak
書庫2階
8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings / edited by Jörg H. Siekmann
書庫2階
9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings / E. Lusk, R. Overbeek (eds.)
書庫2階
10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990, proceedings / M.E. Stickel (ed.)
gw
書庫2階
Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings / D. Kapur (ed.)
書庫2階
Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings / Alan Bundy (ed.)
書庫2階
Automated deduction -- CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings / M.A. McRobbie, J.K. Slaney, (eds.)
書庫2階