Filter by
Networked Systems
This book constitutes the revised selected papers of the Third International Conference on Networked Systems, NETYS 2015, held in Agadir, Morocco, in May 2015. The 29 full papers and 12 short papers presented together with 22 poster abstracts were carefully reviewed and selected from 133 submissions. They address major topics such as multi-core architectures; concurrent and distributed algorith…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-26849-1
- Collation
- XXVIII, 526
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Neogene Micropaleontology and Stratigraphy of Argentina
This book gathers and updates the most significant advances of the last two centuries and presents an unprecedented micro paleontological study covering more than 20 stratigraphic sections. This information is supplemented by numerous sedimentological observations and analyses, on the basis of which a new lithostratigraphic framework for the Neogene of the Chacoparanense Basin is proposed.The b…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-12813-9
- Collation
- XIV, 218
- Series Title
- SpringerBriefs in Earth System Sciences
- Call Number
- -
Their World: A Diversity of Microbial Environments
This volume summarizes recent advances in environmental microbiology by providing fascinating insights into the diversity of microbial life that exists on our planet. The first two chapters present theoretical perspectives that help to consolidate our understanding of evolution as an adaptive process by which the niche and habitat of each species develop in a manner that interconnects individua…
- Edition
- -
- ISBN/ISSN
- 978-3-319-28071-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Neural Information Processing:22nd International Conference, ICONIP 2015, Ist…
The four volume set LNCS 9489, LNCS 9490, LNCS 9491, and LNCS 9492 constitutes the proceedings of the 22nd International Conference on Neural Information Processing, ICONIP 2015, held in Istanbul, Turkey, in November 2015. The 231 full papers presented were carefully reviewed and selected from 375 submissions. The 4 volumes represent topical sections containing articles on Learning Algorithm…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-26554-4
- Collation
- XVII, 710
- Series Title
- Theoretical Computer Science and General Issues
- Call Number
- -
Neural Information Processing:22nd International Conference, ICONIP 2015, Ist…
The four volume set LNCS 9489, LNCS 9490, LNCS 9491, and LNCS 9492 constitutes the proceedings of the 22nd International Conference on Neural Information Processing, ICONIP 2015, held in Istanbul, Turkey, in November 2015. The 231 full papers presented were carefully reviewed and selected from 375 submissions. The 4 volumes represent topical sections containing articles on Learning Algorithm…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-26534-6
- Collation
- XVI, 666
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
The Windows 10 Accessibility Handbook Supporting Windows Users with Special …
Learn everything you need to know about making Windows 10 easier to use, see, hear, touch, or read, whether you are using it yourself, setting it up for another person, teaching others about ease of use at work or in the home, or working with a variety of people with specific needs in the community.
- Edition
- -
- ISBN/ISSN
- 978-1-4842-1733-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Neural Information Processing:22nd International Conference, ICONIP 2015, Ist…
The four volume set LNCS 9489, LNCS 9490, LNCS 9491, and LNCS 9492 constitutes the proceedings of the 22nd International Conference on Neural Information Processing, ICONIP 2015, held in Istanbul, Turkey, in November 2015. The 231 full papers presented were carefully reviewed and selected from 375 submissions. The 4 volumes represent topical sections containing articles on Learning Algorithm…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-26531-5
- Collation
- XVII, 742
- Series Title
- Theoretical Computer Science and General Issues
- Call Number
- -
Near Threshold Computing:Technology, Methods and Applications
This book explores near-threshold computing (NTC), a design-space using techniques to run digital chips (processors) near the lowest possible voltage. Readers will be enabled with specific techniques to design chips that are extremely robust; tolerating variability and resilient against errors. Variability-aware voltage and frequency allocation schemes will be presented that will provide perfor…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-23388-8
- Collation
- IX, 100
- Series Title
- -
- Call Number
- -
Navier–Stokes Equations:An Introduction with Applications
This volume is devoted to the study of the Navier–Stokes equations, providing a comprehensive reference for a range of applications: from advanced undergraduate students to engineers and professional mathematicians involved in research on fluid mechanics, dynamical systems, and mathematical modeling. Equipped with only a basic knowledge of calculus, functional analysis, and partial differenti…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-27758-5
- Collation
- XIV, 390
- Series Title
- Advances in Mechanics and Mathematics
- Call Number
- -
NASA Formal Methods:7th International Symposium, NFM 2015, Pasadena, CA, USA,…
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015. The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. The topics include model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-17523-2
- Collation
- XIII, 458
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography