If asked for User/Password, same as MIX
Databases
IEEE/IEE Electronic Library (IEL) Online
Sample Searches
Number-Systems (see Index Terms)
Sample Searches
Engineering Village (EiCompendex & Inspec)
Sample Searches N/A but don’t miss it !
Applied Science and Technology Source
Sample Searches
DE "Logic circuits -- Design & construction"
Springer eBooks (uncheck “Include Preview-Only content”)
Sample Searches
Subdiscipline- Software Engineering
Sample Searches
Books
Paper TextBook Fundamentals of digital logic with Verilog design 2014 by Brown, et al
Advanced logic synthesis 2018 by Reis
Logical foundations of cyber-physical systems 2018 by Platzer
Reliable and energy efficient streaming multiprocessor systems 2018 by Das, et al
Fundamentals of computer architecture and design 2017 by Bindal
Digital logic for computing 2017 by Seiffertt
Logic Pro X 10.3 2017 by Nahmani
High-fidelity quantum logic in Ca+ 2017 by Ballance
Introduction to logic circuits & logic design with Verilog 2017 by LaMeres
Fuzzy logic based power-efficient real-time multi-core system 2017 by Ahmed, et al
Fuzzy Logic in Intelligent System Design : Theory and Applications 2017 by Melin, et al
Applied logic for computer scientists : computational deduction and formal proofs 2017 by Ayala-Rincón, et al
Compact representations for the design of quantum logic 2017 by Niemann, et al
Datalog and logic databases 2016 by Greco, et al
New data structures and algorithms for logic synthesis and verification 2016 by Amaru
Digital logic design using Verilog : coding and RTL synthesis 2016 by Taraate
Paper Book Logic and algebraic structures in quantum computing 2016 by Chubb
Reversible logic synthesis methodologies with application to quantum computing 2016 by Taha
Programmable logic controllers 2015 by Bolton
A practical introduction to fuzzy logic using LISP 2015 by Méndez
Using Logic Pro X's updated score editor 2015 by Asher
Logic, Computation, Hierarchies by 2014 Bratka
Fundamentals of digital logic and microcontrollers 2014 by Rafiquzzaman
Digital design and computer architecture 2013 by Harris
Design, analysis and test of logic circuits under uncertainty 2013 by Krishnaswamy, et al
Computer arithmetic and validity 2013 by Kulisch
Logical foundations of mathematics and computational complexity : a gentle introduction 2013 by Pudlák
Sets, logic and maths for computing 2012 by Makinson
Disruptive logic architectures and technologies : from device to system level 2012 by Gaillardon, et al
Logic circuit design : selected methods 2012 by Vingron
Logic for computer science and artificial intelligence 2011 by Caferra
A system architecture approach to the brain : from neurons to consciousness 2009 by Coward
Paper Book Fundamentals of logic design 2004 by Roth
su:Logic circuits Design and construction Data processing
su:Logic circuits Computer aided design
Various Websites