neeraj kumar singh

Using Event-B for Critical Device Software Systems

Defining a new development life-cycle methodology, together with a set of associated techniques a...

System on Chip Interfaces for Low Power Design

Industrial System Engineering for Drones

Explore a complex mechanical system where electronics and mechanical engineers work together as a...

Model and Data Engineering

This book constitutes the refereed proceedings of the 9th International Conference on Model and D...

Aptamers

The book discusses the basics of aptamers and the advent of aptamer-based technology in recent ti...

Computer Network Simulation in Ns2: Basic Concepts and Protocols Implementation

Learn to design the Mobile Ad-hoc Networks

Proceedings of First International Conference on Computing, Communications, and Cyber-Security (IC4S 2019)

This book features selected research papers presented at the First International Conference on Co...

Internet of Energy for Smart Cities

The focus of this book is on using the machine learning approaches to present various solutions f...

Internet of Energy for Smart Cities

The focus of this book is on using the machine learning approaches to present various solutions f...

Essential Computer Science

Understand essential computer science concepts and skills. This book focuses on the foundational ...

Nanotechnology

This reference text introduces advances in the field of nanotechnology and its applications in di...

Nanotechnology

This reference text introduces advances in the field of nanotechnology and its applications in di...