Filter by
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
- -
Multiple Access Communications:8th International Workshop, MACOM 2015, Helsin…
This book constitutes the refereed proceedings of the 8th International Workshop on Multiple Access Communications, MACOM 2015, held in Helsinki, Finland, in September 2015. The 12 full papers presented were carefully reviewed and selected from 18 submissions. They describe the latest advancements in the field of multiple access communications with an emphasis on wireless sensor networks; ph…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-23439-7
- Collation
- X, 159
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Multilevel Business Processes
Christoph G. Schuetz is a postdoctoral researcher at the Department of Business Informatics – Data & Knowledge Engineering of the Johannes Kepler University Linz, Austria. His research interests include data warehousing, semantic web, business process management, and data privacy.
- Edition
- 1
- ISBN/ISSN
- 978-3-658-11083-3
- Collation
- XXIV, 232
- Series Title
- -
- Call Number
- -
Mobile, Secure, and Programmable Networking
This book constitutes the thoroughly refereed post-conference proceedings of the First International Conference on Mobile, Secure, and Programmable Networking, MSPN 2015, held in Paris, France, in June 2015. The 14 papers presented in this volume were carefully reviewed and selected from 36 submissions. They discuss new trends in networking infrastructures, security, services and applications …
- Edition
- 1
- ISBN/ISSN
- 978-3-319-25743-3
- Collation
- X, 177
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Mobile and Wireless Technology 2015
This book provides a snapshot of the current state-of-the-art in the fields of mobile and wireless technology, security and applications. The proceedings of the 2nd International Conference on Mobile and Wireless Technology (ICMWT2015), it represents the outcome of a unique platform for researchers and practitioners from academia and industry to share cutting-edge developments in the field of …
- Edition
- 1
- ISBN/ISSN
- 978-3-662-47668-0
- Collation
- X, 214
- Series Title
- Lecture Notes in Electrical Engineering
- Call Number
- -
Mobile and Wireless Technologies 2016
This book presents the peer-reviewed contributions of ICMWT2016, an international conference devoted to mobile and wireless technology. Researchers and professionals from academia and industry met to discuss the cutting-edge developments in the field. The book includes papers on mobile and wireless networks, the increasingly important security issues, data management, as well as the latest deve…
- Edition
- 1
- ISBN/ISSN
- 978-981-10-1408-6
- Collation
- XIII, 252
- Series Title
- Lecture Notes in Electrical Engineering
- Call Number
- -
Mobile Web and Intelligent Information Systems
This book constitutes the refereed proceedings of the 12th International Conference on Mobile Web and Intelligent Information Systems, MobiWIS 2015, held in Rome, Italy, in August 2015. The 17 full papers and 3 short papers presented were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections such as mobile services and applications; usability and visu…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-23143-3
- Collation
- XVI, 229
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Models of Strategic Reasoning:Logics, Games, and Communities
Strategic behavior is the key to social interaction, from the ever-evolving world of living beings to the modern theatre of designed computational agents. Strategies can make or break participants’ aspirations, whether they are selling a house, playing the stock market, or working toward a treaty that limits global warming. This book aims at understanding the phenomenon of strategic behavior …
- Edition
- 1
- ISBN/ISSN
- 978-3-662-48539-2
- Collation
- XI, 333
- Series Title
- Theoretical Computer Science and General Issues
- Call Number
- -
The Scrum Culture
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
- -
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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography