close
1.

電子ブック
ＥＢ
1. Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems
by Paul Lokuciejewski, Peter Marwedel
出版情報: Dordrecht : Springer Science+Business Media B.V., 2011
シリーズ名: Embedded Systems ;
オンライン: http://dx.doi.org/10.1007/978-90-481-9929-7
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Dynamically Reconfigurable Systems : Architectures, Design Methods and Applications
edited by Marco Platzner, Jurgen Teich, Norbert Wehn
出版情報: Dordrecht : Springer Science+Business Media B.V., 2010
オンライン: http://dx.doi.org/10.1007/978-90-481-3485-4
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s : Selected Contributions on Specification, Design, and Verification from FDL 2009
edited by Dominique Borrione
出版情報: Dordrecht : Springer Science+Business Media B.V., 2010
シリーズ名: Lecture Notes in Electrical Engineering ; 63
オンライン: http://dx.doi.org/10.1007/978-90-481-9304-2
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Languages for Embedded Systems and their Applications : Selected Contributions on Specification, Design, and Verification from FDL?E8
edited by Martin Radetzki
出版情報: Dordrecht : Springer Netherlands, 2009
シリーズ名: Lecture Notes in Electrical Engineering ; 36
オンライン: http://dx.doi.org/10.1007/978-1-4020-9714-0
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Digital VLSI Design with Verilog : A Textbook from Silicon Valley Technical Institute
by John Williams
出版情報: Dordrecht : John Michael Williams, 2008
オンライン: http://dx.doi.org/10.1007/978-1-4020-8446-1
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Generating Hardware Assertion Checkers : For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring
by Marc Boule, Zeljko Zilic
出版情報: Dordrecht : Springer Science + Business Media B.V, 2008
オンライン: http://dx.doi.org/10.1007/978-1-4020-8586-4
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Optimized ASIP Synthesis from Architecture Description Language Models
by Oliver Schliebusch, Heinrich Meyr, Rainer Leupers
出版情報: Dordrecht : Springer, 2007
オンライン: http://dx.doi.org/10.1007/978-1-4020-5686-4
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Advanced Memory Optimization Techniques for Low-Power Embedded Processors
by Manish Verma, Peter Marwedel
出版情報: Dordrecht : Springer, 2007
オンライン: http://dx.doi.org/10.1007/978-1-4020-5897-4
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Real-Time Object Uniform Design Methodology with UML
edited by Bui Minh Duc
出版情報: Dordrecht : Springer Science+Business Media B.V., 2007
オンライン: http://dx.doi.org/10.1007/978-1-4020-5977-3
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Advances in Design and Specification Languages for Embedded Systems
edited by Sorin A. Huss
出版情報: Dordrecht : Springer Science+Business Media B.V., 2007
オンライン: http://dx.doi.org/10.1007/978-1-4020-6149-3
所蔵情報: loading…