This book constitutes the thoroughly refereed post-conference proceedings of the 21th International Workshop on Languages ...
Lire la suite
This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Languages, ...
Lire la suite
The 6th International Conference on Large-Scale Scienti?c Computations (LSSC 2007) was held in Sozopol, Bulgaria, June 5–9, ...
Lire la suite
This essential work provides a thorough description of the fundamentals and applications in the field of laser-tissue interactions. ...
Lire la suite
This book constitutes the thoroughly refereed joint post-conference proceedings of two consecutive International Workshops ...
Lire la suite
The papers cover current issues of machine learning, artificial intelligence, mathematical programming and algorithms for ...
Lire la suite
It seems difficult and presumptuous to want to write a book on total knee replacement. There are many quality works dealing ...
Lire la suite
Part of the ""Light Scattering Reviews"" series that is devoted to modern knowledge and milestones in both experimental ...
Lire la suite
This book is devoted to modern knowledge and milestones in both experimental and theoretical techniques related to light ...
Lire la suite
Lights in the Sky is a truly comprehensive guide to observing, identifying, and imaging sky glows and other unusual atmospheric/astronomical ...
Lire la suite
A comprehensive guide to the use of local anaesthesia in dentistry that will meet the needs of both students and dental practitioners. ...
Lire la suite
In development scenarios where things can't be run in a debugger, or when you run the risk of masking the problem, logs ...
Lire la suite
The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...
Lire la suite
This book constitutes the refereed proceedings of the 4th International Conference on Computability in Europe, CiE 2008, ...
Lire la suite
This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...
Lire la suite
The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed ...
Lire la suite
This volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis ...
Lire la suite
This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA ...
Lire la suite
The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: ...
Lire la suite
This book explores how to set up an empirical model that helps with forecasting long-term economic growth in a large number ...
Lire la suite