Incorporating recent dramatic advances, this textbook presents a fresh and timely introduction to modern biophysical methods. ...
Continue readingMicrophone arrays have attracted a lot of interest in the last two decades. The reason behind this is that they have the ...
Continue readingLight Microscopy has returned to fashion through the synergy of green fluorescent protein and a clutch of techniques involving ...
Continue readingCoherent sources of mid-infrared (mid-IR) radiation are of great interest for a wide range of scienti?c and technological ...
Continue readingThis book constitutes the refereed proceedings of the ACM/IFIP/USENIX 8th International Middleware Conference 2007, held ...
Continue readingThis book constitutes the refereed proceedings of the ACM/IFIP/USENIX 9th International Middleware Conference 2008, held ...
Continue readingThis book analyses the strategies of migration intermediaries from the public and private sectors in Switzerland to select, ...
Continue readingThis book assesses this research frontier from a computer science perspective, investigating the various scientific and technological ...
Continue readingIn the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat ...
Continue readingThis book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. ...
Continue readingConstitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held ...
Continue readingThe 31 revised full papers presented - 21 research papers and 10 industry papers - were carefully reviewed and selected from ...
Continue readingThis book constitutes the refereed proceedings of the Third European Conference on Model Driven Architecture: Foundations ...
Continue readingThis book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages ...
Continue readingConstitutes the proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS ...
Continue readingThis book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing ...
Continue readingThis book introduces all the relevant information required to understand and put Model Driven Architecture (MDA) into industrial ...
Continue readingThis book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD ...
Continue readingResearch and development of autonomics have come a long way, and we are delighted to present the proceedings of the 3rd IEEE ...
Continue reading"The book presents approaches and methodologies for predicting the structure and diversity of key aquatic communities (namely ...
Continue reading