Electronic Books

Total Books: 561 - 580 /757
978-3-540-31987-0
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 ...

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

Continue reading
978-3-540-32066-1
Progress in Cryptology – Mycrypt 2005

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

Continue reading
978-3-540-28073-6
Progress in Industrial Mathematics at ECMI 2004

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

Continue reading
978-3-540-28073-6
Progress in Industrial Mathematics at ECMI 2004

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

Continue reading
978-1-84628-229-4
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 ...

Continue reading
978-3-540-88733-1
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, ...

Continue reading
978-0-387-68445-1
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 ...

Continue reading
978-3-7643-7316-0
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 ...

Continue reading
978-0-387-26118-8
Quantitative Health Risk Analysis Methods

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

Continue reading
978-3-7643-8791-4
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 ...

Continue reading
978-3-540-31450-9
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 ...

Continue reading
978-3-540-32385-3
Quantum Independent Increment Processes II

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

Continue reading
978-3-540-32385-3
Quantum Independent Increment Processes II

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

Continue reading
978-3-540-48863-7
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 ...

Continue reading
978-3-7643-7360-3
Ramsey Methods in Analysis

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

Continue reading
978-3-540-32416-4
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 ...

Continue reading
978-3-540-28512-0
Real Options Valuation

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

Continue reading
978-1-4020-5509-6
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 ...

Continue reading
Total Books: 561 - 580 /757