This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for ...
اقرأ المزيدThis collection of formulas has been written by applied scientists and industrial engineers for design professionals and ...
اقرأ المزيدThis volume is a survey/monograph on the recently developed theory of forward-backward stochastic differential equations ...
اقرأ المزيدThis book is a compilation of case studies that provide useful knowledge and lessons that derive from on-the-ground activities ...
اقرأ المزيدForm creation is key to information processing and forms workflow is a key concept within Adobe LiveCycle Enterprise Suite. ...
اقرأ المزيدIn this second edition of Foundation Mathematics for Computer Science, John Vince has reviewed and edited the original book ...
اقرأ المزيدConcentrates on Semantic Web technologies standardized by the World Wide Web Consortium: RDF and SPARQL enable data exchange ...
اقرأ المزيدVarious forms of decentralization are recently pursued in the world, including developing countries. However, there has not ...
اقرأ المزيدFoundations of C++/CLI: The Visual C++ Language for .NET 3.5 introduces C++/CLI, Microsoft's extensions to the C++ syntax ...
اقرأ المزيدThis volume presents the results of investigations into the foundations of the discipline, and represents the state-of-the-art ...
اقرأ المزيدF# is much more than just an FP language. Every professional .NET programmer needs to learn about FP, and there's no better ...
اقرأ المزيدThis is a comprehensive overview of the basics of fuzzy control, which also brings together some recent research results ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge ...
اقرأ المزيدThis book studies the foundations of quantum theory through its relationship to classical physics. This idea goes back to ...
اقرأ المزيدThe increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested ...
اقرأ المزيدThis book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
اقرأ المزيدThis book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
اقرأ المزيدThis book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and ...
اقرأ المزيدETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
اقرأ المزيد