This volume contains a systematic discussion of wavelet-type inversion formulae based on group representations, and their ...
Lire la suite
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
Lire la suite
This book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...
Lire la suite
Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency ...
Lire la suite
This volume contains the proceedings of the 6th Symposium on Abstraction, Reformulation and Approximation (SARA 2005). the ...
Lire la suite
As part of its review of competition law that started in the late 1990s, the European Commission proposes to revise its interpretation ...
Lire la suiteThis book shines a light on how and why academic work became entwined with air travel, and what can be done to change academia’s ...
Lire la suiteThe foods you choose to eat can have a direct impact on your ability to enjoy life to its fullest. Perhaps the most obvious ...
Lire la suite
Accelerated C# 2008 gives you everything you need to know about C# 2008 in a concentrated 500 pages of must-know information ...
Lire la suite
Ajax is a web development technique that takes advantage of JavaScript to display and interact dynamically with information ...
Lire la suite
The expert tuition and approach to rapid learning in Accelerated SQL Server 2008, one of the first SQL Server 2008 books ...
Lire la suite
Accelerated VB 2005 provides the fastest path to Visual Basic expertise for anyone already familiar with object-oriented ...
Lire la suite
Visual Basic 2008 offers powerful new features, and Accelerated VB 2008 is the fastest path to mastering them, and the rest ...
Lire la suite
this book is presenting a review of basic proteomic techniques. The second part of the book is related to the novel high ...
Lire la suite
This book is a unique compilation of experimental benchmark analyses of the accelerator-driven system (ADS) at the Kyoto ...
Lire la suite
Chapter authors clearly place mindfulness and acceptance into the clinical lexicon, establishing links with established traditions, ...
Lire la suite
Presents cybersecurity aspects of ubiquitous and growing IoT and Cyber Physical Systems. It also introduces a range of conceptual, ...
Lire la suite
In that book we tried very hard not to simply list everything that we knew about the product. Instead we tried to act as ...
Lire la suite
The sixth campaign of the Cross Language Evaluation Forum (CLEF) for European languages was held from January to September ...
Lire la suite
This edited volume explores the legal, economic and political context for the debate about intellectual property rights for ...
Lire la suite