Software defects lead to enormous costs for the software industry and society as a whole. While testing is useful to find bugs, it is insufficient to show the absence of certain kinds of errors or that a program satisfies its specification. Such high levels of software quality can be achieved by software verification, that is, by proving the...

This authoritative reference book assembles the experience of an international faculty of authors, each of whom has performed several thousand facelifts, i.e. procedures to rejuvenate and harmonize the human face. The authors share their experience, including tips and tricks, as well as ways to avoid complications and pitfalls. All procedures...

Tissue engineering is the first discipline of bioengineering which explicitly integrates molecular biology with physics and chemistry. It emphasizes research in the synthesis of new tissues and organs in vivo and in vitro. The treatment is uniform and deliberately directed toward the different backgrounds of students from the physical and...

 This book...

This book examines distributed video coding (DVC) and multiple description coding (MDC), two novel techniques designed to address the problems of conventional image and video compression coding. Covering all fundamental concepts and core technologies, the chapters can also be read as independent and self-sufficient, describing each...

This book provides insight into the practical design of V.L.S.I. circuits. It is aimed at novice V.L.S.I. designers and other enthusiasts who would like to understand V.L.S.I. design flows. Coverage includes key concepts in C.M.O.S. digital design, design of D.S.P. and communication blocks on F.P.G.A.s, A.S.I.C. front end and physical design,...

Evidenced by the success of Facebook, Twitter, and LinkedIn, online social networks (OSNs) have become ubiquitous, offering novel ways for people to access information and communicate with each other. As the increasing popularity of social networking is undeniable, scalability is an important issue for any OSN that wants to serve a large...

This book contains the refereed proceedings of the 13th International Conference on Agile Software Development, XP 2012, held in Malmö, Sweden, in May 2011. In the last decade, we have seen agile and lean software development strongly influence the way software is developed. Agile and lean software development has moved from being a way...

Students entering higher education expect their studies to lead them towards some specific form of professional career. But in this age, complex internationalized professions are the main source of work for graduates, so students need to prepare themselves for a future that can be volatile, changeable and challenging. This book shows how...

This book deals with spatial analysis and modelling. It provides a comprehensive discussion of spatial analysis, methods, and approaches related to...

This volume provides a necessary, current and extensive analysis of probabilistic thinking from a number of mathematicians, mathematics educators, and psychologists. The work of 58 contributing authors, investigating probabilistic thinking across the globe, is encapsulated in 6 prefaces, 29 chapters and 6 commentaries. Ultimately, the four...