OPAC TOP
 
 

日本語 | English

新着案内

資料種別: 全て 図書 雑誌 電子ブック(学内限定) 分類:
表示期間: 表示対象:

検索結果一覧 247件中110件を表示

1 2017/10/31

Mathematical Logic

by Joseph R. Shoenfield. -- Association for Symbolic Logic, 1967.
2 2017/10/31

Evaluation : a systematic approach

Peter H. Rossi, Mark W. Lipsey, Howard E. Freeman ; : cloth. -- 7th ed. -- Sage Publications, 2004.
巻号:: cloth
3 2017/10/31

Software security : building security in

Gary McGraw. -- Addison-Wesley, 2006. -- (Addison-Wesley software security series / Gary McGraw, Consulting Editor).
4 2017/10/31

Real world Haskell

Bryan O'Sullivan, John Goerzen, and Don Stewart. -- O'Reilly, 2008.
5 2017/10/31

Applied information security : a hands-on approach

David Basin, Patrick Schaller, Michael Schläpfer. -- Springer, 2011.
6 2017/10/31

週刊東洋経済.

2977号 (昭35.12)-. -- 東洋経済新報社, 1960.
巻号:6758
7 2017/10/31

Let over lambda : 50 years of Lisp

Doug Hoyte. -- [s.n.], 2008.
8 2017/10/31

Computer-aided reasoning : an approach

edited by Matt Kaufmann, Panagiotis Manolios, J. Strother Moore. -- Kluwer Academic, 2000. -- (Advances in formal methods / series editor, Michael Hinchey ; 3).
9 2017/10/31

The Haskell road to logic, maths and programming

Kees Doets, Jan van Eijck. -- King's College, 2004. -- (Texts in computing ; 4).
10 2017/10/31

Rippling : meta-level guidance for mathematical reasoning

Alan Bundy ... [et al.] ; : hbk. -- Cambridge University Press, 2005. -- (Cambridge tracts in theoretical computer science ; 56).
巻号:: hbk