上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: Computer engineering Congresses)
該当件数:67件
Computer aided systems theory - EUROCAST '89 : a selection of papers from the International Workshop EUROCAST '89, Las Palmas, Spain, February 26-March 4, 1989, proceedings / F. Pichler, R. Moreno-Diaz (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990. - (Lecture notes in computer science ; 410)
図書 <1000364510>
Proceedings / International Workshop on Computer-Aided Software Engineering
1995-,1995. - Los Alamitos, Calif. : IEEE Computer Society Press , 1992-
図書 <1000694052>
Advanced information systems engineering : Second Nordic Conference CAiSE '90, Stockholm, Sweden, May 8-10, 1990, proceedings / B. Steinholtz, A. Sølvberg, L. Bergman (eds.)
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1990. - (Lecture notes in computer science ; 436)
図書 <1000371768>
Advanced information systems engineering : 6th International Conference, CAiSE '94, Utrecht, The Netherlands, June 6-10, 1994 : proceedings / Gerard Wijers, Sjaak Brinkkemper, Tony Wasserman (eds.)
: Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1994. - (Lecture notes in computer science ; 811)
図書 <1000499696>
Advanced information systems engineering : 4th International Conference CAiSE '92, Manchester, UK, May 12-15, 1992 : proceedings / P. Loucopoulos, (ed.)
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 593)
図書 <1000447325>
Advanced information systems engineering : 5th International Conference, CAiSE '93, Paris, France, June 8-11, 1993 : proceedings / Colette Rolland, François Bodart, Corine Cauvet, (eds.)
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 685)
図書 <1000476835>
Fourth International Workshop on Computer-Aided Software Engineering : advance working papers, Irvine, California, December 5-8, 1990 / editors, Ronald J. Norman, Roger Van Ghent ; co-sponsors, International Workshop on CASE, Inc. [and] IEEE Computer Society
Los Alamitos, Calif. : IEEE Computer Society Press , c1990
図書 <1000654811>
Advanced information systems engineering : 7th International Conference, CAiSE '95, Jyväskylä, Finland, June 12-16, 1995 : proceedings / Juhani Iivari, Kalle Lyytinen, Matti Rossi (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1995. - (Lecture notes in computer science ; 932)
図書 <1000521022>
Advanced information systems engineering : Third International Conference CAiSE '91, Trondheim, Norway, May 13-15, 1991 : proceedings / R. Andersen, J.A. Bubenko, Jr., A. Sølvberg, eds
Berlin ; New York : Springer-Verlag , c1991. - (Lecture notes in computer science ; 498)
図書 <1000648156>
Advanced information systems engineering : 8th International Conference, CAiSE '96, Heraklion, Crete, Greece, May 20-24, 1996 : proceedings / Panos Constantopoulos, John Mylopoulos, Yannis Vassiliou (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1080)
図書 <1000538446>
Computer aided systems theory - EUROCAST 2001 : a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001 : revised papers / Roberto Moreno-Díaz, Bruno Buchberger, José-Luis Freire (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2178)
図書 <1001347900>
Computer aided systems theory - EUROCAST '99 : a selection of papers from the 7th International Workshop on Computer Aided Systems Theory, Vienna, Austria, September 29-October 2, 1999 : proceedings / Franz Pichler, Roberto Moreno-Díaz, Peter Kopacek (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1798)
図書 <1001180862>
Computer aided systems theory - EUROCAST '93 : a selection of papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22-26, 1993 : proceedings / F. Pichler, R. Moreno Díaz, (eds.)
: us,: gw. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 763)
図書 <1000491577>
Computer aided systems theory - EUROCAST '91 : a selection of papers from the Second International Workshop on Computer Aided Systems Theory, Krems, Austria, April 15-19, 1991 : proceedings / F. Pichler, R. Moreno Díaz (eds.)
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 585)
図書 <1000445129>
Computer aided systems theory - EUROCAST '97 : a selection of papers from the 6th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997 : proceedings / Franz Pichler, Roberto Moreno-Díaz, (Eds.)
Berlin ; New York ; Tokyo : Springer-Verlag , c1997. - (Lecture notes in computer science ; 1333)
図書 <1000556628>
Computer aided systems theory - EUROCAST '95 : a selection of papers from the fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995 : proceedings / F. Pichler, R. Moreno-Díaz, R. Albrecht (eds.)
: gw. - Berlin ; New York : Springer-Verlag , c1996. - (Lecture notes in computer science ; 1030)
図書 <1000533623>
Advanced information systems engineering : 14th International Conference, CAiSE 2002, Toronto, Canada, May 27-31, 2002 : proceedings / Anne Banks Pidduck ...[et al.] (eds.)
Berlin : Springer , c2002. - (Lecture notes in computer science ; 2348)
図書 <1001374209>
Advanced information systems engineering : 13th International Conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001 : proceedings / Klaus R. Dittrich, Andreas Geppert, Moria C. Norrie (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2068)
図書 <1001278063>
Advanced information systems engineering : 12th International Conference, CAiSE 2000, Stockholm, Sweden, June 5-9, 2000 : proceedings / Benkt Wangler, Lars Bergman (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1789)
図書 <1001158850>
Advanced information systems engineering : 11th International Conference, CAiSE '99, Heidelberg, Germany, June 14-18, 1999 : proceedings / Matthias Jarke, Andreas Oberweis (eds.)
Berlin ; Tokyo : Springer , c1999. - (Lecture notes in computer science ; 1626)
図書 <1001063785>