選択資料から書架並びで前後20冊ずつを表示します。
Computer science logic : 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers / Mogens Nielsen, Wolfgang Thomas (eds.)
書庫2階
Computer science logic : 12th International Workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings / Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.)
書庫2階
Computer science logic : 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings / Jörg Flum, Mario Rodríguez-Artalejo (eds.)
書庫2階
Computer science logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings / Peter G. Clote, Helmut Schwichtenberg (eds.)
書庫2階
Computer science logic : 15th International Workshop, CSL 2001, 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings / Laurent Fribourg (ed.)
書庫2階
Category theory and computer science : 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997 : proceedings / Eugenio Moggi, Giuseppe Rosolini (eds.)
書庫2階
Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI '97 Workshop, Aix-en-Provence, France, August 11-22, 1997 : revised lectures / Jouko Väänänen (ed.)
書庫2階
An introduction to discrete mathematics, formal system specification, and Z / D.C. Ince
書庫2階
COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, proceedings / P. Martin-Löf, G. Mints (eds.)
: gw
書庫2階
Latent variable path modeling with partial least squares / Jan-Bernd Lohmöller
書庫2階
Randomness and completeness in computational complexity / Dieter van Melkebeek
書庫2階
Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gdańsk, September 6-10, 1976 / edited by A. Mazurkiewicz
書庫2階
Mathematical foundations of computer science, 1977 : proceedings, 6th Symposium, Tatranská Lomnica, September 5-9, 1977 / edited by J. Gruska
書庫2階
Mathematical foundations of computer science, 1978 : proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978 / edited by J. Winkowski
書庫2階
Mathematical foundations of computer science, 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980 / edited by P. Dembinski
書庫2階
Mathematical foundations of computer science 1981 : proceedings, 10th symposium, Strbské Pleso, Czechoslovakia, August 31-September 4, 1981 / edited by J. Gruska and M. Chytil
書庫2階
Mathematical foundations of computer science 1984 : proceedings, 11th Symposium Praha, Czechoslovakia, September 3-7, 1984 / edited by M.P. Chytil and V. Koubek
書庫2階
Mathematical foundations of computer science 1986 : proceedings of the 12th symposium, Bratislava, Czechoslovakia, August 25-29, 1986 / edited by J. Gruska, B. Rovan, and J. Wiedermann
書庫2階
Mathematical foundations of computer science 1988 : proceedings of the 13th Symposium, Carlsbad, Czechoslovakia, August 29-September 2, 1988 / M.P. Chytil, L. Janiga, V. Koubek (eds.)
: gw
書庫2階