Filter by
FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-…
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.
- Edition
- -
- ISBN/ISSN
- 978-3-319-19249-9
- Collation
- 156 b/w illustrations
- Series Title
- -
- Call Number
- -
Systems, Software And Services Process Improvement
This volume constitutes the refereed proceedings of the 22st EuroSPI conference, held in Ankara, Turkey, in September/October 2015. The 18 revised papers presented together with 9 selected key notes and workshop papers were carefully reviewed and selected from 49 submissions. They are organized in topical sections on SPI themed case studies; SPI approaches in safety-critical domains; SPI in so…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24647-5
- Collation
- XV, 337
- Series Title
- Communications in Computer and Information Science
- Call Number
- -
Evaluation of Novel Approaches to Software Engineering
The 11 full papers presented were carefully reviewed and selected from 58 submissions. The papers reflect a growing effort to increase the dissemination of new results among researchers and professionals related to evaluation of novel approaches to software engineering. By comparing novel approaches with established traditional practices and by evaluating them against software quality criteria,…
- Edition
- -
- ISBN/ISSN
- 978-3-319-27218-4
- Collation
- 44 illustrations in colour
- Series Title
- -
- Call Number
- -
Transforming Learning and IT Management through Gamification
This book explains how gamification, specifically enterprise gamification, can help mangers in multiple areas within an enterprise to improve attrition. Employee Engagement is an important component to foster employee relations with the organization. Gamification by its inherent design helps to increase engagement within an enterprise. Several successful case studies in Gamification are present…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-18698-6
- Collation
- XIII, 119
- Series Title
- International Series on Computer Entertainment and Media Technology
- Call Number
- -
Achieving Success and Innovation in Global Sourcing: Perspectives and Practic…
This book constitutes revised selected papers from the 9th international Global Sourcing Workshop 2015, held in La Thuile, Italy, in February 2015. The 14 contributions included were carefully reviewed and selected from 40 submissions. The book offers a review of the key topics in outsourcing and offshoring, populated with practical frameworks that serve as a tool kit to students and manager…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-26739-5
- Collation
- VIII, 251
- Series Title
- Lecture Notes in Business Information Processing
- Call Number
- 001.6 ACH a
Enterprise Systems. Strategic, Organizational, and Technological Dimensions …
This book contains 15 thoroughly refereed research papers selected from 90 submissions for the 5th, 6th, and 7th International Workshop on Enterprise Systems, Pre-ICIS 2010–2012, held in St. Louis, MO, USA, in December 2010, in Shanghai, China, in December 2011, and in Orlando, FL, USA, in December 2012, respectively. In addition, two invited papers complete this volume. The contributions …
- Edition
- -
- ISBN/ISSN
- 978-3-319-17587-4
- Collation
- 74 b/w illustrations
- Series Title
- -
- Call Number
- -
Enterprise Interoperability VII Enterprise Interoperability in the Digitized…
A concise reference to the state of the art in systems interoperability, Enterprise Interoperability VII will be of great value to engineers and computer scientists working in manufacturing and other process industries and to software engineers and electronic and manufacturing engineers working in the academic environment. Furthermore, it shows how knowledge of the meaning within information an…
- Edition
- -
- ISBN/ISSN
- 978-3-319-30957-6
- Collation
- 17 b/w illustrations, 87 illustrations in colour
- Series Title
- -
- Call Number
- -
Enterprise Governance of Information Technology Achieving Alignment and Valu…
Featuring numerous case examples from companies around the world, this second edition integrates theoretical advances and empirical data with practical applications, including in-depth discussion on the COBIT 5 framework which can be used to build, measure and audit enterprise governance of IT approaches. At the forefront of the field, the authors of this volume draw from years of research and …
- Edition
- -
- ISBN/ISSN
- 978-3-319-14547-1
- Collation
- 56 b/w illustrations, 60 illustrations in colour
- Series Title
- -
- Call Number
- -
Energy Informatics 4th D-A-CH Conference, EI 2015, Karlsruhe, Germany, Novem…
This book constitutes the refereed proceedings of the 4th D-A-CH Conference on Energy Informatics, D-A-CH EI 2015, held in Karlsruhe, Germany, in November 2015. The 18 revised full papers presented were carefully reviewed and selected from 36 submissions. The papers are organized in topical sections on distributed energy sources and storage, smart meters and monitoring, research lab infrastruc…
- Edition
- -
- ISBN/ISSN
- 978-3-319-25876-8
- Collation
- 92 b/w illustrations
- Series Title
- -
- Call Number
- -
Energy Efficient Data Centers Third International Workshop, E2DC 2014, Cambr…
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Energy Efficient Data Centers, E2DC 2014, held in Cambridge, UK, in June 2014. The 10 revised full papers presented were carefully selected from numerous submissions. They are organized in three topical sections named: energy optimization algorithms and models, the future role of dat…
- Edition
- -
- ISBN/ISSN
- 978-3-319-15786-3
- Collation
- 85 b/w illustrations
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography