Filter by
Model Checking Software
This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and ar…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-23403-8
- Collation
- XVIII, 319
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Modality, Semantics and Interpretations
This contributed volume includes both theoretical research on philosophical logic and its applications in artificial intelligence, mostly employing the concepts and techniques of modal logic. It collects selected papers presented at the Second Asia Workshop on Philosophical Logic, held in Guangzhou, China in 2014, as well as a number of invited papers by specialists in related fields. The cont…
- Edition
- 1
- ISBN/ISSN
- 978-3-662-47196-8
- Collation
- VI, 188
- Series Title
- Logic in Asia: Studia Logica Library
- Call Number
- -
State-Dependent Impulses
By writing this book we wanted to present a new approach to impulsive boundary value problems, which is applicable both to the state-dependent and the fixed-time impulses. Existence results for boundary value problems with state-dependent impulses are rather rare in the literature and are given mostly for periodic problems. Our main goal here is to provide general existence principles which…
- Edition
- -
- ISBN/ISSN
- 978-94-6239-127-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Mentoring for Learning:Climbing the Mountain
No doubt, students appreciate the talks they have with their mentors but do they learn from it as well? Conversations can be comforting or confronting, but
- Edition
- 1
- ISBN/ISSN
- 978-94-6300-058-1
- Collation
- XVI, 346
- Series Title
- -
- Call Number
- -
Methodological Advances in Research on Emotion and Education
This volume presents different conceptual and theoretical frameworks as well as research methods that have helped educational researchers to study emotions. It includes innovative approaches that push the methodological boundaries that have served educational researchers until now and proposes new ways of researching emotions in educational contexts. In particular, this edited volume provides a…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-80481-1
- Collation
- XIV, 299
- Series Title
- -
- Call Number
- -
Electronics, Communications and Networks V Proceedings of the 5th Internatio…
This book comprises peer-reviewed contributions presented at the 5th International Conference on Electronics, Communications and Networks (CECNet 2015), held in Shanghai, China, 12-15 December, 2015. It includes new multi-disciplinary topics spanning a unique depth and breadth of cutting-edge research areas in Electronic Engineering, Communications and Networks, and Computer Technology. More ge…
- Edition
- -
- ISBN/ISSN
- 978-981-10-0740-8
- Collation
- 92 b/w illustrations, 95 illustrations in colour
- Series Title
- -
- Call Number
- -
Electronic Waste Recycling Techniques
This book presents an overview of the characterization of electronic waste. In addition, processing techniques for the recovery of metals, polymers and ceramics are described. This book serves as a source of information and as an educational technical reference for practicing scientists and engineers, as well as for students.
- Edition
- -
- ISBN/ISSN
- 978-3-319-15714-6
- Collation
- 21 b/w illustrations, 3 illustrations in colour
- Series Title
- -
- Call Number
- -
Intelligent Assistive Robots: Recent Advances in Assistive Robotics for Every…
This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by …
- Edition
- -
- ISBN/ISSN
- 978-3-319-12921-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Intelligence in the Era of Big Data
This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by …
- Edition
- -
- ISBN/ISSN
- 978-3-662-46741-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Intelligence and Security Informatics
This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by …
- Edition
- -
- ISBN/ISSN
- 978-3-319-18454-8
- 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