Filter by
Formal Aspects of Component Software
This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014. The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in topical sections named: compositional approaches; adaptation and evolution; application and ex…
- Edition
- -
- ISBN/ISSN
- 9783319153179
- Collation
- X, 385 hlm.
- Series Title
- Lecture Notes in Computer Science
- 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 Practice of Model Transformations 8th International Conference, I…
This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L'Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. The 16 revised papers were carefully selected from 34 submissions. The papers are organized in topical sections on change management; reu…
- Edition
- -
- ISBN/ISSN
- 978-3-319-21155-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium,…
This book constitutes the refereed proceedings of the 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, held in Cali, Colombia, in October 2015. The 25 revised full papers presented together with 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewed and selected from 93 submissions. The papers cover various topics such as algebra and category…
- Edition
- -
- ISBN/ISSN
- 978-3-319-25150-9
- Collation
- -
- Series Title
- -
- Call Number
- -
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
- -
The Scrum Culture Introducing Agile Methods in Organizations
This book is a guide for managers, Scrum Masters and agile coaches who are interested in agile organizational methods and who are planning to introduce Scrum at their own company. Scrum is not only a product development framework but can also be used to structure activities for agile and lean organizational development. Divided into five major parts, the book first introduces and defines t…
- Edition
- -
- ISBN/ISSN
- 978-3-319-11827-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Open Source Systems: Adoption and Impact:11th IFIP WG 2.13 International Conf…
This book constitutes the refereed proceedings of the 11th International IFIP WG 2.13 International Conference on Open Source Systems, OSS 2015, held in Florence, Italy, in May 2015. The 16 revised full papers presented were carefully reviewed and selected from 50 submissions. They have been organized in the following topical sections: open source software engineering; communication and collabo…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-17836-3
- Collation
- XVIII, 181
- Series Title
- IFIP Advances in Information and Communication Technology
- Call Number
- -
Application and Theory of Petri Nets and Concurrency: 36th International Conf…
This book constitutes the proceedings of the 36th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2015, held in Brussels, Belgium, in June 2015. The 12 regular papers and 2 tool papers presented in this volume were carefully reviewed and selected from 34 submissions. In addition the book contains 3 invited talks in full paper length. The papers co…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-19488-2
- Collation
- X, 351
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.642 app A
OSS Reliability Measurement and Assessment
This book analyses quantitative open source software (OSS) reliability assessment and its applications, focusing on three major topic areas: the Fundamentals of OSS Quality/Reliability Measurement and Assessment; the Practical Applications of OSS Reliability Modelling; and Recent Developments in OSS Reliability Modelling. Offering an ideal reference guide for graduate students and researchers …
- Edition
- 1
- ISBN/ISSN
- 978-3-319-31817-2
- Collation
- X, 185
- Series Title
- Springer Series in Reliability Engineering
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography