Mastering VB.NET: A Comprehensive Guide to Visual Basic .NET Programming By Kameron Hussain, Frahaan Hussain Cover Image
Not currently in store. May be available on Bookshop.org.
Find us on Bookshop.org to order!
(This book cannot be returned.)
Algebraic Approaches to Program Semantics (Monographs in Computer Science) By Ernest G. Manes, Michael A. Arbib Cover Image
Not currently in store. May be available on Bookshop.org.
Find us on Bookshop.org to order!
Johan Van Benthem on Logic and Information Dynamics (Outstanding Contributions to Logic #5) By Alexandru Baltag (Editor), Sonja Smets (Editor) Cover Image
By Alexandru Baltag (Editor), Sonja Smets (Editor)
Not currently in store. May be available on Bookshop.org.
Find us on Bookshop.org to order!
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics By André Platzer Cover Image
Not currently in store. May be available on Bookshop.org.
Find us on Bookshop.org to order!
(This book cannot be returned.)
High Performance Integer Arithmetic Circuit Design on FPGA: Architecture, Implementation and Design Automation By Ayan Palchaudhuri, Rajat Subhra Chakraborty Cover Image
Not currently in store. May be available on Bookshop.org.
Find us on Bookshop.org to order!
(This book cannot be returned.)
ASIC Design and Synthesis: Rtl Design Using Verilog By Vaibbhav Taraate Cover Image
Not currently in store. May be available on Bookshop.org.
Find us on Bookshop.org to order!
(This book cannot be returned.)
High-Performance Computing Applications in Numerical Simulation and Edge Computing: ACM ICS 2018 International Workshops, Hpcms and Hidec, Beijing, Ch (Communications in Computer and Information Science #913) By Changjun Hu (Editor), Wen Yang (Editor), Congfeng Jiang (Editor) Cover Image
By Changjun Hu (Editor), Wen Yang (Editor), Congfeng Jiang (Editor)
Not currently in store. May be available on Bookshop.org.
Find us on Bookshop.org to order!
Logic Synthesis and Soc Prototyping: Rtl Design Using VHDL By Vaibbhav Taraate Cover Image
Not currently in store. May be available on Bookshop.org.
Find us on Bookshop.org to order!
Adiabatic Logic: Future Trend and System Level Perspective By Philip Teichmann Cover Image
Not currently in store. May be available on Bookshop.org.
Find us on Bookshop.org to order!
(This book cannot be returned.)
Interactive Theorem Proving: First International Conference, Itp 2010 Edinburgh, Uk, July 11-14, 2010, Proceedings By Matt Kaufmann (Editor), Lawrence C. Paulson (Editor) Cover Image
By Matt Kaufmann (Editor), Lawrence C. Paulson (Editor)
Not currently in store. May be available on Bookshop.org.
Find us on Bookshop.org to order!
Computer Aided Verification: 22nd International Conference, Cav 2010, Edinburgh, Uk, July 15-19, 2010, Proceedings By Tayssir Touili (Editor), Byron Cook (Editor), Paul Jackson (Editor) Cover Image
By Tayssir Touili (Editor), Byron Cook (Editor), Paul Jackson (Editor)
Not currently in store. May be available on Bookshop.org.
Find us on Bookshop.org to order!
Unifying Theories of Programming By Andrew Butterfield (Editor) Cover Image
By Andrew Butterfield (Editor)
Not currently in store. May be available on Bookshop.org.
Find us on Bookshop.org to order!

Pages