If you want to create exciting dynamic web sites that will amaze your online audience, then the Flash platform is a great ...
Continue readingFoundations and Applications of MIS presents a unique systems theory approach to management information system (MIS) development. ...
Continue readingFoundations and Applications of MIS presents a unique systems theory approach to management information system (MIS) development. ...
Continue readingFoundations of C++/CLI: The Visual C++ Language for .NET 3.5 introduces C++/CLI, Microsoft's extensions to the C++ syntax ...
Continue readingThis book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
Continue readingThis volume contains the papers presented at the 21st International Conference on Foundations of Software Science and Computation ...
Continue readingThis book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational ...
Continue readingThis book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
Continue readingThis book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and ...
Continue readingThe fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
Continue readingThis volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), ...
Continue readingThis book contains the proceedings of FASE 2018, the 21th International Conference on Fundamental Approaches to Software ...
Continue readingThis book cover software verification; model-driven development and model transformation; software evolution and requirements ...
Continue readingETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Continue readingThe fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
Continue readingThis is the first book that presents an “under-the-hood” view of generating assertion checkers, and as such provides ...
Continue readingThis tutorial book presents an augmented selection of material presented at the International Summer School on Generative ...
Continue readingThis book constitutes the refereed proceedings of the 9th International Colloquium on Grammatical Inference, ICGI 2008, held ...
Continue readingIntroduces a variety of concepts in discrete mathematics and mathematical modeling for languages and computation. The authors ...
Continue readingThis handbook offers a state-of-the-art overview of quantitative science and technology research. It focuses on the development ...
Continue reading