Filter by
Computer Aided Systems Theory – EUROCAST 2015 15th International Conference…
This volume constitutes the papers presented at the 15th International Conference on Computer Aided Systems Theory, EUROCAST 2015, held in February 2015 in Las Palmas de Gran Canaria, Spain. The total of 107 papers presented were carefully reviewed and selected for inclusion in the book. The contributions are organized in topical sections on Systems Theory and Applications; Modelling Biological…
- Edition
- -
- ISBN/ISSN
- 9783319273402
- Collation
- xviii, 887 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
- 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
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 algebra and polynomials : applications of algebra and number theory
Algebra and number theory have always been counted among the most beautiful mathematical areas with deep proofs and elegant results. However, for a long time they were not considered that important in view of the lack of real-life applications. This has dramatically changed: nowadays we find applications of algebra and number theory frequently in our daily life. This book focuses on the theory …
- Edition
- -
- ISBN/ISSN
- 9783319150819
- Collation
- ix, 213 pages
- Series Title
- -
- Call Number
- 004
Computer algebra in scientific computing : 17th International Workshop, CASC …
This book constitutes the proceedings of the 17th International Workshop on Computer Algebra in Scientific Computing, CASC 2015, held in Aachen, Germany, in September 2015. The 35 full papers presented in this volume were carefully reviewed and selected from 42 submissions. They deal with the ongoing progress both in theoretical computer algebra and its expanding applications. New and closer in…
- Edition
- -
- ISBN/ISSN
- 9783319240213
- Collation
- xiii, 494 pages
- Series Title
- -
- Call Number
- 004
Image analysis and recognition : 16th International Conference, ICIAR 2019, W…
This two-volume set LNCS 11662 and 11663 constitutes the refereed proceedings of the 16th International Conference on Image Analysis and Recognition, ICIAR 2019, held in Waterloo, ON, Canada, in August 2019. The 58 full papers presented together with 24 short and 2 poster papers were carefully reviewed and selected from 142 submissions. The papers are organized in the following topical sections…
- Edition
- -
- ISBN/ISSN
- 9783030272722
- Collation
- xxii, 487 pages
- Series Title
- -
- Call Number
- 004
Computer analysis of images and patterns : 16th International Conference, CAI…
The two volume set LNCS 9256 and 9257 constitutes the refereed proceedings of the 16th International Conference on Computer Analysis of Images and Patterns, CAIP 2015, held in Valletta, Malta, in September 2015. The 138 papers presented were carefully reviewed and selected from numerous submissions. CAIP 2015 is the sixteenth in the CAIP series of biennial international conferences devoted to a…
- Edition
- -
- ISBN/ISSN
- 9783319231921
- Collation
- xxii, 841 pages
- Series Title
- -
- Call Number
- 004
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography