選択資料から書架並びで前後20冊ずつを表示します。
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階
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階