Electronic Books

Total Books: 581 - 600 /804

Posn(R) and Eisenstein Series

Posn(R) and Eisenstein Series provides an introduction, requiring minimal prerequisites, to the analysis on symmetric spaces ...

Postmodern Analysis

“Modern Analysis” as represented in the works of the Bourbaki group or in the textbooks by Jean Dieudonn´ e is characterized ...

Pressure Vessel Design

This book guides through general and fundamental problems of pressure vessel design. It moreover considers also problems ...

Privacy in Statistical Databases

Privacy in statistical databases is a discipline whose purpose is to provide - lutions to the con?ict between the increasing ...

Probabilistic Modeling in Bioinformatics and Medical Informatics

Probabilistic Modelling in Bioinformatics and Medical Informatics has been written for researchers and students in statistics, ...

Problems in Algebraic Number Theory

The book covers topics ranging from elementary number theory (such as the unique factorization of integers or Fermat's little ...

Proceedings of the 15th International Meshing Roundtable

This volume contains the articles presented at the 15th International Meshing Roundtable conference organized by Sandia National ...

Processes, Terms and Cycles: Steps on the Road to Infinity

Dedicated to Jan Willem Klop, this volume comprises a total of 23 scientific papers by his close friends and colleagues. ...

Product Lifecycle Management

Product Lifecycle Management (PLM), a new paradigm for product manufacturing, enables a company to manage its products all ...

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

This book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March ...

Programming Languages and Systems

This book constitutes the refereed proceedings of the 16th European Symposium on Programming, ESOP 2007, held in Braga, Portugal ...

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

Proofs from the Book

Proofs from THE BOOK è un'opera straordinaria che ha saputo calamitare l'interesse di numerosissimi lettori, matematici ...

Proofs from the Book

Proofs from THE BOOK è un'opera straordinaria che ha saputo calamitare l'interesse di numerosissimi lettori, matematici ...

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

Total Books: 581 - 600 /804