close
1.

電子ブック
ＥＢ
1. Simulation and Verification of Electronic and Biological Systems
edited by Peng Li, Luís Miguel Silveira, Peter Feldmann
出版情報: Dordrecht : Springer Science+Business Media B.V., 2011
オンライン: http://dx.doi.org/10.1007/978-94-007-0149-6
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. POWER/HVMOS Devices Compact Modeling
edited by Wladyslaw Grabinski, Thomas Gneiting
出版情報: Dordrecht : Springer Science+Business Media B.V., 2010
オンライン: http://dx.doi.org/10.1007/978-90-481-3046-7
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Circuit Simulation with SPICE OPUS : Theory and Practice
by Tadej Tuma, Arpad Buermen
出版情報: Boston : Birkhauser Boston, 2009
シリーズ名: Modeling and Simulation in Science, Engineering and Technology ;
オンライン: http://dx.doi.org/10.1007/978-0-8176-4867-1
所蔵情報: 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. Quantum Circuit Simulation
by George F. Viamontes, Igor L. Markov, John P. Hayes
出版情報: Dordrecht : Springer Science+Business Media B.V., 2009
オンライン: http://dx.doi.org/10.1007/978-90-481-3065-8
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. New Methods of Concurrent Checking
by Michael Goessel, Vitaly Ocheretny, Egor Sogomonyan, Daniel Marienfeld
出版情報: Dordrecht : Springer Science+Business Media B.V., 2008
シリーズ名: Frontiers In Electronic Testing ; 42
オンライン: http://dx.doi.org/10.1007/978-1-4020-8420-1
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Global Specification and Validation of Embedded Systems : Integrating Heterogeneous Components
edited by Gabriela Nicolescu, Ahmed Jerraya
出版情報: Dordrecht : Springer Science+Business Media B.V., 2007
オンライン: http://dx.doi.org/10.1007/978-1-4020-6153-0
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems : Proceedings of the GM R&D Workshop, Bangalore, India, January 2007
edited by S. Ramesh, Prahladavaradan Sampath
出版情報: Dordrecht : Springer, 2007
オンライン: http://dx.doi.org/10.1007/978-1-4020-6254-4
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms
by Tim Kogel, Rainer Leupers, Heinrich Meyr
出版情報: Dordrecht : Springer, 2006
オンライン: http://dx.doi.org/10.1007/1-4020-4826-2
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Platform Based Design at the Electronic System Level : Industry Perspectives and Experiences
by Mark Burton, Adam Morawiec
出版情報: Dordrecht : Springer, 2006
オンライン: http://dx.doi.org/10.1007/1-4020-5138-7
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. Advances in Design and Specification Languages for SoCs : Selected Contributions from FDL'04
edited by Pierre Boulet
出版情報: Boston, MA : Springer, 2005
オンライン: http://dx.doi.org/10.1007/b136935
所蔵情報: loading…