選択資料から書架並びで前後２０冊ずつを表示します。
Computer vision--ECCV '92 : Second European Conference on Computer Vision, Santa Margherita Ligure, Italy, May 19-22, 1992 : proceedings / G. Sandini (ed.)
: Berlin
3F・書庫-NDC分類図書・別置(請求制)
Languages and compilers for parallel computing : fourth international workshop, Santa Clara, California, USA, August 7-9, 1991 : proceedings / U. Banerjee ... [et al.], eds
: Berlin
3F・書庫-NDC分類図書・別置(請求制)
Parallelization in inference systems : international workshop, Dagstuhl Castle, Germany, December 17-18, 1990 : proceedings / B. Fronhöfer, G. Wrightson, eds
: Berlin
3F・書庫-NDC分類図書・別置(請求制)
Parallel computation : First International ACPC Conference, Salzburg, Austria, September 30-October 2, 1991 : proceedings / H.P. Zima (ed.)
: Berlin
3F・書庫-NDC分類図書・別置(請求制)
Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings / A. Voronkov (ed.)
: Berlin
3F・書庫-NDC分類図書・別置(請求制)
Advanced information systems engineering : 4th International Conference CAiSE '92, Manchester, UK, May 12-15, 1992 : proceedings / P. Loucopoulos, (ed.)
3F・書庫-NDC分類図書・別置(請求制)
Data structures and efficient algorithms : final report on the DFG special joint initiative / B. Monien, Th. Ottmann (eds.)
: Berlin
3F・書庫-NDC分類図書・別置(請求制)
The Nested universal relation database model / M. Levene
: Berlin
3F・書庫-NDC分類図書・別置(請求制)
Extensions of logic programming : second international workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991 : proceedings / L.-H. Eriksson, L.Hallnäs, P. Schroeder-Heister (eds.)
: Berlin
3F・書庫-NDC分類図書・別置(請求制)
A perspective of constraint-based reasoning : an introductory tutorial / H.W. Guesgen, J. Hertzberg
: Berlin
3F・書庫-NDC分類図書・別置(請求制)
Mathematical foundations of programming semantics : 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings / S. Brookes ... [et al.], (eds.)
: Berlin
3F・書庫-NDC分類図書・別置(請求制)
Current developments in knowledge acquisition, EKAW '92 : 6th European Knowledge Acquisition Workshop, Heidelberg and Kaiserslautern, Germany, May 18-22, 1992 : proceedings / Th. Wetter ... [et al.], eds
: Berlin
3F・書庫-NDC分類図書・別置(請求制)
Real-time : theory in practice : REX workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings / J.W. de Bakker ... [et al.], eds
: Berlin
3F・書庫-NDC分類図書・別置(請求制)
Theory of computing and systems : ISTCS '92, Israel Symposium Haifa, Israel, May 27-28, 1992 : proceedings / D. Dolev, Z. Galil, M. Rodeh (eds.)
: Berlin
3F・書庫-NDC分類図書・別置(請求制)
Computer assisted learning : 4th International Conference, ICCAL '92, Wolfville, Nova Scotia, Canada, June 17-20, 1992 : proceedings / I. Tomek, ed
: gw
3F・書庫-NDC分類図書・別置(請求制)
Ada : moving towards 2000 : 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992 : proceedings / J. van Katwijk (ed.)
: Berlin
3F・書庫-NDC分類図書・別置(請求制)
Industrial and engineering applications of artificial intelligence and expert systems : 5th International Conference, IEA/AIE '92, Paderborn, Germany, June 9-12, 1992 : proceedings / F. Belli, F.J. Radermacher (eds.)
: Berlin
3F・書庫-NDC分類図書・別置(請求制)
PARLE '92, parallel architectures and languages Europe : 4th International PARLE Conference, Paris, France, June 15-18, 1992 : proceedings / D. Etiemble, J.-C. Syre (eds.)
: gw
3F・書庫-NDC分類図書・別置(請求制)
Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings / D. Kapur (ed.)
: Berlin
3F・書庫-NDC分類図書・別置(請求制)
Intelligent tutoring systems : Second International Conference, ITS '92, Montréal, Canada, June 10-12, 1992 : proceedings / C. Frasson, G. Gauthier, G.I. McCalla (eds.)
: Berlin
3F・書庫-NDC分類図書・別置(請求制)
Advances in Petri nets 1992 / G. Rozenberg, (ed.)
: Berlin
3F・書庫-NDC分類図書・別置(請求制)
Coordinating plans of autonomous agents / F. von Martial
: Berlin
3F・書庫-NDC分類図書・別置(請求制)
The Next generation of information systems : from data to knowledge : a selection of papers presented at two IJCAI-91 workshops, Sydney, Australia, August 26, 1991 / M.P. Papazoglou, J. Zeleznikow (eds.)
Berlin
3F・書庫-NDC分類図書・別置(請求制)
Object-based concurrent computing : ECOOP '91 workshop, Geneva, Switzerland, July 15-16, 1991 : proceedings / M. Tokoro, O. Nierstrasz, P. Wegner, eds
Berlin
3F・書庫-NDC分類図書・別置(請求制)
Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991 : proceedings / J.P. Myers, Jr., M.J. O'Donnell, eds
Berlin
3F・書庫-NDC分類図書・別置(請求制)
Network and operating system support for digital audio and video : second international workshop, Heidelberg, Germany, November 18-19, 1991 : proceedings / R.G. Herrtwich, editor
Berlin
3F・書庫-NDC分類図書・別置(請求制)
ECOOP '92, European Conference on Object-Oriented Programming : Utrecht, The Netherlands, June 29-July 3, 1992 : proceedings / O. Lehrmann Madsen, (ed.)
Berlin
3F・書庫-NDC分類図書・別置(請求制)
Application and theory of Petri nets 1992 : 13th International Conference, Sheffield, UK, June 22-26, 1992 : proceedings / K. Jensen, ed
Berlin
3F・書庫-NDC分類図書・別置(請求制)
Advanced topics in artificial intelligence : international summer school, Prague, Czechoslovakia, July 6-17, 1992 : proceedings / V. Mařík, O. Štěpánková, R. Trappl (eds.)
Berlin
3F・書庫-NDC分類図書・別置(請求制)
Advanced database systems : 10th British National Conference on Databases, BNCOD 10, Aberdeen, Scotland, July 6-8, 1992 : proceedings / P.M.D. Gray, R.J. Lucas (eds.)
Berlin
3F・書庫-NDC分類図書・別置(請求制)
Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings / D. Pearce, H. Wansing (eds.)
Berlin
3F・書庫-NDC分類図書・別置(請求制)
Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 : proceedings / A. Nerode, M. Taitslin (eds.)
Berlin
3F・書庫-NDC分類図書・別置(請求制)
Algorithm theory--SWAT '92 : Third Scandinavian Workshop on Algorithm Theory, Helsinki, Finland, July 8-10, 1992 : proceedings / O. Nurmi, E. Ukkonen, eds
Berlin
3F・書庫-NDC分類図書・別置(請求制)
Contemporary knowledge engineering and cognition : first joint workshop, Kaiserslautern, Germany, February 21-22, 1991 : proceedings / F. Schmalhofer, G. Strube, Th. Wetter (eds.)
gw
3F・書庫-NDC分類図書・別置(請求制)
Automata, languages, and programming : 19th International Colloquium, Wien, Austria, July 13-17, 1992 : proceedings / W. Kuich (ed.)
Berlin
3F・書庫-NDC分類図書・別置(請求制)
Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings / A. Voronkov, ed
Berlin
3F・書庫-NDC分類図書・別置(請求制)
Modular construction and partial order semantics of Petri Nets / W. Vogler
gw
3F・書庫-NDC分類図書・別置(請求制)
Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October, 7-11, 1991 : proceedings / E. Börger ... [et al.], eds
gw
3F・書庫-NDC分類図書・別置(請求制)
Lexical semantics and knowledge representation : First SIGLEX Workshop, Berkeley, CA, USA, June 17, 1991 : proceedings / J. Pustejovsky, S. Bergler, eds
gw
3F・書庫-NDC分類図書・別置(請求制)