Electronic Books

Total Books: 3821 - 3840 /10086

This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed ...

This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that ...

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

The purpose of this book is to show that the formal specification of kernels can be followed by a completely formal refinement ...

This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering ...

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

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

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

These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) ...

Provides the comprehensive knowledge and instruction necessary for researchers to design and create cosmetics products. The ...

The volumes of this classic series, now referred to simply as "Zechmeister" after its founder, L. Zechmeister, have appeared ...

Dreamweaver 8 takes a lot of the hard work out of performing tasks such as integrating a database into your website, but ...

If you're a reasonably experienced Flash user who has mastered the basics but wants to empower your SWFs, taking them further ...

This book is the ultimate guide to Flash 8 video it offers practical advice, technical guidance, and a full series of creative ...

This book is all you'll need to learn Flash CS3 from the ground up, or learn about all these new features, if you already ...

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

All Flex applications look the same—a blue-gray background and silver-skinned components—right? That doesn't have to ...

Flex is a very powerful and versatile technology for creating web application front-ends. But what every good web application ...

Form creation is key to information processing and forms workflow is a key concept within Adobe LiveCycle Enterprise Suite. ...

Total Books: 3821 - 3840 /10086