Electronic Books

Total Books: 61 - 80 /87
978-1-4302-0448-0
Pro SQL Server 2005 Integration Services

Pro SQL Server 2005 Integration Services contains everything you could ever hope to know about this exciting development ...

Continue reading
978-1-4302-0372-8
Pro WF : Windows Workflow in .NET 3.0

Pro WF: Windows Workflow in .NET 3.0 provides you with the skills you need to incorporate WF into your applications. This ...

Continue reading
978-3-540-33096-7
Programming Languages and Systems (vol. # 3924)

This volume contains the proceedings of the ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory ...

Continue reading
978-3-540-71956-4
Programming Multi-Agent-Systems

This book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on Programming Multi-Agent ...

Continue reading
978-3-540-75416-9
Recent Advances in Parallel Virtual Machine and Message Passing Interface

This book constitutes the refereed proceedings of the 14th European PVM/MPI Users' Group Meeting held in Paris, France, ...

Continue reading
978-3-540-39112-8
Recent Advances in Parallel Virtual Machine and Message Passing Interface (vol. # 4192)

This book constitutes the refereed proceedings of the 13th European PVM/MPI Users' Group Meeting held in Bonn, Germany in ...

Continue reading
978-3-540-87475-1
Recent Advances in Parallel Virtual Machine and Message Passing Interface : 15th European PVM/MPI Users’ Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings

This book is organized in topical sections on applications, collective operations, library internals, message passing for ...

Continue reading
978-0-387-26106-5
Reconfigurable Computing

By mapping algorithms directly into programmable logic, FPGA accelerators offer and deliver 10X-100X performance increases ...

Continue reading
978-3-030-79837-6
Reversible Computation

This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which ...

Continue reading
978-3-030-47361-7
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
978-1-4020-6536-1
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
978-3-540-77351-1
Software Composition

On behalf of the Organizing Committee we are pleased to present the proceedings of the 2007 Symposium on Software Composition ...

Continue reading
978-3-540-46505-8
Software Visualization

Software visualization encompasses the development and evaluation of methods for graphically representing different aspects ...

Continue reading
978-1-4302-0037-6
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
978-1-4302-0122-9
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
978-1-4020-5540-9
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
978-1-4302-0994-2
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
978-3-540-76298-0
The Semantic Web

This book constitutes the refereed proceedings of the joined 6th International Semantic Web Conference, ISWC 2007, and the ...

Continue reading
978-3-030-17462-0
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
978-3-540-31980-1
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
Total Books: 61 - 80 /87