Electronic Books

Total Books: 361 - 380 /1124

This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open ...

This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open ...

This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International ...

The purpose of this book is to show that the formal specification of kernels is not only possible but also necessary if operating ...

FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee ...

This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for ...

A pharmaceutical scientist’s approach toward solubility enhancement of a poorly water-soluble molecule typically includes ...

Video is one of the most exciting features on today's Internet, with widespread adoption being made possible by advances ...

Covering every aspect of Flash animation, the book is a fast-paced yet thorough review of the Flash animation process. This ...

This thoroughly updated and enhanced second edition of Foundations of 3D Graphics Programming is an innovative shortcut ...

Foundations of AOP for J2EE Development covers a relatively new programming paradigm: aspect-oriented programming, or AOP. ...

This book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical ...

Foundations of Social Entrepreneurship presents definitions of social entrepreneurship, explains its benefits and challenges, ...

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 ...

Number theory, spectral geometry, and fractal geometry are interlinked in this in-depth study of the vibrations of fractal ...

Number theory, spectral geometry, and fractal geometry are interlinked in this in-depth study of the vibrations of fractal ...

In 1993 new prin- ples of optical shape measurement, setup calibration, phase unwr- ping and nondestructive testing were ...

This book despite increasing communication, accelerating policy and management responses, and notwithstanding improving ecosystem ...

Total Books: 361 - 380 /1124