TOP
0
0
進階搜尋

熱搜：

UsborneEnglish Readers Level 1

、

Sad Trombone

、

數學放大鏡

、

漫畫少年學墨菲定律

、

佛法是科學的終極典範

、

Dr.Seuss 蘇斯博士有聲套組

、

老公怎麼還不去死

、

新基本小六法

、

國土計畫法

熱搜： UsborneEnglish Readers Level 1 、 Sad Trombone、 數學放大鏡、 漫畫少年學墨菲定律、 佛法是科學的終極典範、 Dr.Seuss 蘇斯博士有聲套組、 老公怎麼還不去死、 新基本小六法、 國土計畫法

165反詐騙

【簡體曬書節】 單本79折，5本7折，優惠只到5/31，點擊此處看更多！

縮小範圍

商品類型
繁體書 （1）
原文書 （14）
商品狀況
可訂購商品 （14）
無法訂購商品 （1）
庫存狀況
無庫存 （15）
商品定價
$600~$799 （1）
$800以上 （14）
出版日期
2022~2023 （2）
2020~2021 （2）
2018~2019 （1）
2016~2017 （2）
2016年以前 （8）
裝訂方式
平裝 （4）
精裝 （11）
作者
Rolf Drechsler(EDI) （3）
Daniel Grosse/ Rolf Drechsler （1）
Julia Seiter/ Robert Wille/ Rolf Drechsler （1）
Mathias Soeken/ Rolf Drechsler （1）
Nabila Abdessaied/ Rolf Drechsler （1）
Oliver Keszocze/ Robert Wille/ Rolf Drechsler （1）
ROLF DRECHSLER （1）
Robert Wille/ Rolf Drechsler （1）
Rolf Drechsler （1）
Rolf Drechsler (EDT)/ Ulrich K?▋e (EDT) （1）
Rolf Drechsler/ Stephan Eggersglu/ Gorschwin Fey/ Daniel Tille （1）
Rudiger Ebendt/ Gorschwin Fey/ Rolf Drechsler （1）
Stephan Eggersglu_/ Rolf Drechsler （1）
More
出版社/品牌
Springer Verlag （8）
Springer Nature （5）
Springer-Verlag New York Inc （1）
茂昌 （1）

三民網路書店 / 搜尋結果

共15筆商品，1/1頁
Noch Analog Oder Lebst Du Schon?: Mit Noerdman Durch Die Welt Von Heute... Und Morgen
滿額折
1.

Noch Analog Oder Lebst Du Schon?: Mit Noerdman Durch Die Welt Von Heute... Und Morgen

作者：Rolf Drechsler  出版社：Springer Nature  出版日：2021/03/24 裝訂：平裝
定價：700 元， 優惠價：1 700
無庫存，下單後進貨(到貨天數約30-45天)
BINARY DECISION DIAGRAMS
2.

BINARY DECISION DIAGRAMS

作者：ROLF DRECHSLER  出版社：茂昌  出版日：2000/01/01 裝訂：精裝
無法訂購
絕版無法訂購
Quality-Driven SystemC Design
3.

Quality-Driven SystemC Design

作者：Daniel Grosse; Rolf Drechsler  出版社：Springer Verlag  出版日：2010/01/01 裝訂：精裝
A quality-driven design and verification flow for digital systems is developed and presented in Quality-Driven SystemC Design. Two major enhancements characterize the new flow: First, dedicated verifi
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
Reversible and Quantum Circuits ― Optimization and Complexity Analysis
4.

Reversible and Quantum Circuits ― Optimization and Complexity Analysis

作者：Nabila Abdessaied; Rolf Drechsler  出版社：Springer Verlag  出版日：2016/06/14 裝訂：精裝
This book presents a new optimization flow for quantum circuits realization. At the reversible level, optimization algorithms are presented to reduce the quantum cost. Then, new mapping approaches to
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
Recent Findings in Boolean Techniques: Selected Papers from the 14th International Workshop on Boolean Problems
5.

Recent Findings in Boolean Techniques: Selected Papers from the 14th International Workshop on Boolean Problems

作者：Rolf Drechsler(EDI)  出版社：Springer Nature  出版日：2021/04/22 裝訂：精裝
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
Towards a Design Flow for Reversible Logic
6.

Towards a Design Flow for Reversible Logic

