Electronic Books

Total Books: 1281 - 1300 /1569

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

This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software ...

The book addressed span a wide range of problems and solutions associated with the teaching of programming such as introductory ...

Regular expressions are an essential part of programming, but they can be difficult to cope with. Enter Regular Expression ...

This volume is the post conference proceedings of the 8thInternational Seminaron Relational Methods in Computer Science (RelMiCS ...

This book presents a comprehensive description of theory, algorithms and software for solving nonconvex mixed integer nonlinear ...

The volume brings together eleven chapters to highlight the importance of the interrelated reliability and maintenance disciplines. ...

The book was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable ...

Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...

This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe ...

This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...

This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...

Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference ...

This book constitutes the refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with ...

This book is organized in thematic sections on fitness of RE, requirements elicitation, industrial experience of RE, innovative ...

This thoroughly revised and expanded third edition is a practical guide to data analysis using the bootstrap, cross-validation, ...

Rethinking Productivity in Software Engineering, includes chapters covering definitions and core concepts related to productivity, ...

The book describes the algorithms involved in recovering UML diagrams from the code and the techniques that can be adopted ...

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

This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held ...

Total Books: 1281 - 1300 /1569