This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open ...
Lire la suiteThis book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed ...
Lire la suiteFoundations of C++/CLI: The Visual C++ Language for .NET 3.5 introduces C++/CLI, Microsoft's extensions to the C++ syntax ...
Lire la suiteThe book is divided into three parts. The first part is concerned with hyperbolic geometry and discrete groups. The main ...
Lire la suiteThe book is divided into three parts. The first part is concerned with hyperbolic geometry and discrete groups. The main ...
Lire la suiteThis book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge ...
Lire la suiteThis book constitutes the refereed proceedings of the 5th International Symposium on Foundations of Information and Knowledge ...
Lire la suiteFoundations of Security: What Every Programmer Needs to Know teaches new and current software professionals state-of-the-art ...
Lire la suiteThis book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
Lire la suiteThis book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational ...
Lire la suiteThe fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
Lire la suiteMeant to serve an "entertaining textbook," this book belongs to a rare genre. It is written for all students and practitioners ...
Lire la suiteL'ambition de cet ouvrage est de faire un bilan complet mais pratique de la prise en charge des fractures du genou et de ...
Lire la suiteDuring the last several years, frames have become increasingly popular; they have appeared in a large number of applications, ...
Lire la suiteBeing the fourth in the series on Stakeholder Management books, the current volume looks back at the beginnings of Stakeholder ...
Lire la suiteThis book constitutes the refereed proceedings of the First Annual International Frontiers of Algorithmics Workshop, FAW ...
Lire la suiteThis book constitutes the proceedings of the 14th International Workshop on Frontiers in Algorithmics, FAW 2020, held in ...
Lire la suiteThis book constitutes the refereed proceedings of the Second International Frontiers of Algorithmics Workshop, FAW 2008, ...
Lire la suiteThe present book collects most of the courses and seminars delivered at the meetingentitled"FrontiersinNumberTheory, PhysicsandGeometry", ...
Lire la suiteAlthough designed primarily for desktop mapping and analysis, Geographic Information Systems have, for some years, been ‘coupled’ ...
Lire la suite