Filter by
Applications and Techniques in Information Security: 6th International Confer…
This book constitutes the refereed proceedings of the International Conference on Applications and Techniques in Information Security, ATIS 2015, held in Beijing, China, in November 2015. The 25 revised full papers and 10 short papers presented were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections on invited speeches; cryptograph; evaluation, …
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-662-48683-2
- Collation
- XVII, 398
- Series Title
- Communications in Computer and Information Science
- Call Number
- 511.8
OpenSHMEM and Related Technologies. Experiences, Implementations, and Technol…
This book constitutes the proceedings of the Second OpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2015.The 12 technical papers and one short position papers presented in this book were carefully reviewed and selected from 17 submissions. The topics of the workshop included extensions to the OpenSHMEM API, implementation of the API for current and emerging architectures, tools to deb…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-26427-1
- Collation
- X, 199
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
OpenMP: Heterogenous Execution and Data Movements:11th International Workshop…
This book constitutes the refereed proceedings of the 11th International Workshop on OpenMP, held in Aachen, Germany, in October 2015.The 19 technical full papers presented were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on applications, accelerator applications, tools, extensions, compiler and runtime, and energy.
- Edition
- 1
- ISBN/ISSN
- 978-3-319-24594-2
- Collation
- XI, 274
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Decision and Game Theory for Security : 6th International Conference,
This book constitutes the refereed proceedings of the 6th International Conference on Decision and Game Theory for Security, GameSec 2015, held in London, UK, in November 2015. The 16 revised full papers presented together with 5 short papers were carefully reviewed and selected from 37 submissions. Game and decision theory has emerged as a valuable systematic framework with powerful analytical…
- Edition
- -
- ISBN/ISSN
- 9783319255941
- Collation
- x, 371 pages
- Series Title
- -
- Call Number
- 518.1
On Meaningful Scientific Laws
The authors describe systematic methods for uncovering scientific laws a priori, on the basis of intuition, or “Gedanken Experiments”. Mathematical expressions of scientific laws are, by convention, constrained by the rule that their form must be invariant with changes of the units of their variables. This constraint makes it possible to narrow down the possible forms of the laws. It is clo…
- Edition
- 1
- ISBN/ISSN
- 978-3-662-46097-9
- Collation
- XIII, 170
- Series Title
- -
- Call Number
- -
Numerical Semigroups and Applications
This work presents applications of numerical semigroups in Algebraic Geometry, Number Theory, and Coding Theory. Background on numerical semigroups is presented in the first two chapters, which introduce basic notation and fundamental concepts and irreducible numerical semigroups. The focus is in particular on free semigroups, which are irreducible; semigroups associated with planar curves are …
- Edition
- 1
- ISBN/ISSN
- 978-3-319-82325-6
- Collation
- XIV, 106
- Series Title
- RSME Springer Series
- Call Number
- -
Numerical Methods for Nonlinear Partial Differential Equations
The description of many interesting phenomena in science and engineering leads to infinite-dimensional minimization or evolution problems that define nonlinear partial differential equations. While the development and analysis of numerical methods for linear partial differential equations is nearly complete, only few results are available in the case of nonlinear equations. This monograph devis…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-13796-4
- Collation
- X, 393
- Series Title
- Springer Series in Computational Mathematics
- Call Number
- -
Numerical Methods and Applications:8th International Conference, NMA 2014, Bo…
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Numerical Methods and Applications, NMA 2014, held in Borovets, Bulgaria, in August 2014. The 34 revised full papers presented were carefully reviewed and selected from 56 submissions for inclusion in this book. The papers are organized in the following topical sections: Monte Carlo …
- Edition
- 1
- ISBN/ISSN
- 978-3-319-15584-5
- Collation
- XII, 313
- Series Title
- Theoretical Computer Science and General Issues
- Call Number
- -
Finite Difference Methods,Theory and Applications
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Finite Difference Methods, FDM 2014, held in Lozenetz, Bulgaria, in June 2014. The 36 revised full papers were carefully reviewed and selected from 62 submissions. These papers together with 12 invited papers cover topics such as finite difference and combined finite difference me…
- Edition
- -
- ISBN/ISSN
- 978-3-319-20239-6
- Collation
- XI, 434
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Descriptional complexity of formal systems : 17th International Workshop, DCF…
This book constitutes the refereed proceedings of the 17th International Conference on Descriptional Complexity of Formal Systems, DCFS 2015, held in Waterloo, ON, Canada, in June 2015. The 23 full papers presented together with 2 invited talks were carefully reviewed and selected from 29 submissions. The subject of the workshop was descriptional complexity. Roughly speaking, this field is conc…
- Edition
- -
- ISBN/ISSN
- 9783319192253
- Collation
- xii, 293 pages
- Series Title
- -
- Call Number
- 518.1
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography