選択資料から書架並びで前後20冊ずつを表示します。
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階
3. Fachtagung über Programmiersprachen, Kiel, 5.-7. März 1974 / GI, Gesellschaft für Informatik e.V. ; herausgegeben von Bodo Schlender und Wolfgang Frielinghaus
書庫2階
Fundamentals of computation theory : proceedings / International Conference FCT '87, Kazan, USSR, June 22-26, 1987 ; L. Budach, R.G. Bukharajev, O.B. Lupanov, eds
書庫2階
Fundamentals of computation theory : proceedings / International Conference FCT '89, Szeged, Hungary, August 21-25, 1989 ; F. Gécseg, ed
書庫2階
Fundamentals of computation theory : 8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991 : proceedings / L. Budach, (ed.)
書庫2階
Fundamentals of computation theory : 9th International Conference, FCT '93, Szeged, Hungary, August 23-27, 1993 : proceedings / Zoltán Ésik, (ed.)
書庫2階
Fundamentals of computation theory : 10th International Conference, FCT '95, Dresden, Germany, August 22-25, 1995 : proceedings / Horst Reichel (ed.)
書庫2階
Fundamentals of computation theory : 11th International Symposium, FCTʾ97, Kraków, Poland, September 1-3, 1997 : proceedings / Bogdan S. Chlebus, Ludwik Czaja (eds.)
書庫2階
Fundamentals of computation theory : 12th International Symposium, FCT '99, Iaşi, Romania, August 30 - September 3, 1999 : proceedings / Gabriel Ciobanu, Gheorghe Păun (eds.)
書庫2階