Philosophers of science have long used reconstructive reasoning to develop historical explanations covering the origins of natural phenomenon. The application of the scientific method is a powerful tool for solving crimes through reconstruction of the events. Scientific Foundations of Crime Scene Reconstruction: Introducing Method to...

For beginning programmers, this updated edition answers all C programming questions. This bestseller talks to readers at their level, explaining every aspect of how to get started and learn the C language quickly. Readers also find out where to learn more about C. This book includes tear-out reference card of C functions and statements, a...

Don't panic! "Crash Course" is here―that perfect set of lecture notes which no student ever really has the time to compile. These books deliver all of the information needed to get through a course or prepare for exams. Clear text covers the essential concepts of each discipline or specialty; learning features expedite...

Don't panic! "Crash Course" is here―tDhat perfect set of lecture notes which no student ever really has the time to compile. These books deliver all of the information needed to get through a course or prepare for exams. Clear text covers the essential concepts of each discipline or specialty; learning features expedite...

A comprehensive overview of nonlinear H_∞ control theory for both continuous-time and discrete-time systems, Nonlinear H_∞-Control, Hamiltonian Systems and Hamilton-Jacobi Equations covers topics as diverse as singular nonlinear H_∞-control, nonlinear...

This book constitutes the refereed proceedings of the Third International Workshop on Multimodal Brain Image Analysis, MBIA 2013, held in Nagoya, Japan, on September 22, 2013 in conjunction with the 16th International Conference on Medical Image Computing and Computer Assisted Intervention, MICCAI. The 24 revised full papers presented were...

As a new interdisciplinary research area, “image-based geometric modeling and mesh generation” integrates image processing, geometric modeling and mesh generation with finite element method (FEM) to solve problems in computational biomedicine, materials sciences and engineering. It is well known that FEM is currently...

The Third International Workshop on Experimental and E?cient Algorithms (WEA 2004) was held in Angra dos Reis (Brazil), May 25-28, 2004. TheWEAworkshopsaresponsoredbytheEuropeanAssociationforTheo- tical Computer Science (EATCS). They are intended to provide an international forum for researchers in the areas of design, analysis, and...

FIDJI 2003 was an international forum for researchers and practitioners in- rested in the advances in, and applications of, software engineering for distri- ted applicationdevelopment. Concerningthe technologies,the workshopfocused on “Java-related” technologies. It was an opportunity to present and observe the latest research,...

This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, I.F.M. 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods,...

This volume presents recent advances in the dynamic field of Artificial Economics and its various applications. Artificial Economics provides a structured approach to model and investigate economic and social systems. In particular, this approach is based on the use of agent-based simulations and further computational techniques. The main aim...