pandaLogic design
Featured — award winners and classics first, when available. Use “Show different books” for a new selection.
🔄 Show different books
Computer Aided Verification
High-speed digital design
Specification of software systems
Computational Logic in Multi-Agent Systems
Adapting proofs-as-programs
The correctness-by-construction approach to programming
Analog VLSI integration of massive parallel signal processing systems
Logic and Computer Design Fundamentals
Programmable Logic Controller (PLC) Tutorial
Programmable controllers & designing sequential logic
Logic design principles
Computer logic design
Digital logic design
Introduction to switching theory and logical design
Social Semantics
An Engineering Approach to Digital Design
Analog design for CMOS VLSI systems
Practical Digital Design and Testing
Introduction to Reconfigurable Computing
Computer Science – Theory and Applications
Digital System Design
Introduction to digital logic design
Logic synthesis for asynchronous controllers and interfaces
Software Composition
Formal methods in programming and their applications
Trends in Functional Programming
Decision Procedures
Fundamentals of digital logic with VHDL design
Theoretical Introduction to Programming
Automated Reasoning
Browse free books to read online
Book Explorer lets readers browse the free, readable part of the Open Library catalogue by familiar genres, or by the exact subject tags Open Library assigns each book. Every book has its own page with a reader where one is available, plus links to Open Library, your library, Libby and Amazon.
Fiction
- All Fiction
- Literary Fiction
- Children's Fiction
- Mystery & Detective
- Romance
- Fantasy
- Thriller & Suspense
- Historical Fiction
- Science Fiction
- Graphic Novels & Comics
- Humor
- Short Stories
- Horror
- Young Adult Fiction
- Western
Non-fiction
- All Non-fiction
- History
- Biography & Memoir
- Religion & Spirituality
- Politics & Social Sciences
- Travel
- Philosophy
- Business & Economics
- Science
- Art & Photography
- Cooking
- Self-Help
- Music
- Health & Fitness
- Sports & Recreation
- Humor
- True Crime