-

-
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes
Better Early than Never
-
Pieper, Pascal
Drechsler, Rolf
-
出版社:Springer International Publishing Ag
出版年月:2025年 03月
装丁:PAP
言語:ENG
-
税込価格:
29,569円
海外在庫あり
通常2~5週間で出荷
-

-
Advanced Boolean Techniques
Selected Papers from the 15th International Workshop on Boolean Problems
-
Drechsler, Rolf (EDT)
Huhn, Sebastian (EDT)
-
出版社:Springer International Publishing Ag
出版年月:2024年 05月
装丁:PAP
言語:ENG
-
税込価格:
27,105円
海外在庫あり
通常2~5週間で出荷
-

-
Formal System Verification
State-of the-Art and Future Trends
-
Drechsler, Rolf (EDT)
-
出版社:Springer International Publishing Ag
出版年月:2018年 08月
装丁:PAP
言語:ENG
-
税込価格:
29,569円
海外在庫あり
通常2~5週間で出荷
-

-
Languages, Design Methods, and Tools for Electronic System Design
Selected Contributions from FDL 2015
Lecture Notes in Electrical Engineering
-
Drechsler, Rolf (EDT)
Wille, Robert (EDT)
-
出版社:Springer International Publishing Ag
出版年月:2018年 05月
装丁:PAP
言語:ENG
-
税込価格:
12,318円
海外在庫あり
通常2~5週間で出荷
-

-
Natural Language Processing for Electronic Design Automation
-
Soeken, Mathias (EDT)
Drechsler, Rolf (EDT)
-
出版社:Springer
出版年月:2020年 08月
装丁:HRD
-
税込価格:
12,318円
海外在庫あり
通常2~5週間で出荷
-

-
Computer
Wie funktionieren Smartphone, Tablet & Co.?
Technik im Fokus
-
Drechsler, Rolf
Fink, Andrea
Stoppe, Jannis
-
出版社:Springer, Berlin; Springer Berlin Heidelberg; Springe
出版年月:2017年 02月
装丁:PAP
言語:GER
版次:1. Aufl. 2017. 2017. 100 SW-Abb.
-
税込価格:
4,602円
海外在庫あり
通常2~5週間で出荷
-

-
Automated Analysis of Virtual Prototypes at the Electronic System Level
Design Understanding and Applications
-
Goli, Mehran
Drechsler, Rolf
-
出版社:Springer
出版年月:2020年 05月
装丁:HRD
-
税込価格:
19,710円
海外在庫あり
通常2~5週間で出荷
-

-
Enhanced Virtual Prototyping
Featuring RISC-V Case Studies
-
Herdt, Vladimir
Grosse, Daniel
Drechsler, Rolf
-
出版社:Springer
出版年月:2020年 10月
装丁:HRD
-
税込価格:
29,569円
海外在庫あり
通常2~5週間で出荷
-

-
Information Storage
A Multidisciplinary Perspective
-
Grosse, Cornelia S. (EDT)
Drechsler, Rolf (EDT)
-
出版社:Springer
出版年月:2019年 11月
装丁:HRD
-
税込価格:
24,640円
海外在庫あり
通常2~5週間で出荷
-

-
Exact Design of Digital Microfluidic Biochips
-
Keszocze, Oliver
Wille, Robert
Drechsler, Rolf
-
出版社:Springer Nature Switzerland Ag
出版年月:2019年 01月
装丁:PAP
言語:ENG
-
税込価格:
24,640円
海外在庫あり
通常2~5週間で出荷
-

-
Advanced Logic Synthesis
-
Reis, André Inácio (EDT)
Drechsler, Rolf (EDT)
-
出版社:Springer International Publishing Ag
出版年月:2018年 09月
装丁:PAP
言語:ENG
-
税込価格:
24,640円
海外在庫あり
通常2~5週間で出荷
-

-
Design Automation Techniques for Approximation Circuits
Verification, Synthesis and Test
-
Chandrasekharan, Arun
Große, Daniel
Drechsler, Rolf
-
出版社:Springer Nature Switzerland Ag
出版年月:2019年 01月
装丁:PAP
言語:ENG
-
税込価格:
12,318円
海外在庫あり
通常2~5週間で出荷
-

-
Reversible and Quantum Circuits
Optimization and Complexity Analysis
-
Abdessaied, Nabila
Drechsler, Rolf
-
出版社:Springer International Publishing Ag
出版年月:2018年 05月
装丁:PAP
言語:ENG
-
税込価格:
12,318円
海外在庫あり
通常2~5週間で出荷
-

-
Evolutionary Algorithms for Embedded System Design
Genetic Algorithms and Evolutionary Computation
-
Drechsler, Rolf (EDT)
Drechsler, Nicole (EDT)
-
出版社:Springer Verlag
出版年月:2012年 10月
装丁:PAP
言語:ENG
版次:Reprint
-
税込価格:
24,640円
海外在庫あり
通常2~5週間で出荷
-

-
Formal Verification of Circuits
-
Drechsler, Rolf
-
出版社:Springer
出版年月:2010年 12月
装丁:PAP
言語:ENG
-
税込価格:
36,962円
海外在庫あり
通常2~5週間で出荷
-

-
Evolutionary Algorithms for VLSI CAD
-
Drechsler, Rolf
-
出版社:Springer
出版年月:2010年 12月
装丁:PAP
言語:ENG
-
税込価格:
24,640円
海外在庫あり
通常2~5週間で出荷
-

-
Advanced Formal Verification
-
Drechsler, Rolf
-
出版社:Springer
出版年月:2010年 12月
装丁:PAP
言語:ENG
-
税込価格:
24,640円
海外在庫あり
通常2~5週間で出荷
-

-
Formal Specification Level
Concepts, Methods, and Algorithms
-
Soeken, Mathias
Drechsler, Rolf
-
出版社:Springer, Berlin; Springer International Publishing
出版年月:2016年 08月
装丁:PAP
版次:Softcover reprint of the original 1st ed. 2015. 2016. viii
-
税込価格:
24,640円
海外在庫あり
通常2~5週間で出荷
-

-
Binary Decision Diagrams
Theory and Implementation
-
Drechsler, Rolf
Becker, Bernd
-
出版社:Springer
出版年月:2010年 12月
装丁:PAP
言語:ENG
-
税込価格:
36,962円
海外在庫あり
通常2~5週間で出荷
-

-
Towards One-Pass Synthesis
-
Drechsler, Rolf
Gunther, Wolfgang
-
出版社:Springer
出版年月:2010年 12月
装丁:PAP
言語:ENG
-
税込価格:
24,640円
海外在庫あり
通常2~5週間で出荷