Electronic Books

Total Books: 561 - 580 /757

Programming Languages and Systems (vol. # 3444)

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

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 ...

Programming Languages and Systems : 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

This book presented together with the abstract of one invited talk and two tool presentations were carefully reviewed and ...

Progress in Cryptology – Mycrypt 2005

Mycrypt 2005 was the inaugural international conference on cryptology hosted in Malaysia. The conference was co-organized ...

Progress in Industrial Mathematics at ECMI 2004

It focused on Aerospace, Electronic Industry, Chemical Technology, Life Sciences, Materials, Geophysics, Financial Mathematics ...

Progress in Industrial Mathematics at ECMI 2004

It focused on Aerospace, Electronic Industry, Chemical Technology, Life Sciences, Materials, Geophysics, Financial Mathematics ...

Propositional and Predicate Calculus: A Model of Argument

The topics in the book include: - the representation of mathematical statements by formulas in a formal language. - the interpretation ...

Provable Security : Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings

This book is organized in topical sections on Encryption, Signature, Analysis, Application of Hash Functions, Universal Composability, ...

Putnam and Beyond

Putnam and Beyond takes the reader on a journey through the world of college mathematics, focusing on some of the most important ...

Quadrature Domains and Their Applications

Quadrature domains were singled out about 30 years ago by D. Aharonov and H.S. Shapiro in connection with an extremal problem ...

Quantitative Health Risk Analysis Methods

It represents a giant leap forward, helping to provide such a standard. Notable improvements and increased scientific rigor ...

Quantization and Arithmetic

(12) (4) Let ? be the unique even non-trivial Dirichlet character mod 12, and let ? be the unique (odd) non-trivial Dirichlet ...

Quantum Independent Increment Processes I

This volume is the first of two volumes containing the revised and completed notes lectures given at the school "Quantum ...

Quantum Independent Increment Processes II

The present volume contains the following lectures: Random Walks on Finite Quantum Groups, Quantum Markov Processes and Applications ...

Quantum Independent Increment Processes II

The present volume contains the following lectures: Random Walks on Finite Quantum Groups, Quantum Markov Processes and Applications ...

Quantum Probability and Spectral Analysis of Graphs

This is the first book to comprehensively cover the quantum probabilistic approach to spectral analysis of graphs. The book ...

Ramsey Methods in Analysis

This book introduces graduate students and resarchers to the study of the geometry of Banach spaces using combinatorial methods. ...

Random Times and Enlargements of Filtrations in a Brownian Setting

In November 2004, M. Yor and R. Mansuy jointly gave six lectures at Columbia University, New York. These notes follow the ...

Real Options Valuation

Managerial decision-making during the lifetime of a project can have im portant implications on project handling and its ...

Real-Time Applications with Stochastic Task Execution Times

Real-Time Applications with Stochastic Task Execution Times presents three approaches to the analysis of the deadline miss ...

Total Books: 561 - 580 /757