Filter by
Verification, Model Checking, and Abstract Interpretation 16th International…
This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpr…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46081-8
- Collation
- XVIII, 468
- Series Title
- -
- Call Number
- -
Unifying Theories of Programming 5th International Symposium, UTP 2014, Sing…
This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014. The 7 revised full papers presented together with one invited talk were carefully reviewed and selected from 11 submissions. They deal with nume…
- Edition
- -
- ISBN/ISSN
- 978-3-319-14806-9
- Collation
- 10 b/w illustrations
- Series Title
- -
- Call Number
- -
Unconventional Computation and Natural Computation 14th International Confer…
This book constitutes the refereed proceedings of the 14th International Conference on Unconventional Computation and Natural Computation, UCNC 2015, held in Auckland, New Zealand, in August/September 2015. The 16 revised full papers were carefully reviewed and selected from 38 submissions. The papers cover a wide range of topics including among others molecular (DNA) computing; quantum computi…
- Edition
- -
- ISBN/ISSN
- 978-3-319-21819-9
- Collation
- 58 b/w illustrations
- Series Title
- -
- Call Number
- -
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
- -
The Digital Synaptic Neural Substrate
This book describes a new computational approach to creativity. With chess as the domain of investigation, the authors show experimentally how a computer can be imbued with the 'spark' of creativity that enables it to compose chess problems or puzzles that are both challenging and aesthetically appealing to humans. This new approach called the Digital Synaptic Neural Substrate (DSNS) mimics the…
- Edition
- -
- ISBN/ISSN
- 978-3-319-28079-0
- Collation
- XV, 119
- Series Title
- SpringerBriefs in Cognitive Computation
- Call Number
- -
Neural Information Processing:22nd International Conference, ICONIP 2015, Nov…
The four volume set LNCS 9489, LNCS 9490, LNCS 9491, and LNCS 9492 constitutes the proceedings of the 22nd International Conference on Neural Information Processing, ICONIP 2015, held in Istanbul, Turkey, in November 2015. The 231 full papers presented were carefully reviewed and selected from 375 submissions. The 4 volumes represent topical sections containing articles on Learning Algorithm…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-26560-5
- Collation
- XVII, 702
- Series Title
- Theoretical Computer Science and General Issues
- Call Number
- -
Learning and Intelligent Optimization: 9th International Conference, LION 9, …
This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Learning and Optimization, LION 9, which was held in Lille, France, in January 2015. The 31 contributions presented were carefully reviewed and selected for inclusion in this book. The papers address all fields between machine learning, artificial intelligence, mathematical programm…
- Edition
- -
- ISBN/ISSN
- 978-3-319-19084-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Evolving Computability 11th Conference on Computability in Europe, CiE 2015,…
This book constitutes the refereed proceedings of the 11th Conference on Computability in Europe, CiE 2015, held in Bucharest, Romania, in June/July 2015. The 26 revised papers presented were carefully reviewed and selected from 64 submissions and included together with 10 invited papers in this proceedings. The conference CiE 2015 has six special sessions: two sessions, Representing Streams…
- Edition
- -
- ISBN/ISSN
- 978-3-319-20028-6
- Collation
- 20 b/w illustrations
- Series Title
- -
- Call Number
- -
Evolutionary Multi-Criterion Optimization 8th International Conference, EMO …
This book constitutes the refereed proceedings of the 8th International Conference on Evolutionary Multi-Criterion Optimization, EMO 2015 held in Guimarães, Portugal in March/April 2015. The 68 revised full papers presented together with 4 plenary talks were carefully reviewed and selected from 90 submissions. The EMO 2015 aims to continue these type of developments, being the papers presented…
- Edition
- -
- ISBN/ISSN
- 978-3-319-15934-8
- Collation
- 156 b/w illustrations
- Series Title
- -
- Call Number
- -
Evolutionary Multi-Criterion Optimization 8th International Conference, EMO …
This book constitutes the refereed proceedings of the 8th International Conference on Evolutionary Multi-Criterion Optimization, EMO 2015 held in Guimarães, Portugal in March/April 2015. The 68 revised full papers presented together with 4 plenary talks were carefully reviewed and selected from 90 submissions. The EMO 2015 aims to continue these type of developments, being the papers presented…
- Edition
- -
- ISBN/ISSN
- 978-3-319-15892-1
- Collation
- 204 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