Electronic Books

Total Books: 341 - 360 /381

Flex 3 is the next generation of a technology that revolutionized web applications. It is the next evolutionary step of Flash, ...

Explore the world of open source Flash and discover which tools are available. Learn how to identify which tool you need ...

Gives you the information essential to planning and executing interior projects of all shapes and sizes in a format that ...

This Book State-of-the-Art Survey describes and documents the developments and results of the Once-Only Principle Project ...

The authors, a uniquely skilled team of longtime industry experts, detail how you can build privacy into products, processes, ...

This book brings together pre-eminent scholars from Australia, Canada, Europe, the Middle East, and the USA to critically ...

The Universal Generating Function in Reliability Analysis and Optimization is the first book that gives a comprehensive description ...

This book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification ...

The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...

Is there nothing more to programming? How can you develop your skill if all you do is hunt for the prescribed routine in ...

All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...

Time-Resolved Spectroscopy in Complex Liquids introduces current state-of-the-art techniques in the study of complex dynamical ...

This book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...

This is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...

This is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...

This is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems

The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...

To support application developers in the various tasks involved in this process, several different tools need to be at his ...

This book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together ...

Towards Next Generation Grids is the fifth volume of the CoreGRID series. Organized jointly with the Euro-Par 2007 conference, ...

Total Books: 341 - 360 /381