Concurrency : The Works of Leslie Lamport /

Learn to Program with Assembly : Foundational Learning for New Programmers /
by: Bartlett, Jonathan
Published: (2021)

High Performance Computing : ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019, Revised Selected Papers /
Published: (2019)

The design space of ultra-low energy asymmetric cryptography /
by: Targhetta, Andrew David
Published: (2015)

Android design patterns : interaction design solutions for developers /
by: Nudelman, Greg
Published: (2013)

Parallel Computing Technologies : 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19-23, 2019, Proceedings /
Published: (2019)

Nanoelectronic devices for hardware and software security /
Published: (2022)

Readings in hardware/software co-design /
by: De Micheli, Giovanni
Published: (2002)

Semantics for Concurrency : Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK /
by: Kwiatkowska, Marta Zofia
Published: (1990)

The Temporal Logic of Reactive and Concurrent Systems : Specification /
by: Manna, Zohar
Published: (1992)

Verification of Sequential and Concurrent Programs /
by: Apt, Krzysztof R.
Published: (1991)

Guide to Computer Processor Architecture : A RISC-V Approach, with High-Level Synthesis /
by: Goossens, Bernard
Published: (2023)

Designing concurrent, distributed, and real-time applications with UML /
by: Gomaa, Hassan
Published: (2000)

Specification and Analysis of Concurrent Systems : the COSY Approach /
by: Janicki, Ryszard
Published: (1992)

Verification of sequential and concurrent programs /
by: Apt, Krzysztof R., 1949-
Published: (1991)

Verification of sequential and concurrent programs /
by: Apt, Krzysztof R., 1949-
Published: (1997)

ML with Concurrency : Design, Analysis, Implementation, and Application /
by: Nielson, Flemming
Published: (1997)

Concurrency verification : introduction to compositional and noncompositional methods /
Published: (2001)

HDL programming fundamentals : VHDL and Verilog /
by: Botros, Nazeih, 1945-
Published: (2006)

PCI bus demystified /
by: Abbott, Doug, 1944-
Published: (2004)

Objects for Concurrent Constraint Programming /
by: Henz, Martin
Published: (1998)

Embedded Software Design : A Practical Approach to Architecture, Processes, and Coding Techniques /
by: Beningo, Jacob
Published: (2022)

Proceedings /
Published: (1998)

IEEE concurrency.
Published: (1997)

IEEE concurrency.
Published: (1997)

High Performance Computing Demystified.
by: Loshin, David, 1963-
Published: (1994)

Software defined networks : a comprehensive approach /
by: Goransson, Paul
Published: (2014)

The Verilog PLI handbook : a user's guide and comprehensive reference on the Verilog programming language interface /
by: Sutherland, Stuart, 1953-
Published: (2002)

Hardware description languages : concepts and principles /
by: Ghosh, Sumit, 1958-
Published: (2000)

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

Verilog : frequently asked questions : language, applications and extensions /
by: Chonnad, Shivakumar
Published: (2004)

Flash mobile : developing Android and iOS applications /
by: David, Matthew, 1971-
Published: (2011)

Performance analysis of cooperative networking with multi channels /
by: Devulapalli, Praveen Kumar, et al.
Published: (2025)

Digital System Design with FPGA : Implementation Using Verilog and VHDL /
by: Unsalan, Cem, et al.
Published: (2017)

Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems : IFIP TC 10 WG 10.5 International Conference on Computer Hardware Description Languages and Their Applications, 20-25 April 1997, Toledo, Spain /
Published: (1997)

Finite state machines in hardware : theory and design (with VHDL and SystemVerilog) /
by: Pedroni, Volnei A.
Published: (2013)

Computer busses design and application /
by: Buchanan, William
Published: (2000)