選択資料から書架並びで前後20冊ずつを表示します。
CRC standard mathematical tables and formulae / [editor-in-chief], Daniel Zwillinger
書庫2階
The mathematical mechanic : using physical reasoning to solve problems / Mark Levi
: pbk
書庫2階
How to solve it : modern heuristics / Zbigniew Michalewicz, David B. Fogel
書庫2階
Constraints in computational logics : First International Conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings / Jean-Pierre Jouannaud (ed.)
書庫2階
A.M. Turing's ACE report of 1946 and other papers / edited by B.E. Carpenter and R.W. Doran
書庫2階
Rabdology / John Napier ; translated by William Frank Richardson ; introduction by Robin E. Rider
書庫2階
Evolutionary computing : AISB Workshop, Leeds, U.K., April 11-13, 1994 : selected papers / Terence C. Fogarty, (ed.)
書庫2階
Applications of graph transformations with industrial relevance : International Workshop, AGTIVE '99, Kerkrade, the Netherlands, September 1-3, 1999 : proceedings / Manfred Nagl, Andreas Schürr, Manfred Münch (eds.)
書庫2階
Advances in computing science - ASIAN '97 : Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997 : proceedings / R.K. Shyamasundar, K. Ueda (Eds.)
書庫2階
Advances in computing science, ASIAN '98 : 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998 : proceedings / Jieh Hsiang, Atsushi Ohori (eds.)
書庫2階
Advances in computing science - ASIAN '99 : 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 : proceedings / P.S. Thiagarajan, R. Yap (eds.)
書庫2階
Advances in computing science - ASIAN 2000 : 6th Asian Computing Science Conference, Penang, Malaysia, November 25-27, 2000 : proceedings / Jifeng He, Masahiko Sato (eds.)
書庫2階
Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings / A.R. Meyer, M.A. Taitslin (eds.)
書庫2階
Categorical methods in computer science : with aspects from topology / H. Ehrig ... et al. (eds.)
書庫2階
Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings / D.H. Pitt ... [et al.] (eds.)
書庫2階
Computers and informatics in developing countries / edited by Mohan Munasinghe
書庫2階
ECI conference 1976 : proceedings of the 1st conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976 / edited by K. Samelson
書庫2階
1. Fachtagung über Automatentheorie und Formale Sprachen, Bonn, 9.-12. Juli 1973 / herausgegeben im Auftrag der Gesellschaft für Informatik von Karl-Heinz Böhling und Klaus Indermark
書庫2階