Filter by
Enterprise Interoperability 6th International IFIP Working Conference, IWEI …
This book constitutes the proceedings of the 6th International IFIP Working Conference on Enterprise Interoperability, IWEI 2015, held in Nîmes, France, in May 2015. The event was organized by the IFIP Working Group 5.8 on Enterprise Interoperability in co-operation with INTEROP-VLab and PGSO (Pole Grand Sud Ouest) from INTEROP-Vlab. The theme for IWEI 2015 was “From Enterprise Interoperabil…
- Edition
- -
- ISBN/ISSN
- 978-3-662-47157-9
- Collation
- 73 b/w illustrations
- Series Title
- -
- Call Number
- -
Enterprise Information Systems 17th International Conference, ICEIS 2015, Ba…
This book contains revised papers from the 17th International Conference on Enterprise Information Systems, ICEIS 2015, held in Barcelona, Spain, in April 2015. The 31 papers presented in this volume were carefully reviewed and selected from a total of 327 submissions. The book also contains one full-paper invited talk. The selected papers reflect state-of-the-art research that is oriented …
- Edition
- -
- ISBN/ISSN
- 978-3-319-29133-8
- Collation
- 263 illustrations in colour
- Series Title
- -
- Call Number
- -
Enterprise Information Systems 16th International Conference, ICEIS 2014, Li…
This book contains extended and revised papers from the 16th International Conference on Enterprise Information Systems, ICEIS 2014, held in Lisbon, Portugal, in April 2014. The 24 papers presented in this volume were carefully reviewed and selected from a total of 313 submissions. The book also contains two full-paper invited talks. The selected papers reflect state-of-the-art research that…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22348-3
- Collation
- 178 b/w illustrations
- Series Title
- -
- Call Number
- -
Enhanced Building Information Models Using IoT Services and Integration Patt…
This book explains how to combine and exploit sensor networks and internet-of-things (IoT) technologies and Web-service design patterns to enrich and integrate Building Information Models (BIMs). It provides approaches and software architectures for facilitating the interaction with (and between) BIMs through Web services, and for enabling and facilitating the fusion of the information residing…
- Edition
- -
- ISBN/ISSN
- 978-3-319-21825-0
- Collation
- 56 b/w illustrations
- Series Title
- -
- Call Number
- -
Engineering the Web in the Big Data Era 15th International Conference, ICWE …
This book constitutes the refereed proceedings of the 15th International Conference on Web Engineering, ICWE 2015, held in Rotterdam, The Netherlands, in June 2015. The 26 full research papers, 11 short papers, 7 industry papers, 11 demonstrations, 6 posters and 4 contributions to the PhD symposium presented were carefully reviewed and selected from 100 submissions. Moreover 2 tutorials are …
- Edition
- -
- ISBN/ISSN
- 978-3-319-19890-3
- Collation
- 225 b/w illustrations
- Series Title
- -
- Call Number
- -
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
- -
Energy Minimization Methods in Computer Vision and Pattern Recognition 10th …
This volume constitutes the refereed proceedings of the 10th International Conference on Energy Minimization Methods in Computer Vision and Pattern Recognition, EMMCVPR 2015, held in Hong Kong, China, in January 2015. The 36 revised full papers were carefully reviewed and selected from 45 submissions. The papers are organized in topical sections on discrete and continuous optimization; image re…
- Edition
- -
- ISBN/ISSN
- 978-3-319-14612-6
- Collation
- 179 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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography