Robustness and Usability in Modern Design Flows

Côd QR

Robustness and Usability in Modern Design Flows

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awduron:	Fey, Görschwin, Drechsler, Rolf
Fformat:	Llyfr
Iaith:	English
Cyhoeddwyd:	Springer Netherlands 2020
Pynciau:	Engineering Circuits and Systems Mathematical Logic and Formal Languages Theory of Computation
Mynediad Ar-lein:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/85191
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Eitemau Tebyg

Reconfigurable Computing
gan: Gokhale, Maya B., et al.
Cyhoeddwyd: (2020)

Advanced BDD Optimization
gan: Ebendt, Rudiger, et al.
Cyhoeddwyd: (2020)

Designing Reliable Distributed Systems
gan: Ölveczky, Peter Csaba
Cyhoeddwyd: (2020)

Teaching Formal Methods
Cyhoeddwyd: (2020)

Frontiers of Combining Systems
gan: Konev, Boris, et al.
Cyhoeddwyd: (2020)

Finite Model Theory and Its Applications
gan: Grädel, Erich, et al.
Cyhoeddwyd: (2020)

Frontiers of Combining Systems
gan: Gramlich, Bernhard
Cyhoeddwyd: (2020)

Frontiers of Combining Systems
Cyhoeddwyd: (2020)

Pillars of Computer Science
gan: Avron, Arnon, et al.
Cyhoeddwyd: (2020)

Fuzzy Systems and Knowledge Discovery
gan: Wang, Lipo, et al.
Cyhoeddwyd: (2020)

Computer Science Logic
Cyhoeddwyd: (2020)

Theorem Proving in Higher Order Logics
gan: Schneider, Klaus, et al.
Cyhoeddwyd: (2020)

Languages, Design Methods, and Tools for Electronic System Design:Selected Contributions from FDL 2013
gan: Louërat, Marie-Minerve, et al.
Cyhoeddwyd: (2015)

Elements of the theory of computation /
gan: Lewis, Harry R.
Cyhoeddwyd: (1998)

Modelling Distributed Systems
gan: Fokkink, Wan
Cyhoeddwyd: (2020)

Deontic Logic in Computer Science
gan: Meyden, Ron van der, et al.
Cyhoeddwyd: (2020)

Algebraic and Proof-theoretic Aspects of Non-classical Logics
gan: Aguzzoli, S., et al.
Cyhoeddwyd: (2020)

Conditionals, Information, and Inference
Cyhoeddwyd: (2020)

Logic, Language, and Computation
Cyhoeddwyd: (2020)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Cyhoeddwyd: (2020)

Test Pattern Generation using Boolean Proof Engines
gan: Drechsler, Rolf, et al.
Cyhoeddwyd: (2020)

Concise Guide to Formal Methods
gan: O'Regan, Gerard
Cyhoeddwyd: (2020)

Formal Concept Analysis
gan: Ganter, Bernhard, et al.
Cyhoeddwyd: (2020)

Verified Software: Theories, Tools, Experiments
Cyhoeddwyd: (2020)

Mechanizing Mathematical Reasoning
Cyhoeddwyd: (2020)

Logics of Specification Languages
gan: Bjørner, Dines, et al.
Cyhoeddwyd: (2020)

An Introduction to the Technique of Formative Processes in Set Theory
gan: Cantone, Domenico, et al.
Cyhoeddwyd: (2020)

Logical Foundations of Cyber-Physical Systems
gan: Platzer, André
Cyhoeddwyd: (2020)

Mathematical Methods for Robust and Nonlinear Control
gan: Turner, Matthew C., et al.
Cyhoeddwyd: (2020)

Principles and Practice of Constraint Programming
gan: Hooker, John
Cyhoeddwyd: (2020)

Principles and Practice of Constraint Programming
gan: Beck, J. Christopher
Cyhoeddwyd: (2020)

Logical Foundations of Computer Science
gan: Artemov, Sergei, et al.
Cyhoeddwyd: (2020)

Advanced Boolean Techniques
gan: Drechsler, Rolf, et al.
Cyhoeddwyd: (2020)

Graph Structures for Knowledge Representation and Reasoning
gan: Croitoru, Madalina, et al.
Cyhoeddwyd: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
Cyhoeddwyd: (2020)

Correct Reasoning
gan: Erdem, Esra, et al.
Cyhoeddwyd: (2020)

Discrete, Continuous, and Hybrid Petri Nets
gan: David, René, et al.
Cyhoeddwyd: (2020)

Case-Based Reasoning Research and Development
gan: Munoz-Avila, Hector, et al.
Cyhoeddwyd: (2020)

Chinese Lexical Semantics
gan: Wu, Yunfang, et al.
Cyhoeddwyd: (2020)

Modern VLSI design :
gan: Wolf, Wayne Hendrix
Cyhoeddwyd: (1994)