The primary goals for this book were to enhance its capabilities particularly in those areas where its reliability and predictability ...
Continue readingThe Ada 2005 Reference Manual incorporates these changes in the overall standard text and thus will replace the former versions ...
Continue readingModern software systems are becoming more complex in many ways and are having to cope with a growing number of abnormal situations ...
Continue readingThis book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems ...
Continue readingTen different projects illustrate the concepts introduced in the book. You will learn how to create a P2P file-sharing application ...
Continue readingBeginning Web Programming in VB .NET: From Novice to Professional will teach you the fundamentals of the web environment ...
Continue readingC++/CLI: The Visual C++ Language for .NET introduces Microsoft's extensions to the C++ syntax that allow you to target the ...
Continue readingThis book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...
Continue readingThis book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...
Continue readingThis book is the first comprehensive exploration of the legal framework of EU digital copyright law from the perspective ...
Continue readingThis book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for ...
Continue readingJDBC Recipes provides easy-to-implement, usable solutions to problems in relational databases that use JDBC. You will be ...
Continue readingThis exceptional book explains fundamentals in detail, supported by realistic examples, while most other books on the market ...
Continue readingThis book constitutes the thoroughly refereed post-proceedings of 11 international workshops held as satellite events of ...
Continue readingprovides a comprehensive analysis of national security exceptions in international trade and investment agreements. The subject ...
Continue readingLisp is often thought of as an academic language, but it need not be. This is the first book that introduces Lisp as a language ...
Continue readingPrinciples of Spin is an introductory book for students and practicing software engineers who wish to learn Promela and Spin. ...
Continue readingThis Festschrift volume published to honor Jean-Pierre Jouannaud on his 60th Birthday on May 12, 2007, includes 13 refereed ...
Continue readingThis volume is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction ...
Continue readingBest selling author Paul Sanghera offers cohesive, concise, yet comprehensive coverage of all the topics included in the ...
Continue reading