Filter by
Logic Programming and Nonmonotonic Reasoning: 13th International Conference, …
This volume contains the refereed proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA. The 290long and 11 short papers presented together with 3 invited talks, the paper reporting on the Answer Set Programming competition, and four papers presented by LPNMR student attendees at the doctoral co…
- Edition
- -
- ISBN/ISSN
- 978-3-319-23264-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the …
This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion of his 65th birthday. These papers were presented at a symposium at the University of Illinois at Urbana-Champaign on September 23-25, 2015. The symposium also featured invited talks by Claude and …
- Edition
- -
- ISBN/ISSN
- 978-3-319-23165-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the …
This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more. Many of these areas are reflected in the 20 articles in this Fe…
- Edition
- -
- ISBN/ISSN
- 978-3-319-23534-9
- Collation
- 15 b/w illustrations
- Series Title
- -
- Call Number
- -
Advances in Knowledge Representation, Logic Programming, and Abstract Argumen…
This Festschrift is published in honor of Gerhard Brewka on the occasion of his 60th birthday and contains articles from fields reflecting the breadth of Gerd's work. The 24 scientific papers included in the book are written by close friends and colleagues and cover topics such as Actions and Agents, Nonmonotonic and Human Reasoning, Preferences and Argumentation.
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-14726-0
- Collation
- XIV, 361
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 006.3 ADV a
The Cytoskeleton in Health and Disease
There is a significant need for a book on this topic, as interest in the cytoskeleton continues to grow as causes and cures for cytoskeletal diseases are further explored in biomedical research. This book is essential reading for scientists, students, and teachers interested in expanding their knowledge related to the cytoskeleton. New researchers entering the field will find classic and well a…
- Edition
- -
- ISBN/ISSN
- 978-1-4939-2904-7
- Collation
- XII, 395
- Series Title
- -
- Call Number
- -
The Cassini-Huygens Visit to Saturn
Innovative technical leaps were necessary to assemble such a multifaceted spacecraft and reliably operate it while it orbited a planet so far from our own. The Cassini-Huygens spacecraft design evolved from other deep space efforts, most notably the Galileo mission to Jupiter, enabling the voluminous, paradigm-shifting scientific data collected by the spacecraft. Some of these discoveries are a…
- Edition
- -
- ISBN/ISSN
- 978-3-319-07608-9
- Collation
- XXII, 409
- Series Title
- Springer Praxis Books tes
- Call Number
- -
Advances in Applied Biotechnology: Proceedings of the 2nd International Confe…
At the ICAB 2014, researchers from around the world will gather to discuss the latest scientific research, findings and technologies concerning Microbial Genetics and Breeding, Optimization and Control of Biological Processes, Biological Separation and Biological Purification, and Advances in Biotechnology. This conference will provide a platform for academic exchange on the application of bio…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-662-46318-5
- Collation
- XV, 656
- Series Title
- Lecture Notes in Electrical Engineering
- Call Number
- 660.6 ADV a
Advances in Applied Biotechnology: Proceedings of the 2nd International Confe…
At the ICAB 2014, researchers from around the world will gather to discuss the latest scientific research, findings and technologies concerning Microbial Genetics and Breeding, Optimization and Control of Biological Processes, Biological Separation and Biological Purification, and Advances in Biotechnology. This conference will provide a platform for academic exchange on the application of bio…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-662-45657-6
- Collation
- XIV, 634
- Series Title
- Lecture Notes in Electrical Engineering
- Call Number
- 660.6 ADV a
Learn WatchKit for iOS
Learn WatchKit for iOS covers the development of applications for the new Apple Watch using the WatchKit framework in iOS 8 and the Swift programming language. In this book, an Apple Watch application is an extension to an existing iOS app and is packaged and submitted to the App Store along with it. Using a suite of simple examples, Kim Topley, co-author of Beginning iPhone Development with Sw…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-1025-3
- Collation
- -
- Series Title
- -
- Call Number
- -
Learn Pixi.js
Create and display interactive graphics, build scenes and animated transitions, make cross-platform, responsive games and applications for multiple screen resolutions, and use Pixi.js’s spectacular WebGL rendering effects. Learn how to create applications for desktop and touch-screen devices, and how to use the best open-source plugins to extend Pixi.js’s capabilities in a myriad of excitin…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-1094-9
- 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