Hybrid parallel execution model for logic-based specification languages
שמור ב:
מחבר ראשי: | Tsai, Jeffrey J.-P |
---|---|
מחבר תאגידי: | ebrary, Inc |
מחברים אחרים: | Li, Bing, 1960- |
פורמט: | אלקטרוני ספר אלקטרוני |
שפה: | אנגלית |
יצא לאור: |
Singapore ; New Jersey :
World Scientific,
c2001.
|
סדרה: | Series on software engineering and knowledge engineering ;
v. 10. |
נושאים: | |
גישה מקוונת: | An electronic book accessible through the World Wide Web; click to view |
תגים: |
הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
|
פריטים דומים
VHDL for logic synthesis
מאת: Rushton, Andrew
יצא לאור: (2011)
מאת: Rushton, Andrew
יצא לאור: (2011)
Verilog Quickstart a practical guide to simulation and synthesis in Verilog /
מאת: Lee, James M., 1962-
יצא לאור: (2002)
מאת: Lee, James M., 1962-
יצא לאור: (2002)
VHDL-2008 just the new stuff /
מאת: Ashenden, Peter J.
יצא לאור: (2008)
מאת: Ashenden, Peter J.
יצא לאור: (2008)
Architectures for computer vision : from algorithm to chip with Verilog /
מאת: Jeong, Hong
יצא לאור: (2014)
מאת: Jeong, Hong
יצא לאור: (2014)
FSM-based digital design using Verilog HDL
מאת: Minns, Peter D.
יצא לאור: (2008)
מאת: Minns, Peter D.
יצא לאור: (2008)
Computer principles and design in Verilog HDL /
מאת: Li, Yamin
יצא לאור: (2015)
מאת: Li, Yamin
יצא לאור: (2015)
Digital design an embedded systems approach using VHDL /
מאת: Ashenden, Peter J.
יצא לאור: (2008)
מאת: Ashenden, Peter J.
יצא לאור: (2008)
Digital design an embedded systems approach using Verilog /
מאת: Ashenden, Peter J.
יצא לאור: (2008)
מאת: Ashenden, Peter J.
יצא לאור: (2008)
Fundamentals of digital logic : with VHDL design /
מאת: Brown, Stephen
יצא לאור: (2009)
מאת: Brown, Stephen
יצא לאור: (2009)
FPGA prototyping by VHDL examples Xilinx Spartan-3 version /
מאת: Chu, Pong P., 1959-
יצא לאור: (2008)
מאת: Chu, Pong P., 1959-
יצא לאור: (2008)
FPGA prototyping by Verilog examples Xilinx Spartan -3 version /
מאת: Chu, Pong P., 1959-
יצא לאור: (2008)
מאת: Chu, Pong P., 1959-
יצא לאור: (2008)
Embedded SoPC design with NIOS II processor and Verilog examples
מאת: Chu, Pong P., 1959-
יצא לאור: (2012)
מאת: Chu, Pong P., 1959-
יצא לאור: (2012)
The designer's guide to VHDL
מאת: Ashenden, Peter J.
יצא לאור: (2008)
מאת: Ashenden, Peter J.
יצא לאור: (2008)
Introduction to digital systems modeling, synthesis, and simulation using VHDL /
מאת: Ferdjallah, Mohammed
יצא לאור: (2011)
מאת: Ferdjallah, Mohammed
יצא לאור: (2011)
Embedded SOPC design with NIOS II processor and VHDL examples
מאת: Chu, Pong P., 1959-
יצא לאור: (2011)
מאת: Chu, Pong P., 1959-
יצא לאור: (2011)
Model engineering in mixed-signal circuit design a guide to generating accurate behavioral models in VHDL-AMS /
מאת: Huss, Sorin A. (Sorin Alexander)
יצא לאור: (2001)
מאת: Huss, Sorin A. (Sorin Alexander)
יצא לאור: (2001)
Scheduling of large-scale virtualized infrastructures : toward cooperative management /
מאת: Quesnel, Flavien
יצא לאור: (2014)
מאת: Quesnel, Flavien
יצא לאור: (2014)
Design rules
מאת: Baldwin, Carliss Y. (Carliss Young)
יצא לאור: (2000)
מאת: Baldwin, Carliss Y. (Carliss Young)
יצא לאור: (2000)
Description logic rules /
מאת: Krötzsch, Markus
יצא לאור: (2010)
מאת: Krötzsch, Markus
יצא לאור: (2010)
The soul of a new machine /
מאת: Kidder, Tracy
יצא לאור: (1981)
מאת: Kidder, Tracy
יצא לאור: (1981)
Proceedings of the 11th Joint International Computer Conference JICC 2005, Chongqing, China, 10-12 November 2005 /
יצא לאור: (2005)
יצא לאור: (2005)
Emerging artificial intelligence applications in computer engineering real word AI systems with applications in eHealth, HCI, information retrieval and pervasive technologies /
יצא לאור: (2007)
יצא לאור: (2007)
CompTIA Network+ lab manual
מאת: Skandier, Toby
יצא לאור: (2012)
מאת: Skandier, Toby
יצא לאור: (2012)
The computer from Pascal to von Neumann
מאת: Goldstine, Herman H. (Herman Heine), 1913-2004
יצא לאור: (1993)
מאת: Goldstine, Herman H. (Herman Heine), 1913-2004
יצא לאור: (1993)
Wearable sensors : fundamentals, implementation and applications /
יצא לאור: (2014)
יצא לאור: (2014)
Semantic matchmaking with nonmonotonic description logics /
מאת: Grimm, Stephen
יצא לאור: (2009)
מאת: Grimm, Stephen
יצא לאור: (2009)
The description logic handbook theory, implementation, and applications /
יצא לאור: (2003)
יצא לאור: (2003)
North of South : an African journey /
מאת: Naipaul, Shiva
יצא לאור: (1980)
מאת: Naipaul, Shiva
יצא לאור: (1980)
RDA : resource description & access /
יצא לאור: (2013)
יצא לאור: (2013)
Computer organization and design : the hardware/software interface /
מאת: Patterson, David A.
יצא לאור: (1998)
מאת: Patterson, David A.
יצא לאור: (1998)
Computer organization and design : the hardware/software interface /
מאת: Patterson, David A.
יצא לאור: (2007)
מאת: Patterson, David A.
יצא לאור: (2007)
Computer organization and design : the hardware/software interface /
מאת: Patterson, David A.
יצא לאור: (2007)
מאת: Patterson, David A.
יצא לאור: (2007)
ISBD International Standard Bibliographic Description /
יצא לאור: (2011)
יצא לאור: (2011)
International Standard Bibliographic Description (ISBD)
יצא לאור: (2007)
יצא לאור: (2007)
Descriptive geometry : metric /
יצא לאור: (1987)
יצא לאור: (1987)
Description in literature and other media
יצא לאור: (2007)
יצא לאור: (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 /
יצא לאור: (2008)
יצא לאור: (2008)
DICT101: Introduction to Computer Hardware and Software
מאת: Daystar University
יצא לאור: (2020)
מאת: Daystar University
יצא לאור: (2020)
Cut stone and crossroads : a journey in the two worlds of peru /
מאת: Wright, Ronald
יצא לאור: (1984)
מאת: Wright, Ronald
יצא לאור: (1984)
Guide to Greece : Central Greece.
יצא לאור: (1971)
יצא לאור: (1971)
פריטים דומים
-
VHDL for logic synthesis
מאת: Rushton, Andrew
יצא לאור: (2011) -
Verilog Quickstart a practical guide to simulation and synthesis in Verilog /
מאת: Lee, James M., 1962-
יצא לאור: (2002) -
VHDL-2008 just the new stuff /
מאת: Ashenden, Peter J.
יצא לאור: (2008) -
Architectures for computer vision : from algorithm to chip with Verilog /
מאת: Jeong, Hong
יצא לאור: (2014) -
FSM-based digital design using Verilog HDL
מאת: Minns, Peter D.
יצא לאור: (2008)