Filter by
Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.
- Edition
- -
- ISBN/ISSN
- 9783319194585
- Collation
- XVI, 213 hlm.
- Series Title
- Lecture Notes in Computer Science
- 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
- -
Theory and Applications of Models of Computation 12th Annual Conference, TAM…
This book constitutes the refereed proceedings of the 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Singapore, in May 2015. The 35 revised full papers presented were carefully reviewed and selected from 78 submissions. The papers treat all topics relating to the theory and applications of models computation, for example recursion theory and mathe…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17142-5
- 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
- -
The SenticNet Sentiment Lexicon: Exploring Semantic Richness in Multi-Word Co…
The research and its outcomes presented in this book, is about lexicon-based sentiment analysis. It uses single-, and multi-word concepts from the SenticNet sentiment lexicon as the source of sentiment information for the purpose of sentiment classification. In 6 chapters the book sheds light on the comparison of sentiment classification accuracy between single-word and multi-word concepts, …
- Edition
- -
- ISBN/ISSN
- 978-3-319-38971-4
- Collation
- -
- Series Title
- -
- Call Number
- -
The Semantic Web: ESWC 2015 Satellite Events ESWC 2015 Satellite Events, Por…
This book constitutes the thoroughly refereed post-conference proceedings of the Satellite Events of the 12th European Conference on the Semantic Web, ESWC 2015, held in Portorǒz, Slovenia, in May/June 2015. The volume contains 12 poster and 22 demonstration papers, selected from 50 submissions, as well as 22 best workshop papers selected from 140 papers presented at the 16 workshops that took…
- Edition
- -
- ISBN/ISSN
- 978-3-319-25639-9
- Collation
- -
- Series Title
- -
- Call Number
- -
The Semantic Web - ISWC 2015 14th International Semantic Web Conference, Bet…
The two-volume set LNCS 9366 and 9367 constitutes the refereed proceedings of the 14th International Semantic Web Conference, ISWC 2015, held in Bethlehem, PA, USA, in October 2015. The International Semantic Web Conference is the premier forum for Semantic Web research, where cutting edge scientific results and technological innovations are presented, where problems and solutions are discus…
- Edition
- -
- ISBN/ISSN
- 978-3-319-25010-6
- Collation
- -
- Series Title
- -
- Call Number
- -
The Semantic Web - ISWC 2015 14th International Semantic Web Conference, Bet…
The two-volume set LNCS 9366 and 9367 constitutes the refereed proceedings of the 14th International Semantic Web Conference, ISWC 2015, held in Bethlehem, PA, USA, in October 2015. The International Semantic Web Conference is the premier forum for Semantic Web research, where cutting edge scientific results and technological innovations are presented, where problems and solutions are discus…
- Edition
- -
- ISBN/ISSN
- 978-3-319-25007-6
- Collation
- -
- Series Title
- -
- Call Number
- -
One Hundred Prisoners and a Light Bulb
A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation cells and then will be interrogated one by one in a room containing a light with an on/off switch. The prisoners may communicate with one another by toggling the light switch (and that is the only way in which they can communicate). The light is initially switched off. There is no f…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-16693-3
- Collation
- IX, 188
- Series Title
- -
- Call Number
- -
Spiritual Shakespeares
Spiritual Shakespeares is the first book to explore the scope for reading Shakespeare spiritually in the light of contemporary theory and current world events. Ewan Fernie has brought together an exciting cast of critics in order to respond to the ‘religious turn’ in recent literary theory and to the spiritualized politics of terrorism and the ‘War on Terror’. Exploring a genuinely n…
- Edition
- -
- ISBN/ISSN
- 9780203625491
- 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