Hybrid parallel execution model for logic-based specification languages
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Tác giả của công ty: | |
| Tác giả khác: | |
| Định dạng: | Điện tử eBook |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
Singapore ; New Jersey :
World Scientific,
c2001.
|
| Loạt: | Series on software engineering and knowledge engineering ;
v. 10. |
| Những chủ đề: | |
| Truy cập trực tuyến: | An electronic book accessible through the World Wide Web; click to view |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Những quyển sách tương tự
VHDL for logic synthesis
Bằng: Rushton, Andrew
Được phát hành: (2011)
Bằng: Rushton, Andrew
Được phát hành: (2011)
Verilog Quickstart a practical guide to simulation and synthesis in Verilog /
Bằng: Lee, James M., 1962-
Được phát hành: (2002)
Bằng: Lee, James M., 1962-
Được phát hành: (2002)
VHDL-2008 just the new stuff /
Bằng: Ashenden, Peter J.
Được phát hành: (2008)
Bằng: Ashenden, Peter J.
Được phát hành: (2008)
Architectures for computer vision : from algorithm to chip with Verilog /
Bằng: Jeong, Hong
Được phát hành: (2014)
Bằng: Jeong, Hong
Được phát hành: (2014)
FSM-based digital design using Verilog HDL
Bằng: Minns, Peter D.
Được phát hành: (2008)
Bằng: Minns, Peter D.
Được phát hành: (2008)
Computer principles and design in Verilog HDL /
Bằng: Li, Yamin
Được phát hành: (2015)
Bằng: Li, Yamin
Được phát hành: (2015)
Digital design an embedded systems approach using VHDL /
Bằng: Ashenden, Peter J.
Được phát hành: (2008)
Bằng: Ashenden, Peter J.
Được phát hành: (2008)
Digital design an embedded systems approach using Verilog /
Bằng: Ashenden, Peter J.
Được phát hành: (2008)
Bằng: Ashenden, Peter J.
Được phát hành: (2008)
Fundamentals of digital logic : with VHDL design /
Bằng: Brown, Stephen
Được phát hành: (2009)
Bằng: Brown, Stephen
Được phát hành: (2009)
FPGA prototyping by VHDL examples Xilinx Spartan-3 version /
Bằng: Chu, Pong P., 1959-
Được phát hành: (2008)
Bằng: Chu, Pong P., 1959-
Được phát hành: (2008)
FPGA prototyping by Verilog examples Xilinx Spartan -3 version /
Bằng: Chu, Pong P., 1959-
Được phát hành: (2008)
Bằng: Chu, Pong P., 1959-
Được phát hành: (2008)
Embedded SoPC design with NIOS II processor and Verilog examples
Bằng: Chu, Pong P., 1959-
Được phát hành: (2012)
Bằng: Chu, Pong P., 1959-
Được phát hành: (2012)
The designer's guide to VHDL
Bằng: Ashenden, Peter J.
Được phát hành: (2008)
Bằng: Ashenden, Peter J.
Được phát hành: (2008)
Introduction to digital systems modeling, synthesis, and simulation using VHDL /
Bằng: Ferdjallah, Mohammed
Được phát hành: (2011)
Bằng: Ferdjallah, Mohammed
Được phát hành: (2011)
Embedded SOPC design with NIOS II processor and VHDL examples
Bằng: Chu, Pong P., 1959-
Được phát hành: (2011)
Bằng: Chu, Pong P., 1959-
Được phát hành: (2011)
Model engineering in mixed-signal circuit design a guide to generating accurate behavioral models in VHDL-AMS /
Bằng: Huss, Sorin A. (Sorin Alexander)
Được phát hành: (2001)
Bằng: Huss, Sorin A. (Sorin Alexander)
Được phát hành: (2001)
Scheduling of large-scale virtualized infrastructures : toward cooperative management /
Bằng: Quesnel, Flavien
Được phát hành: (2014)
Bằng: Quesnel, Flavien
Được phát hành: (2014)
Design rules
Bằng: Baldwin, Carliss Y. (Carliss Young)
Được phát hành: (2000)
Bằng: Baldwin, Carliss Y. (Carliss Young)
Được phát hành: (2000)
Description logic rules /
Bằng: Krötzsch, Markus
Được phát hành: (2010)
Bằng: Krötzsch, Markus
Được phát hành: (2010)
The soul of a new machine /
Bằng: Kidder, Tracy
Được phát hành: (1981)
Bằng: Kidder, Tracy
Được phát hành: (1981)
CompTIA Network+ lab manual
Bằng: Skandier, Toby
Được phát hành: (2012)
Bằng: Skandier, Toby
Được phát hành: (2012)
Emerging artificial intelligence applications in computer engineering real word AI systems with applications in eHealth, HCI, information retrieval and pervasive technologies /
Được phát hành: (2007)
Được phát hành: (2007)
Proceedings of the 11th Joint International Computer Conference JICC 2005, Chongqing, China, 10-12 November 2005 /
Được phát hành: (2005)
Được phát hành: (2005)
The computer from Pascal to von Neumann
Bằng: Goldstine, Herman H. (Herman Heine), 1913-2004
Được phát hành: (1993)
Bằng: Goldstine, Herman H. (Herman Heine), 1913-2004
Được phát hành: (1993)
Wearable sensors : fundamentals, implementation and applications /
Được phát hành: (2014)
Được phát hành: (2014)
Semantic matchmaking with nonmonotonic description logics /
Bằng: Grimm, Stephen
Được phát hành: (2009)
Bằng: Grimm, Stephen
Được phát hành: (2009)
The description logic handbook theory, implementation, and applications /
Được phát hành: (2003)
Được phát hành: (2003)
North of South : an African journey /
Bằng: Naipaul, Shiva
Được phát hành: (1980)
Bằng: Naipaul, Shiva
Được phát hành: (1980)
RDA : resource description & access /
Được phát hành: (2013)
Được phát hành: (2013)
Computer organization and design : the hardware/software interface /
Bằng: Patterson, David A.
Được phát hành: (1998)
Bằng: Patterson, David A.
Được phát hành: (1998)
Computer organization and design : the hardware/software interface /
Bằng: Patterson, David A.
Được phát hành: (2007)
Bằng: Patterson, David A.
Được phát hành: (2007)
Computer organization and design : the hardware/software interface /
Bằng: Patterson, David A.
Được phát hành: (2007)
Bằng: Patterson, David A.
Được phát hành: (2007)
International Standard Bibliographic Description (ISBD)
Được phát hành: (2007)
Được phát hành: (2007)
ISBD International Standard Bibliographic Description /
Được phát hành: (2011)
Được phát hành: (2011)
Descriptive geometry : metric /
Được phát hành: (1987)
Được phát hành: (1987)
Description in literature and other media
Được phát hành: (2007)
Được phát hành: (2007)
IFLA cataloguing principles steps towards an international cataloguing code, 5 : report from the 5th IFLA Meeting of Experts on an International Cataloguing Code, Pretoria, South Africa, 2007 = IFLA principes de catalogage : pas vers un code international de catalogage, 5 = IFLA princípios de catalogação : passos para um código internacional de catalogação, 5 /
Được phát hành: (2008)
Được phát hành: (2008)
DICT101: Introduction to Computer Hardware and Software
Bằng: Daystar University
Được phát hành: (2020)
Bằng: Daystar University
Được phát hành: (2020)
Guide to Greece : Central Greece.
Được phát hành: (1971)
Được phát hành: (1971)
The road to Bethlehem : two thousand... /
Bằng: Harpur, Tom
Được phát hành: (1977)
Bằng: Harpur, Tom
Được phát hành: (1977)