Explore the world of open source Flash and discover which tools are available. Learn how to identify which tool you need ...
WeiterlesenThis book, published to mark the 15th anniversary of the International Software Quality Institute (iSQI), is intended to ...
WeiterlesenThe first step towards success in a software project is to ensure a professional setup. This includes a metrics-based formal ...
Weiterlesen"Kurbel … has succeeded in writing a book that collects a wealth of information on software engineering without being ...
WeiterlesenThis book constitutes the 14th edition of the annual Multi-Agent Programming Contest, MAPC 2019, and presents its participants. The ...
WeiterlesenThis Book State-of-the-Art Survey describes and documents the developments and results of the Once-Only Principle Project ...
WeiterlesenThe authors, a uniquely skilled team of longtime industry experts, detail how you can build privacy into products, processes, ...
WeiterlesenThe papers included in this volume cover a broad spectrum of important safety issues. They provide a combination of industrial ...
WeiterlesenThe book is organized in topical sections on agents, application ontologies, applications, formal languages, foundational ...
Weiterlesen"The Testing Network" presents an integrated approach to testing based on cutting-edge methodologies, processes and tools ...
WeiterlesenThis book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification ...
WeiterlesenThe aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...
WeiterlesenIs there nothing more to programming? How can you develop your skill if all you do is hunt for the prescribed routine in ...
WeiterlesenThis three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
WeiterlesenThis three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
WeiterlesenThis two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
WeiterlesenThis book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
WeiterlesenThis two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
WeiterlesenThis two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
WeiterlesenThe LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
Weiterlesen