作者：Robert Wille; Rolf Drechsler  出版社：Springer Verlag  出版日：2010/09/29 裝訂：精裝
The development of computing machines found great success in the last decades. But the ongoing miniaturization of integrated circuits will reach its limits in the near future. Shrinking transistor siz
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
High Quality Test Pattern Generation and Boolean Satisfiability
7.

High Quality Test Pattern Generation and Boolean Satisfiability

作者：Stephan Eggersglu_; Rolf Drechsler  出版社：Springer Verlag  出版日：2012/01/31 裝訂：精裝
This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on Boolean Satisfiability (SAT). A fast and highly fault
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
Formal Specification Level ― Concepts, Methods, and Algorithms
8.

Formal Specification Level ― Concepts, Methods, and Algorithms

作者：Mathias Soeken; Rolf Drechsler  出版社：Springer Verlag  出版日：2014/12/14 裝訂：精裝
This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
Advanced Boolean Techniques: Selected Papers from the 15th International Workshop on Boolean Problems
9.

Advanced Boolean Techniques: Selected Papers from the 15th International Workshop on Boolean Problems

作者：Rolf Drechsler(EDI)  出版社：Springer Nature  出版日：2023/06/08 裝訂：精裝
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
Recent Findings in Boolean Techniques: Selected Papers from the 14th International Workshop on Boolean Problems
10.

Recent Findings in Boolean Techniques: Selected Papers from the 14th International Workshop on Boolean Problems

作者：Rolf Drechsler(EDI)  出版社：Springer Nature  出版日：2022/04/30 裝訂：平裝
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
Formal Modeling and Verification of Cyber-Physical Systems ─ 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
11.

Formal Modeling and Verification of Cyber-Physical Systems ─ 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015

作者：Rolf Drechsler (EDT); Ulrich K?▋e (EDT)  出版社：Springer-Verlag New York Inc  出版日：2015/06/25 裝訂：平裝
This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to model
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
Advanced BDD Optimization
12.

Advanced BDD Optimization

作者：Rudiger Ebendt; Gorschwin Fey; Rolf Drechsler  出版社：Springer Verlag  出版日：2005/08/01 裝訂：精裝
VLSI CADhas greatly bene?ted from the use of reduced ordered Binary Decision Diagrams (BDDs) and the clausal representation as a problem of Boolean Satis?ability (SAT), e.g. in logic synthesis, ver- c
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
Exact Design of Digital Microfluidic Biochips
13.

Exact Design of Digital Microfluidic Biochips

作者：Oliver Keszocze; Robert Wille; Rolf Drechsler  出版社：Springer Nature  出版日：2018/06/21 裝訂：精裝
This book presents exact, that is minimal, solutions to individual steps in the design process for Digital Microfluidic Biochips (DMFBs), as well as a one-pass approach that combines all these s
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
Automatic Methods for the Refinement of System Models ― From the Specification to the Implementation
90折
14.

Automatic Methods for the Refinement of System Models ― From the Specification to the Implementation

作者：Julia Seiter; Robert Wille; Rolf Drechsler  出版社：Springer Verlag  出版日：2016/07/11 裝訂：平裝
This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable re
定價：3150 元， 優惠價：9 2835
無庫存，下單後進貨(到貨天數約30-45天)
Test Pattern Generation Using Boolean Proof Engines
15.

Test Pattern Generation Using Boolean Proof Engines

作者：Rolf Drechsler; Stephan Eggersglu; Gorschwin Fey; Daniel Tille  出版社：Springer Verlag  出版日：2009/05/01 裝訂：精裝
In Test Pattern Generation using Boolean Proof Engines, we give an introduction to ATPG. The basic concept and classical ATPG algorithms are reviewed. Then, the formulation as a SAT problem is conside
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
  • 共

暢銷榜
客服中心
收藏
會員專區
三民書局
關於我們
門市專區
藝文講座
學習平台
異業合作
圖書採購/編目
人才招募
禮券兌換處
瀏覽器資訊
三民網路書店服務
會員服務條款
資訊安全警語
隱私權政策
新手購書
圖書分類
中國圖書館分類
空中大學購書
好站連結
企業會員專區
加入企業會員
服務條款
會員須知
圖書目錄下載
三民・東大・弘雅三民
小山丘童書(0-6歲)
兒童・青少年(7歲以上)
古籍圖書目錄
古典圖書目錄
畢業禮品