Filter by
Languages, Design Methods, and Tools for Electronic System Design: Selected C…
This book brings together a selection of the best papers from the seventeenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on October 14-16, 2014, in Munich, Germany. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verif…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24457-0
- Collation
- -
- Series Title
- -
- Call Number
- -
Econometrics of Risk
This edited book contains several state-of-the-art papers devoted to econometrics of risk. Some papers provide theoretical analysis of the corresponding mathematical, statistical, computational, and economical models. Other papers describe applications of the novel risk-related econometric techniques to real-life economic situations. The book presents new methods developed just recently, in par…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-13448-2
- Collation
- -
- Series Title
- -
- Call Number
- 1860-949X
Languages, Design Methods, and Tools for Electronic System Design; Selected C…
This book brings together a selection of the best papers from the sixteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in September 2013 in Paris, France. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification lang…
- Edition
- -
- ISBN/ISSN
- 978-3-319-06317-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Econometric Evaluation of Socio-Economic Programs
This book provides advanced theoretical and applied tools for the implementation of modern micro-econometric techniques in evidence-based program evaluation for the social sciences. The author presents a comprehensive toolbox for designing rigorous and effective ex-post program evaluation using the statistical software package Stata. For each method, a statistical presentation is developed, fol…
- Edition
- 1
- ISBN/ISSN
- 978-3-662-46404-5
- Collation
- -
- Series Title
- -
- Call Number
- XIII, 308
Languages, Applications and Technologies: 4th International Symposium, SLATE …
This book constitutes the refereed proceedings of the 4th International Symposium on Languages, Applications and Technologies, SLATE 2015, held in Madrid, Spain, in June 2015. The 17 revised full papers presented were carefully reviewed and selected from 57 submissions. The papers are organized in topical sections on human-human languages; human-computer languages; computer-computer languages.
- Edition
- -
- ISBN/ISSN
- 978-3-319-27653-3
- Collation
- -
- Series Title
- -
- Call Number
- -
Ecology of Blue Straggler Stars
The existence of blue straggler stars, which appear younger, hotter, and more massive than their siblings, is at odds with a simple picture of stellar evolution. Such stars should have exhausted their nuclear fuel and evolved long ago to become cooling white dwarfs. They are found to exist in globular clusters, open clusters, dwarf spheroidal galaxies of the Local Group, OB associations and as …
- Edition
- 1
- ISBN/ISSN
- 978-3-662-44433-7
- Collation
- -
- Series Title
- -
- Call Number
- XIX, 349
Languages and Compilers for Parallel Computing: 27th International Workshop, …
This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2014, held in Hillsboro, OR, USA, in September 2014. The 25 revised full papers were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on accelerator programming; algorithms for parall…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17473-0
- Collation
- -
- Series Title
- -
- Call Number
- -
Ecology and Conservation of Mountaintop grasslands in Brazil
This book is a pioneer attempt to bring forward the first synthesis on the most diverse and threatened mountain top vegetation of South America, the rupestrian grasslands. It brings to light the state of the art information on this ecosystem geology, soil formation and distribution, environmental filters that lead to biodiversity, species interactions and their fine tuned adaptations to surviv…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-29807-8
- Collation
- -
- Series Title
- -
- Call Number
- XXIII, 567
Language, Music, and Computing: First International Workshop, LMAC 2015, St. …
This book constitutes the proceedings of the First International Workshop on Language, Music and Computing, LMAC 2015, held in St. Petersburg, Russia, in April 2015. The 13 papers presented in this volume were carefully reviewed and selected from 38 submissions. They were organized in topical sections on music and language in education; corpus studies of language and music; problems of notatio…
- Edition
- -
- ISBN/ISSN
- 978-3-319-27498-0
- Collation
- -
- Series Title
- -
- Call Number
- -
Ecological Processes at Marine Fronts
This book reviews and summarizes the results and hypotheses raised by studies directly or indirectly dealing with the ecology of fronts and aims to identify the themes that connect them to produce a synthesis of this knowledge. Though not immediately perceived the ocean is highly structured and fronts are one of the most important components of its structural complexity. Marine fronts have been…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-15478-7
- Collation
- -
- Series Title
- -
- Call Number
- VIII, 68
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography