Electronic Books

Total Books: 261 - 276 /276
Tools and Algorithms for the Construction and Analysis of Systems

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

Continue reading
Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3440)

This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, ...

Continue reading
Trustworthy Global Computing : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

The book focus on providing tools and frameworks for constructing well-behaved applications and for reasoning about their ...

Continue reading
Validated Designs for Object-oriented Systems

This book describes an object-oriented design approach that combines the benefits of abstract modelling with the analytic ...

Continue reading
Verification of Object-Oriented Software. The KeY Approach

features of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...

Continue reading
Verification, Model Checking, and Abstract Interpretation

This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...

Continue reading
Verification, Model Checking, and Abstract Interpretation (vol. # 3385)

The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. ...

Continue reading
Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

The scope of book includes the sharing and interoperability of tools, the alignment of theory and practice, the identification ...

Continue reading
Visualizing Information Using SVG and X3D

The first great graphics technology for the Web,VRML,has been mistaken for something else since its inception. Viewed variously ...

Continue reading
Web Accessibility

The power of the Web lies in the fact that anyone and everyone can access it, and this should also extend to users with disabilities. ...

Continue reading
Web Development Solutions

this book shows you how. It starts from the very beginning of your journey, showing you what's available, what you need, ...

Continue reading
Web Development with Java

This comprehensive textbook introduces readers to the three-tiered, Model-View-Controller architecture by using Hibernate, ...

Continue reading
Web Standards Creativity

Web Standards Creativity is jam-packed with fresh, innovative design ideas. The topics range from essential CSS typography ...

Continue reading
WebAssembly for Cloud : A Basic Guide for Wasm-Based Cloud Apps / Shashank Mohan Jain

Understand how Wasm can be used for server-side applications / Learn about Wasm memory model and Wasm module layout / Learn ...

Continue reading
XML for Bioinformatics

The goal of XML for Bioinformatics is to provide a solid introduction to the emerging use of XML in the field of bioinformatics. ...

Continue reading

ZK is the most popular open source SourceForge Ajax web framework that enables rich user interface for web applications with ...

Continue reading
Total Books: 261 - 276 /276