This book provides an overview of techniques for constructing structural interpretations in 2-D, 2½-D and 3-D environments; ...
اقرأ المزيدThis book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...
اقرأ المزيدThis collection of reusable ASP.NET components serves two purposes. First, the components are ready to use, so you may add ...
اقرأ المزيدCovers: Payment cards and protocols EMV contact chip and contactless transactions Disputes, arbitration, and compliance Data ...
اقرأ المزيدThis book addresses action research (AR), one of the main research methodologies used for academia-industry research collaborations. ...
اقرأ المزيدThis book constitutes the thoroughly refereed proceedings of the 8th Workshop of the Cross-Language Evaluation Forum, CLEF ...
اقرأ المزيدThis volume is the first book to cover the general topic of targeted cancer therapy. It presents a range of targets such ...
اقرأ المزيدThe field of agent & multi-agent systems is experiencing tremendous growth. At the same time the field of formal methods ...
اقرأ المزيدThis book represents the thoroughly refereed post-proceedings of the 6th International Workshop on Agent-Oriented Software ...
اقرأ المزيدThe book covers web search and RSS Feed with Ajax as well as form validation with Ajax frameworks for Java, JSP, JSF, and ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets ...
اقرأ المزيدAs software systems become increasingly ubiquitous, the issues of dependability become more and more crucial. Given that ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
اقرأ المزيدBayesian Reliability presents modern methods and techniques for analyzing reliability data from a Bayesian perspective. The ...
اقرأ المزيدThis book provides thorough coverage of ASP.NET, guiding you from beginning to advanced techniques, such as querying databases ...
اقرأ المزيدThis book includes best practices and comprehensive discussions about key database and XML principles, which are essential ...
اقرأ المزيدBeginning Ajax with PHP: From Novice to Professional is the first book to introduce how these two popular technologies can ...
اقرأ المزيدBeginning Apache Struts will provide you a working knowledge of Apache Struts 1.2. This book is ideal for you Java programmers ...
اقرأ المزيد