選択資料から書架並びで前後20冊ずつを表示します。
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階
Foundations of information and knowledge systems : first International Symposium, FoIKs 2000, Burg, Germany, February 14-17, 2000 : proceedings / Klaus-Dieter Schewe, Bernhard Thalheim (eds.)
書庫2階
Foundations of information and knowledge systems : Second International Symposium, FoIKS 2002, Salzau Castle, Germany, February 20-23, 2002 : proceedings / Thomas Eiter, Klaus-Dieter Schewe (eds.)
書庫2階
Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course / Hubert Comon, Jean-Pierre Jouannaud, (eds.)
書庫2階
Fachtagung Struktur und Betrieb von Rechensystemen, Braunschweig, 20.-22. 3. 1974 / GI-NTG ; herausgegeben im Auftrag der GI und der NTG von H.-O. Leilich
書庫2階