Resources

Smart Charging and Anti-Idling Systems

Author : Huang 

Morgan & Claypool

Access online

Datalog and Logic Databases

Author : Greco 

Morgan & Claypool

Access online

Decidability of Parameterized Verification

Author : Bloem 

Morgan & Claypool

Access online

Designed Technologies for Healthy Aging 

Author : Rebola 

Morgan & Claypool

Access online

Strategic Voting

Author : Meir 

Morgan & Claypool

Access online

Dictionary Learning in Visual Computing

Author : Zhang 

Morgan & Claypool

Access online

Die-stacking Architecture

Author : Xie 

Morgan & Claypool

Access online