Reconfigurable Computing
By mapping algorithms directly into programmable logic, FPGA accelerators offer and deliver 10X-100X performance increases ...
Continue reading
Reversible Computation
This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which ...
Continue reading
Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405
This State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing ...
Continue reading
Robustness and Usability in Modern Design Flows
The size of technically producible integrated circuits increases continuously. But the ability to design and verify these ...
Continue reading
Software Composition
On behalf of the Organizing Committee we are pleased to present the proceedings of the 2007 Symposium on Software Composition ...
Continue reading
Software Visualization
Software visualization encompasses the development and evaluation of methods for graphically representing different aspects ...
Continue reading
Squeak: Learn Programming with Robots
Squeak: Learn Programming with Robots will teach you core programming concepts based on simple, visual problems that involve ...
Continue reading
The Definitive Guide to Apache mod_rewrite
Organizing websites is highly dynamic and often chaotic. Thus, it is crucial that host web servers manipulate URLs in order ...
Continue reading
The Developers Guide to Debugging
"The Developer's Guide to Debugging" is a book for both professional software developers seeking to broaden their skills ...
Continue reading
The Essential Guide to Open Source Flash Development
Explore the world of open source Flash and discover which tools are available. Learn how to identify which tool you need ...
Continue reading
The Semantic Web
This book constitutes the refereed proceedings of the joined 6th International Semantic Web Conference, ISWC 2007, and the ...
Continue reading
Tools and Algorithms for the Construction and Analysis of Systems
This is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...
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
Tools for High Performance Computing : Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart
To support application developers in the various tasks involved in this process, several different tools need to be at his ...
Continue reading
Trustworthy Global Computing
Constitutes the post-proceedings of the International Symposium on Trustworthy Global Computing. This book covers issues, ...
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 : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
The book feature current research from the communities of verification, program certification, model checking, debugging ...
Continue reading
Web Component Development with Zope 3
This book focuses on Zope 3, though it also addresses the needs of Zope 2 developers who want to use Zope 3 features as they ...
Continue reading
Web Component Development with Zope 3
This book focuses on Zope 3, though it also addresses the needs of Zope 2 developers who want to use Zope 3 features as they ...
Continue reading
Web Component Development with Zope 3
New Zope 3 is a web applications server written in Python that allows developing complex web applications rapidly and collaboratively. ...
Continue reading
