v s alagar

Technological Applications for Smart Sensors

Technological Applications for Smart Sensors

Specification of Software Systems

Recent advances in software specification methods, model checking, and theorem proving have gener...

Context-Aware Systems and Applications

This book constitutes the thoroughly refereed proceedings of the Second International Conference ...

Context-Aware Systems and Applications, and Nature of Computation and Communication

This book constitutes the refereed post-conference proceedings of the International Conferences I...

Context-Aware Systems and Applications

This book constitutesthe thoroughly refereed proceedings of the 4th International Conference onC...

Formal Methods in Databases and Software Engineering

Logic and object-orientation have come to be recognized as being among the most powerful paradigm...

Incompleteness and Uncertainty in Information Systems

The Software Engineering and Knowledgebase Systems (SOFfEKS) Research Group of the Department of ...

Specification of Software Systems

This book provides an introduction to program specification, illustrating the advantages it confe...

Smart Antennas, Electromagnetic Interference and Microwave Antennas for Wireless Communications

This book covers all areas of smart antennas, electromagnetic interference, and microwave antenna...

Smart Antennas, Electromagnetic Interference and Microwave Antennas for Wireless Communications

This book covers all areas of smart antennas, electromagnetic interference, and microwave antenna...

Marine Biotechnology: Applications in Food, Drugs and Energy

This contributed volume covers the applications of marine biotechnology for food, drugs and energ...