Filter by
Engineering Secure Software and Systems 7th International Symposium, ESSoS 2…
This book constitutes the refereed proceedings of the 7th International Symposium on Engineering Secure Software and Systems, ESSoS 2015, held in Milan, Italy, in March 2015. The 11 full papers presented together with 5 short papers were carefully reviewed and selected from 41 submissions. The symposium features the following topics: formal methods; cloud passwords; machine learning; measuremen…
- Edition
- -
- ISBN/ISSN
- 978-3-319-15618-7
- Collation
- 63 b/w illustrations
- Series Title
- -
- Call Number
- -
End-User Development 5th International Symposium, IS-EUD 2015, Madrid, Spain…
This book constitutes the refereed proceedings of the 5th International Symposium on End-User Development, IS-EUD 2015, held in Madrid, Spain, in May 2015. The 10 full papers and 13 short papers were presented at the event. Additionally, the volume contains 2 keynote speeches, 3 doctoral consortia papers, 1 workshop paper and 6 EUD-playground papers. The papers provide a broad overview of the c…
- Edition
- -
- ISBN/ISSN
- 978-3-319-18425-8
- Collation
- 64 b/w illustrations
- Series Title
- -
- Call Number
- -
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
- -
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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography