上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #Compilers )
該当件数:34件
Compiler construction : 8th international conference, CC '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings / Stefan Jähnichen, (ed.)
Berlin ; Tokyo : Springer-Verlag , c1999. - (Lecture notes in computer science ; 1575)
図書 <0219003400>
Compiler optimizations for scalable parallel systems : languages, compilation techniques, and run time systems / Santosh Pande, Dharma P. Agrawal (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 1808)
図書 <1001266289>
High performance compilers for parallel computing / Michael Wolfe
Redwood City, Calif. : Addison-Wesley , c1996
図書 <1001142672>
Compiler construction : 10th International Conference, CC 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / Reinhard Wilhelm (ed.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2027)
図書 <1001259171>
Compiler construction : 11th International Conference, CC 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings / R. Nigel Horspool (ed.)
Berlin : Springer-Verlag , c2002. - (Lecture notes in computer science ; 2304)
図書 <1001366243>
Compiler construction : 5th International Conference, CC '94, Edinburgh, U.K., April 7-9, 1994 : proceedings / Peter A. Fritzson, ed
: us,: gw. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 786)
図書 <1000495766>
Compiler construction : 9th International Conference, CC 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / David A. Watt (ed.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1781)
図書 <1001125889>
Compiler construction : 4th International Conference, CC '92, Paderborn, FRG, October 5-7, 1992 : proceedings / U. Kastens, P. Pfahler, eds
: gw,: us. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 641)
図書 <1000458410>
Compiler construction : 6th International Conference, CC'96, Linköping, Sweden, April 24-26, 1996 : proceedings / Tibor Gyimóthy, (ed.)
Berlin ; New York : Springer-Verlag , c1996. - (Lecture notes in computer science ; 1060)
図書 <1000537100>
Compiler construction : 7th International Conference, CC '98, held as part of the Joint European Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings / Kai Koskimies, ed
Berlin ; New York : Springer , 1998. - (Lecture notes in computer science ; 1383)
図書 <1000559088>
Compiler compilers : Third International Workshop CC '90, Schwerin, FRG, October 22-24, 1990 : proceedings / D. Hammer (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991. - (Lecture notes in computer science ; 477)
図書 <1000412425>
Retargetable compiler technology for embedded systems : tools and applications / by Rainer Leupers and Peter Marwedel
Boston ; Dordrecht : Kluwer Academic Publishers , c2001
図書 <1001368538>
Interacting code motion transformations : their impact and their complexity / Oliver Rüthing
Berlin ; New York : Springer , c1998. - (Lecture notes in computer science ; 1539)
図書 <1001038290>
Optimal interprocedural program optimizationn : a new framework and its application / Jens Knoop
Berlin ; Tokyo : Springer , c1998. - (Lecture notes in computer science ; 1428)
図書 <1000997435>
Languages and compilers for parallel computing / edited by David Gelernter, Alexandru Nicolau, and David Padua
: Pitman,: MIT Press. - London : Pitman. - Cambridge, Mass. : MIT Press , 1990. - (Research monographs in parallel and distributed computing)
図書 <1000390193>
Programming language processors : compilers and interpreters / David A. Watt
pbk.. - Hemel Hempstead, Hertz : Prentice Hall International. - Englewood Cliffs, NJ : Prentice Hall , 1993. - (Prentice Hall International series in computer science)
図書 <1000471368>
Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January, 1980 / edited by Neil D. Jones
Berlin ; New York : Springer-Verlag , 1980. - (Lecture notes in computer science. ; 94)
図書 <1000586785>
Compiler specification and verification / Wolfgang Polak
Berlin ; New York : Springer-Verlag , 1981. - (Lecture notes in computer science. ; 124)
図書 <1000586931>
A Concurrent PASCAL compiler for minicomputers / Alfred C. Hartmann
Berlin ; New York : Springer-Verlag , 1977. - (Lecture notes in computer science. ; 50.)
図書 <1000586999>
Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction / Markus Müller-Olm
Berlin ; Heidelberg : Springer , c1997. - (Lecture notes in computer science ; 1283)
図書 <1000554614>