全国書店ネットワーク e-hon洋書販売

全国書店ネットワーク e-hon洋書販売

　
  • 書名
  • 著者
  • 出版社
  • ISBN
こだわり検索
　
  • 書名
  • 著者
  • 出版社
  • ISBN
こだわり検索
　
  • 書名
  • 著者
  • 出版社
  • ISBN

  • Drechsler, R.,国内・海外在庫あり

    による検索結果
  • 1件〜14件（全14件）
書名
著者
出版社
ISBN
出版年月
年 月 〜
年 月
装丁
選択してください
  • 選択してください
  • PAP
  • HRD
  • CMD
  • CD
  • LIB
  • CAS
  • SAL
  • PBD
  • TBK
  • CDR
  • DVD
  • PLA
言語
選択してください
  • 選択してください
  • 英語
  • ドイツ語
  • フランス語
  • スペイン語
在庫状況
書籍表紙

Languages, Design Methods, and Tools for Electronic System Design

Selected Contributions from FDL 2015

Lecture Notes in Electrical Engineering

Drechsler, R. (EDT) Wille, R. (EDT)
出版社：Springer 出版年月：2016年 05月
装丁：HRD
税込価格：

11,787円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Formal Modeling and Verification of Cyber-Physical Systems
Drechsler, R. (EDT) Kuehne, U. (EDT)
出版社：Springer 出版年月：2015年 06月
装丁：PAP
税込価格：

11,787円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Automatic Methods for the Refinement of System Models

From the Specification to the Implementation

SpringerBriefs in Electrical and Computer Engineering

Seiter, J. Wille, R. Drechsler, R.
出版社：Springer 出版年月：2016年 07月
装丁：PAP
税込価格：

11,787円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Reversible and Quantum Circuits

Optimization and Complexity Analysis
Abdessaied, N. Drechsler, R.
出版社：Springer 出版年月：2016年 06月
装丁：HRD
税込価格：

11,787円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Towards a Design Flow for Reversible Logic
Wille, R. Drechsler, R.
出版社：Springer 出版年月：2010年 08月
装丁：HRD 言語：ENG
税込価格：

23,579円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Test Pattern Generation using Boolean Proof Engines
Drechsler, R. Eggersglüß, S.
出版社：Springer 出版年月：2009年 06月
装丁：HRD 言語：ENG
税込価格：

23,579円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Formal Specification Level

Algorithms, Concepts and Methods
Soeken, M. Drechsler, R.
出版社：Springer 出版年月：2014年 11月
装丁：HRD
税込価格：

23,579円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Robustness and Usability in Modern Design Flows
Fey, G. Drechsler, R.
出版社：Springer 出版年月：2007年 10月
装丁：HRD 言語：ENG
税込価格：

23,579円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Debugging at the Electronic System Level
Rogin, F. Drechsler, R.
出版社：Springer 出版年月：2010年 07月
装丁：HRD 言語：ENG
税込価格：

23,579円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Quality-Driven SystemC Design
Große, D. Drechsler, R.
出版社：Springer 出版年月：2010年 01月
装丁：HRD 言語：ENG
税込価格：

23,579円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Enhanced Virtual Prototyping

Featuring RISC-V Case Studies
Drechsler, Rolf Herdt, Vladimir Grosse, Daniel
出版社：Springer, Berlin; Springer International Publishing; 出版年月：2021年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2021. 2021. xxi
税込価格：

20,042円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Advanced Logic Synthesis
Herausgegeben von Reis, Andr&eacute In&aacute cio
出版社：Springer, Berlin; Springer International Publishing 出版年月：2017年 00月
装丁：HRD 版次：1st ed. 2018. 2017. x
税込価格：

23,579円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Verbessertes virtuelles Prototyping

Mit RISC-V-Fallstudien
Herdt, Vladimir Grosse, Daniel Drechsler, Rolf
出版社：Springer, Berlin; Springer International Publishing; 出版年月：2023年 00月
装丁：HRD 版次：1. Aufl. 2022. 2023. xxiv
税込価格：

19,831円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Blutläufer 3

Exodus
Burban, Stefan Illustration:Drechsler-Zakrzewski, Arndt
出版社：Atlantis Stolberg 出版年月：2022年 00月
装丁：PAP 版次：2022. 376 S. 21 cm
税込価格：

3,873円

海外在庫あり 通常２～４週間で出荷