Filter by
Computer aided verification : 27th International Conference, CAV 2015, San Fr…
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015. The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model check…
- Edition
- -
- ISBN/ISSN
- 9783319216683
- Collation
- xviii, 469 pages
- Series Title
- -
- Call Number
- 004
Computer aided verification : 27th International Conference, CAV 2015, San Fr…
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015. The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model check…
- Edition
- -
- ISBN/ISSN
- 9783319216904
- Collation
- xxiii, 677 pages
- Series Title
- -
- Call Number
- 004
Computer Aided Virtual Manufacturing Using Creo Parametric: Easy to Learn Ste…
Providing a step-by-step guide for the implementation of virtual manufacturing using Creo Parametric software (formerly known as Pro-Engineer), this book creates an engaging and interactive learning experience for manufacturing engineering students. Featuring graphic illustrations of simulation processes and operations, and written in accessible English to promote user-friendliness, the book co…
- Edition
- -
- ISBN/ISSN
- 9783319233598
- Collation
- l, 640 pages
- Series Title
- -
- Call Number
- 004
Unsupervised Learning Algorithms
This book summarizes the state-of-the-art in unsupervised learning. The contributors discuss how with the proliferation of massive amounts of unlabeled data, unsupervised learning algorithms, which can automatically discover interesting and useful patterns in such data, have gained popularity among researchers and practitioners. The authors outline how these algorithms have found numerous appli…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24211-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Universal Access in Human-Computer Interaction. Access to the Human Environme…
The four LNCS volume set 9175-9178 constitutes the refereed proceedings of the 9th International Conference on Learning and Collaboration Technologies, UAHCI 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, in Los Angeles, CA, USA in August 2015, jointly with 15 other thematically similar conferences. The total of 1462 papers and 246 posters pres…
- Edition
- -
- ISBN/ISSN
- 978-3-319-20687-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Universal Access in Human-Computer Interaction. Access to Today's Technologie…
The four LNCS volume set 9175-9178 constitutes the refereed proceedings of the 9th International Conference on Learning and Collaboration Technologies, UAHCI 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, in Los Angeles, CA, USA in August 2015, jointly with 15 other thematically similar conferences. The total of 1462 papers and 246 posters pres…
- Edition
- -
- ISBN/ISSN
- 978-3-319-20678-3
- Collation
- -
- Series Title
- -
- Call Number
- -
Universal Access in Human-Computer Interaction. Access to Learning, Health an…
The four LNCS volume set 9175-9178 constitutes the refereed proceedings of the 9th International Conference on Learning and Collaboration Technologies, UAHCI 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, in Los Angeles, CA, USA in August 2015, jointly with 15 other thematically similar conferences. The total of 1462 papers and 246 posters pres…
- Edition
- -
- ISBN/ISSN
- 978-3-319-20684-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Universal Access in Human-Computer Interaction. Access to Interaction 9th In…
The four LNCS volume set 9175-9178 constitutes the refereed proceedings of the 9th International Conference on Learning and Collaboration Technologies, UAHCI 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, in Los Angeles, CA, USA in August 2015, jointly with 15 other thematically similar conferences. The total of 1462 papers and 246 posters pres…
- Edition
- -
- ISBN/ISSN
- 978-3-319-20681-3
- Collation
- -
- Series Title
- -
- Call Number
- -
Information and Knowledge Organisation in Digital Humanities
ABSTRACT Information and Knowledge Organisation explores the role of knowledge organisation in the digital humanities. By focusing on how information is described, represented and organised in both research and practice, this work furthers the transdisciplinary nature of digital humanities. Including contributions from Asia, Australia, Europe, North America and the Middle East, the volume e…
- Edition
- -
- ISBN/ISSN
- 9781003131816
- Collation
- -
- Series Title
- -
- Call Number
- -
Rights for Robots
ABSTRACT Bringing a unique perspective to the burgeoning ethical and legal issues surrounding the presence of artificial intelligence in our daily lives, the book uses theory and practice on animal rights and the rights of nature to assess the status of robots. Through extensive philosophical and legal analyses, the book explores how rights can be applied to nonhuman entities. This task is …
- Edition
- -
- ISBN/ISSN
- 9780429288159
- Collation
- -
- Series Title
- -
- Call Number
- 004.1
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography