Electronic Books

Total Books: 321 - 339 /339

Twenty-Sixth Symposium on Biotechnology for Fuels and Chemicals

In Biotechnology for Fuels and Chemicals: The Twenty-Sixth Symposium, leading US and international researchers from academia, ...

Type-2 Fuzzy Logic: Theory and Applications

This book describes new methods for building intelligent systems using type-2 fuzzy logic and soft computing techniques. ...

Types for Proofs and Programs

The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...

UbiComp 2006: Ubiquitous Computing

This book constitutes the refereed proceedings of the 8th International Conference on Ubiquitous Computing, UbiComp 2006. ...

User Modeling 2005

The book offers topical sections on adaptive hypermedia, affective computing, data mining for personalization and cross-recommendation, ...

Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities

The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...

Verification of Object-Oriented Software. The KeY Approach

features of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...

Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

The book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...

Vessel Health and Preservation: The Right Approach for Vascular Access

The book presents a model and a new way of thinking applied to vascular access and administration of intravenous treatment, ...

Virtual Reality

This volume, edited by Randall Shumaker, contains papers in the thematic area of Virtual Reality, addressing the following ...

Vitamin D رؤى عرب ؛ صفية النحلاوي ؛ إشراف د. حورية القاضي

There has been a growing interest in vitamin D during the last decades, which has boosted an increasing number of scientific ...

Web Engineering

This volume contains the proceedings of the seventh International Conference on Web Engineering (ICWE2007), the Call for ...

Web Information Systems - WISE 2006 Workshops

This book constitutes the joint refereed proceedings of the three workshops held in conjunction with the 7th International ...

Web Information Systems Engineering - WISE 2008 Workshops : WISE 2008 International Workshops, Auckland, New Zealand, September 1-4, 2008. Proceedings

The First International Workshop on Web Information Systems Engineering for Electronic Businesses and Governments (E-BAG ...

Wellbeing Economics

Economists have long sought to maximise economic growth, believing this to be their best contribution to improving human ...

Wellbeing and Devolution

In this book, Wallace offers a practical and balanced analysis of the evolution of wellbeing as a policy narrative and framework ...

West African Youth Challenges and Opportunity Pathways

This book explores obstacles that impede, and potential pathways toward improving, the material and psychological well-being ...

Women in Biotechnology

Women in Biotechnology presents a unique study of the relationships and communications between women scientists, particularly ...

Workers, Managers, Productivity Kaizen in Developing Countries

This book explores how improving management techniques can support firms’ productivity and quality. Given its wide range ...

Total Books: 321 - 339 /339