選択資料から書架並びで前後20冊ずつを表示します。
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階
Mathematical foundations of computer science 1989 : Porabka-Kozubnik, Poland, August 28-September 1, 1989 : proceedings / A. Kreczmar, G. Mirkowska (eds.)
書庫2階
Mathematical foundations of computer science, 1990 : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings / B. Rovan, ed
書庫2階
Mathematical foundations of computer science, 1991 : 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991 : proceedings / A. Tarlecki (ed.)
: Berlin
書庫2階
Mathematical foundations of computer science 1992 : 17th international symposium, Prague, Czechoslovakia, August 24-28, 1992 : proceedings / I.M. Havel, V. Koubek, eds
: gw
書庫2階
Mathematical foundations of computer science 1993 : 18th International Symposium, MFCS'93, Gdańsk, Poland, August 30-September 3, 1993 : proceedings / Andrzej M. Borzyszkowski, Stefan Sokołowski, (eds.)
書庫2階
Mathematical foundations of computer science 1994 : 19th International Symposium, MFCS'94, Košice, Slovakia, August 22-26, 1994 : proceedings / Igor Prívara, Branislav Rovan, Peter Ružička (Eds.)
書庫2階