Filter by
Mathematics for Computer Science
This text explains how to use mathematical models and methods to analyze problems that arise in computer science. Proofs play a central role in this work because the authors share a belief with most mathematicians that proofs are essential for genuine understanding. Proofs also play a growing role in computer science; they are used to certify that software and hardware will always behave cor…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 510 LEH m
The Definitive Guide to MongoDB
MongoDB is the most popular of the "Big Data" NoSQL database technologies, and it's still growing. David Hows from 10gen, along with experienced MongoDB authors Peter Membrey and Eelco Plugge, provide their expertise and experience in teaching you everything you need to know to become a MongoDB pro.
- Edition
- -
- ISBN/ISSN
- 978-1-4842-1182-3
- Collation
- XXVII, 343
- Series Title
- -
- Call Number
- -
Logic-Based Program Synthesis and Transformation: 24th International Symposiu…
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The aim of the LOPSTR series is to stimulate and prom…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17822-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Logic-Based Program Synthesis and Transformation: 25th International Symposiu…
This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, in July 2015. The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 30 submissions. The aim of the LOPSTR series is to stimulate and promote …
- Edition
- -
- ISBN/ISSN
- 978-3-319-27436-2
- Collation
- -
- Series Title
- -
- Call Number
- -
AI based Robot Safe Learning and Control
This open access book mainly focuses on the safe control of robot manipulators. The control schemes are mainly developed based on dynamic neural network, which is an important theoretical branch of deep reinforcement learning. In order to enhance the safety performance of robot systems, the control strategies include adaptive tracking control for robots with model uncertainties, compliance cont…
- Edition
- -
- ISBN/ISSN
- 978-981-15-5503-9
- Collation
- -
- Series Title
- -
- Call Number
- 006.3 ZHO a
Advances in Neural Networks – ISNN 2015: 12th International Symposium on Ne…
The volume LNCS 9377 constitutes the refereed proceedings of the 12th International Symposium on Neural Networks, ISNN 2015, held in Jeju, South Korea in October 2015. The 55 revised full papers presented were carefully reviewed and selected from 97 submissions. These papers cover many topics of neural network-related research including intelligent control, neurodynamic analysis, memristive neu…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-25393-0
- Collation
- XVI, 510
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 006.3 ADV a
Programming Fundamentals - A Modular Structured Approach using C++
Programming Fundamentals - A Modular Structured Approach using C++ is written by Kenneth Leroy Busbee, a faculty member at Houston Community College in Houston, Texas. The materials used in this textbook/collection were developed by the author and others as independent modules for publication within the Connexions environment. Programming fundamentals are often divided into three college cou…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 005 BUS p
Advances in Multimedia Information Processing -- PCM 2015: 16th Pacific-Rim C…
The two-volume proceedings LNCS 9314 and 9315, constitute the proceedings of the 16th Pacific-Rim Conference on Multimedia, PCM 2015, held in Gwangju, South Korea, in September 2015. The total of 138 full and 32 short papers presented in these proceedings was carefully reviewed and selected from 224 submissions. The papers were organized in topical sections named: image and audio processing;…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-24078-7
- Collation
- XXIII, 683
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.7 ADV a
Advances in Multimedia Information Processing -- PCM 2015: 16th Pacific-Rim C…
The two-volume proceedings LNCS 9314 and 9315, constitute the proceedings of the 16th Pacific-Rim Conference on Multimedia, PCM 2015, held in Gwangju, South Korea, in September 2015. The total of 138 full and 32 short papers presented in these proceedings was carefully reviewed and selected from 224 submissions. The papers were organized in topical sections named: image and audio processing;…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-24075-6
- Collation
- XXIV, 735
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.7
Advances in Machine Learning and Signal Processing: Proceedings of MALSIP 2015
This book presents important research findings and recent innovations in the field of machine learning and signal processing. A wide range of topics relating to machine learning and signal processing techniques and their applications are addressed in order to provide both researchers and practitioners with a valuable resource documenting the latest advances and trends. The book comprises a care…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-32213-1
- Collation
- IX, 312
- Series Title
- Lecture Notes in Electrical Engineering
- Call Number
- 006.3 ADV a
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography