Using Event B for Critical Device Software Systems

By Neeraj Kumar Singh

Industrial System Engineering for Drones

By Neeraj Kumar Singh, Porselvan Muthukrishnan, Satyanarayana Sanpini

System On Chip Interfaces For Low Power Design

By Neeraj Kumar Singh, Rousseau Vijayakrishnan, Sanjeeb Mishra, Vijayakrishnan Rousseau

System on Chip Interfaces for Low Power Design provides a top-down understanding of interfaces available to SoC developers, not only the underlying protocols and architecture of each, but also how...

System On Chip Interfaces For Low Power Design

By Neeraj Kumar Singh, Sanjeeb Mishra, Vijayakrishnan Rousseau

System On Chip Interfaces For Low Power Design Provides A Top-down Understanding Of Interfaces Available To Soc Developers, Not Only The Underlying Protocols And Architecture Of Each, But Also How...

Artificial Intelligence and Machine Learning for EDGE Computing

By Parul Verma, Neeraj Kumar Singh, Sunil Kumar Khatri, Rajiv Pandey

Artificial Intelligence and Machine Learning for EDGE Computing

By Parul Verma, Neeraj Kumar Singh, Sunil Kumar Khatri, Rajiv Pandey

Using Event-B For Critical Device Software Systems

By Neeraj Kumar Singh

Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal  techniques, this book adopts a rigorous sa...

Using Event-B For Critical Device Software Systems

By Neeraj Kumar Singh

Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techniques, this book adopts a rigorous sa...

Using Event-B For Critical Device Software Systems

By Neeraj Kumar Singh

Essential Computer Science

By Neeraj Kumar Singh, Paul D. Crutcher, Peter Tiegs