上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #Embedded computer systems)
該当件数:23件
Lectures on embedded systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996 / Grzegorz Rozenberg, Frits Vaandrager (eds.)
Berlin ; Tokyo : Springer , c1998. - (Lecture notes in computer science ; 1494)
図書 <1000997495>
Software frameworks and embedded control systems / Alessandro Passetti
Berlin : Springer , c2002. - (Lecture notes in computer science ; 2231)
図書 <1001360036>
Code optimization techniques for embedded processors : methods, algorithms, and tools / by Rainer Leupers
Boston : Kluwer Academic Publishers , c2000
図書 <1001238027>
Synchronous equivalence : formal methods for embedded systems / Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli
Boston : Kluwer Academic Publishers , c2001
図書 <1001238033>
Specification and design methodology for real-time embedded systems / Randall S. Janka
Boston : Kluwer Academic Publishers , c2002
図書 <1001367462>
Design and analysis of distributed embedded systems : IFIP 17th World Computer Congress : TC10 stream on distributed and parllel embedded systems (DIPES 2002), August 25-29, 2002, Montréal, Québec, Canada / edited by Bernd Kleinjohann ... [et al.]
図書 <1001394337>
On-line error detection and fast recover techniques for dependable embedded processors / Matthias Pflanz
Berlin ; New York : Springer , c2002. - (Lecture notes in computer science ; 2270 . Lecture notes in artificial intelligence)
図書 <1001364133>
Embedded computer vision / Branislav Kisačanin, Shuvra S. Bhattacharyya, Sek Chai, editors
: hbk. - London : Springer , c2009. - (Advances in pattern recognition)
図書 <1002001879>
Code generation for embedded processors / edited by Peter Marwedel, Gert Goossens
Boston : Kluwer Academic Publishers , c1995
図書 <1000530416>
Embedded systems : new approaches to their formal description and design : an advanced course, Zürich, Switzerland, March 5-7, 1986 / A. Kündig, R.E. Bührer, J. Dähler, eds
Berlin ; New York : Springer-Verlag , c1987. - (Lecture notes in computer science. ; 284)
図書 <1000587424>
System design : a practical guide with SpecC / Andreas Gerstlauer ... [et al.]
図書 <1001294756>
Retargetable compiler technology for embedded systems : tools and applications / by Rainer Leupers and Peter Marwedel
Boston ; Dordrecht : Kluwer Academic Publishers , c2001
図書 <1001368538>
Pipeline processor farms : structured design for embedded parallel systems / Martin Fleury, Andrew Downton
New York : Wiley , c2001. - (Wiley series on parallel and distributed computing)
図書 <1001291080>
Radiation effects on embedded systems / edited by Raoul Velazco, Pascal Fouillat and Ricardo Reis
: hbk. - Dordrecht : Springer , c2007
図書 <1001918366>
Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES'98, Montreal, Canada, June 19-20, 1998 : proceedings / Frank Mueller, Azer Bestavros (eds.)
Berlin ; Tokyo : Springer , c1998. - (Lecture notes in computer science ; 1474)
図書 <1000997412>
Learning in embedded systems / Leslie Pack Kaelbling
Cambridge, Mass. : MIT Press , 1993
図書 <1000474735>
Electronic chips & systems design languages / edited by Jean Mermet
Boston : Kluwer Academic Publishers , c2001. - (The ChDL series)
図書 <1001311542>
Cryptographic hardware and embedded systems - CHES 2001 : Third International Workshop, Paris, France, May 14-16, 2001 : proceedings / Çetin K. Koç, David Naccache, Christof Paar (eds.)
Berlin : Tokyo : Springer , c2001. - (Lecture notes in computer science ; 2162)
図書 <1001307724>
Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000 Vancouver, Canada, June 18, 2000 : proceedings / Jack Davidson, Sang Lyul Min (eds.)
Berlin ; Tokyo : Springer , c2001. - (Lecture notes in computer science ; 1985)
図書 <1001259141>
Cryptographic hardware and embedded systems - CHES 2000 : second international workshop, Worcester, MA, USA, August 17-18, 2000 : proceedings / Çetin K. Koç, Christof Paar (eds.)
Berlin : New York : Springer , c2000. - (Lecture notes in computer science ; 1965)
図書 <1001229448>