上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: TK7895.E42)
該当件数:10件
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>
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>
Test resource partitioning for system-on-a-chip / Krishnendu Chakrabarty, Vikram Iyengar, Anshuman Chandra
Boston : Kluwer Academic Publishers , c2002. - (Frontiers in electronic testing ; 20)
図書 <1001394343>
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>
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>
Radiation effects on embedded systems / edited by Raoul Velazco, Pascal Fouillat and Ricardo Reis
: hbk. - Dordrecht : Springer , c2007
図書 <1001918366>
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>