Electronic Books

Total Books: 6981 - 7000 /18317

This book constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS ...

This volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), ...

An increasing number of statistical problems and methods involve infinite-dimensional aspects. This is due to the progress ...

The primary objective of the NATO Advanced Study Institute (ASI) titled “Functionalized Nanoscale Materials, Devices, and ...

The Mathematics Elements of Nicolas BOURBAKI aim to provide a rigorous, systematic presentation without prerequisites of ...

This is a unique book related to the theory of functions of a-bounded type in the half-plane of the complex plane, which ...

This book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...

This book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...

This book constitutes the refereed proceedings of the 10th International Conference on Fundamental Approaches to Software ...

This book contains the proceedings of FASE 2018, the 21th International Conference on Fundamental Approaches to Software ...

This book cover software verification; model-driven development and model transformation; software evolution and requirements ...

ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...

ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...

The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...

The papers deal with the foundations on which software engineering is built, including topics like software engineering as ...

Fundamental Astronomy gives a well-balanced and comprehensive introduction to the topics of classical and modern astronomy. ...

This set of four volumes on brings together evidence and insights on educational change issues from leading writers and researchers ...

This book is an in-depth learning and teaching resource for the understanding and programming of TCP/IP networking in Java. ...

The book presents fundamental numerical methods which are most frequently applied in the electrical (electronic) engineering. All ...

This book inquires into how the city can be re-established as the space of dialogue and communication, how the spatial conditions ...

Total Books: 6981 - 7000 /18317