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