Delwedd Flaen

Côd QR

Hybrid parallel execution model for logic-based specification languages

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Tsai, Jeffrey J.-P
Awdur Corfforaethol:	ebrary, Inc
Awduron Eraill:	Li, Bing, 1960-
Fformat:	Electronig eLyfr
Iaith:	Saesneg
Cyhoeddwyd:	Singapore ; New Jersey : World Scientific, c2001.
Cyfres:	Series on software engineering and knowledge engineering ; v. 10.
Pynciau:	Computer hardware description languages. System design. Electronic books.
Mynediad Ar-lein:	An electronic book accessible through the World Wide Web; click to view
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Eitemau Tebyg

VHDL for logic synthesis
gan: Rushton, Andrew
Cyhoeddwyd: (2011)

Verilog Quickstart a practical guide to simulation and synthesis in Verilog /
gan: Lee, James M., 1962-
Cyhoeddwyd: (2002)

VHDL-2008 just the new stuff /
gan: Ashenden, Peter J.
Cyhoeddwyd: (2008)

Architectures for computer vision : from algorithm to chip with Verilog /
gan: Jeong, Hong
Cyhoeddwyd: (2014)

FSM-based digital design using Verilog HDL
gan: Minns, Peter D.
Cyhoeddwyd: (2008)

Computer principles and design in Verilog HDL /
gan: Li, Yamin
Cyhoeddwyd: (2015)

Digital design an embedded systems approach using VHDL /
gan: Ashenden, Peter J.
Cyhoeddwyd: (2008)

Digital design an embedded systems approach using Verilog /
gan: Ashenden, Peter J.
Cyhoeddwyd: (2008)

Fundamentals of digital logic : with VHDL design /
gan: Brown, Stephen
Cyhoeddwyd: (2009)

FPGA prototyping by Verilog examples Xilinx Spartan -3 version /
gan: Chu, Pong P., 1959-
Cyhoeddwyd: (2008)

FPGA prototyping by VHDL examples Xilinx Spartan-3 version /
gan: Chu, Pong P., 1959-
Cyhoeddwyd: (2008)

Embedded SoPC design with NIOS II processor and Verilog examples
gan: Chu, Pong P., 1959-
Cyhoeddwyd: (2012)

The designer's guide to VHDL
gan: Ashenden, Peter J.
Cyhoeddwyd: (2008)

Introduction to digital systems modeling, synthesis, and simulation using VHDL /
gan: Ferdjallah, Mohammed
Cyhoeddwyd: (2011)

Embedded SOPC design with NIOS II processor and VHDL examples
gan: Chu, Pong P., 1959-
Cyhoeddwyd: (2011)

Model engineering in mixed-signal circuit design a guide to generating accurate behavioral models in VHDL-AMS /
gan: Huss, Sorin A. (Sorin Alexander)
Cyhoeddwyd: (2001)

Scheduling of large-scale virtualized infrastructures : toward cooperative management /
gan: Quesnel, Flavien
Cyhoeddwyd: (2014)

Design rules
gan: Baldwin, Carliss Y. (Carliss Young)
Cyhoeddwyd: (2000)

Description logic rules /
gan: Krötzsch, Markus
Cyhoeddwyd: (2010)

The soul of a new machine /
gan: Kidder, Tracy
Cyhoeddwyd: (1981)

Proceedings of the 11th Joint International Computer Conference JICC 2005, Chongqing, China, 10-12 November 2005 /
Cyhoeddwyd: (2005)

Emerging artificial intelligence applications in computer engineering real word AI systems with applications in eHealth, HCI, information retrieval and pervasive technologies /
Cyhoeddwyd: (2007)

CompTIA Network+ lab manual
gan: Skandier, Toby
Cyhoeddwyd: (2012)

The computer from Pascal to von Neumann
gan: Goldstine, Herman H. (Herman Heine), 1913-2004
Cyhoeddwyd: (1993)

Wearable sensors : fundamentals, implementation and applications /
Cyhoeddwyd: (2014)

Semantic matchmaking with nonmonotonic description logics /
gan: Grimm, Stephen
Cyhoeddwyd: (2009)

The description logic handbook theory, implementation, and applications /
Cyhoeddwyd: (2003)

North of South : an African journey /
gan: Naipaul, Shiva
Cyhoeddwyd: (1980)

RDA : resource description & access /
Cyhoeddwyd: (2013)

Computer organization and design : the hardware/software interface /
gan: Patterson, David A.
Cyhoeddwyd: (1998)

Computer organization and design : the hardware/software interface /
gan: Patterson, David A.
Cyhoeddwyd: (2007)

Computer organization and design : the hardware/software interface /
gan: Patterson, David A.
Cyhoeddwyd: (2007)

International Standard Bibliographic Description (ISBD)
Cyhoeddwyd: (2007)

ISBD International Standard Bibliographic Description /
Cyhoeddwyd: (2011)

Descriptive geometry : metric /
Cyhoeddwyd: (1987)

Description in literature and other media
Cyhoeddwyd: (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 /
Cyhoeddwyd: (2008)

DICT101: Introduction to Computer Hardware and Software
gan: Daystar University
Cyhoeddwyd: (2020)

Life world library Italy /
gan: Kubly, Herbert
Cyhoeddwyd: (1961)

Cut stone and crossroads : a journey in the two worlds of peru /
gan: Wright, Ronald
Cyhoeddwyd: (1984)