上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(著者名に左の語を含む: #Gesellschaft für Informatik)
該当件数:13件
3. Jahrestagung, Humburg, 8.-10. Oktober 1973 / herausgegeben im Auftrag der Gesellschaft für Informatik von Wilfried Brauer
: gw,: us. - Berlin ; New York : Springer-Verlag , 1973. - (Lecture notes in computer science ; 1)
図書 <1000341245>
IROS '94 : proceedings of the IEEE/RSJ/GI International Conference on Intelligent Robots and Systems : advanced robotic systems and the real world : September 12-16, 1994, Federal Armed Forces University Munich, Germany / sponsors, Gesellschaft für Informatik ... [et al.]
v. 1,v. 2,v. 3. - Piscataway, NJ : IEEE Service Center , c1994
図書 <1000511126>
Algorithms -- ESA '93 : first annual European symposium, Bad Honnef, Germany, September 30-October 2, 1993 : proceedings / Thomas Lengauer (ed.)
: us,: gw. - Berlin ; New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 726)
図書 <1000481849>
1. [i.e. Erste] Fachtagung über Programmiersprachen, München, 9.-11. März 1971 / Hrsg. im Auftrag der Gesellschaft für Informatik von Hans Langmaack und Manfred Paul
Berlin ; New York : Springer-Verlag , 1972. - (Lecture notes in economics and mathematical systems ; 75). - (Bericht (Gesellschaft für Informatik) ; Nr. 3)
図書 <1000450233>
3. Fachtagung über Programmiersprachen, Kiel, 5.-7. März 1974 / GI, Gesellschaft für Informatik e.V. ; herausgegeben von Bodo Schlender und Wolfgang Frielinghaus
: gw,: us. - Berlin ; New York : Springer-Verlag , 1974. - (Lecture notes in computer science ; 7)
図書 <1000326898>
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
: gw,: us. - Berlin ; New York : Springer-Verlag , 1973. - (Lecture notes in computer science ; 2)
図書 <1000329349>
Proceedings : EURO-DAC '95 : European Design Automation Conference with EURO-VHDL, Brighton, Great Britain, September 18-22, 1995 / sponsored by Gesellschaft für Informatik e.V. ... [et al.]
: softbound,: casebound. - Los Alamitos : IEEE Computer Society Press , c1995
図書 <1000530824>
Proceedings : EURO-DAC '96 : European Design Automation Conference with EURO-VHDL '96 and Exhibition, Geneva, Switzerland, September 16-20, 1996 / sponsored by Gesellschaft für Informatik e.V. ... [et al.]
Los Alamitos, Calif. : IEEE Computer Society Press , c1996
図書 <1000545097>
Proceedings / International Conference on Computer Vision ; sponsored by the Computer Society of the IEEE in cooperation with the International Association for Pattern Recognition
1990,1995,1998. - Washington, D.C. : Computer Society Press of the IEEE , 1987-
図書 <1000693985>
Fachtagung "Cognitive Verfahren und Systeme", Hamburg, 11.-13. April 1973 / Hrsg. im Auftrag der Nachrichtentechnische Gesellschaft [und] Gesellschaft für Informatik, von Theodor Einsele, Wolfgang Giloi und Hans-Hellmut Nagel
Berlin ; New York : Springer-Verlag , 1973. - (Lecture notes in economics and mathematical systems ; 83)
図書 <1000450312>
STACS 90 : 7th Annual Symposium on Theoretical Aspects of Computer Science, Rouen, France, February 22-24, 1990, proceedings / C. Choffrut, T. Lengauer (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990. - (Lecture notes in computer science ; 415)
図書 <1000364596>
STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, proceedings / B. Monien, R. Cori [editors]
Berlin ; New York : Springer-Verlag , c1989. - (Lecture notes in computer science ; 349)
図書 <1000587374>
Automata, languages and programming : 2nd colloquium, University of Saarbrücken, July 29-August 2, 1974 / edited by Jacques Loeckx
: gw,: us. - Berlin ; New York : Springer-Verlag , 1974. - (Lecture notes in computer science ; 14)
図書 <1000329153>