Filter by
Tools and Algorithms for the Construction and Analysis of Systems 21st Inter…
This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46681-0
- Collation
- -
- Series Title
- -
- Call Number
- -
Time-Sensitive Remote Sensing
This book documents the state of the art in the use of remote sensing to address time-sensitive information requirements. Specifically, it brings together a group of authors who are both researchers and practitioners, who work toward or are currently using remote sensing to address time-sensitive information requirements with the goal of advancing the effective use of remote sensing to supply t…
- Edition
- -
- ISBN/ISSN
- 978-1-4939-2602-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Applied Mathematics in Tunisia: International Conference on Advances in Appli…
This contributed volume presents some recent theoretical advances in mathematics and its applications in various areas of science and technology. Written by internationally recognized scientists and researchers, the chapters in this book are based on talks given at the International Conference on Advances in Applied Mathematics (ICAAM), which took place December 16-19, 2013, in Hammamet, Tunisi…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-18041-0
- Collation
- XIX, 397
- Series Title
- Springer Proceedings in Mathematics & Statistics
- Call Number
- 518 APP a
Applied Analysis in Biological and Physical Sciences: ICMBAA, Aligarh, India,…
The book contains recent developments and contemporary research in mathematical analysis and in its application to problems arising from the biological and physical sciences. The book is of interest to readers who wish to learn of new research in such topics as linear and nonlinear analysis, mathematical biology and ecology, dynamical systems, graph theory, variational analysis and inequalities…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-81-322-3640-5
- Collation
- XVII, 438
- Series Title
- Springer Proceedings in Mathematics & Statistics
- Call Number
- 518 APP a
Theory of Reproducing Kernels and Applications
This book provides a large extension of the general theory of reproducing kernels published by N. Aronszajn in 1950, with many concrete applications. In Chapter 1, many concrete reproducing kernels are first introduced with detailed information. Chapter 2 presents a general and global theory of reproducing kernels with basic applications in a self-contained way. Many fundamental operations amo…
- Edition
- -
- ISBN/ISSN
- 978-981-10-0530-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory of Distributions
This book explains many fundamental ideas on the theory of distributions. The theory of partial differential equations is one of the synthetic branches of analysis that combines ideas and methods from different fields of mathematics, ranging from functional analysis and harmonic analysis to differential geometry and topology. This presents specific difficulties to those studying this field. Thi…
- Edition
- -
- ISBN/ISSN
- 978-3-319-19527-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory of Cryptography 12th International Conference, TCC 2015, Warsaw, Pola…
The two-volume set LNCS 9014 and LNCS 9015 constitutes the refereed proceedings of the 12th International Conference on Theory of Cryptography, TCC 2015, held in Warsaw, Poland in March 2015. The 52 revised full papers presented were carefully reviewed and selected from 137 submissions. The papers are organized in topical sections on foundations, symmetric key, multiparty computation, concu…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46497-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory of Cryptography 12th International Conference, TCC 2015, Warsaw, Pola…
The two-volume set LNCS 9014 and LNCS 9015 constitutes the refereed proceedings of the 12th International Conference on Theory of Cryptography, TCC 2015, held in Warsaw, Poland in March 2015. The 52 revised full papers presented were carefully reviewed and selected from 137 submissions. The papers are organized in topical sections on foundations, symmetric key, multiparty computation, concu…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46494-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory and Practice of Natural Computing Fourth International Conference, TP…
This book constitutes the refereed proceedings of the 4th International Conference on Theory and Practice of Natural Computing, TPNC 2015, held in Mieres, Spain, in December 2015. The 12 revised full papers presented together with 20 invited talks in this book were carefully reviewed and selected from 30 submissions. The scope of TPNC is rather broad, containing topics of either theoretical,…
- Edition
- -
- ISBN/ISSN
- 978-3-319-26841-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory and Applications of Models of Computation 12th Annual Conference, TAM…
This book constitutes the refereed proceedings of the 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Singapore, in May 2015. The 35 revised full papers presented were carefully reviewed and selected from 78 submissions. The papers treat all topics relating to the theory and applications of models computation, for example recursion theory and mathe…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17142-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography