Filter by
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
- -
Modelling and Implementation of Complex Systems:Proceedings of the 4th Intern…
This volume is a comprehensive collection of extended contributions from the fourth international symposium on Modeling and Implementing Complex Systems (MICS’2106) organized into four main topics: Networking and Cloud Computing, Software Engineering and Formal Methods, Intelligent and Information Systems, and Algorithms and Complexity. This book presents recent advances related to theory and…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-33409-7
- Collation
- XV, 342
- Series Title
- Lecture Notes in Networks and Systems
- Call Number
- -
Methodologies and Intelligent Systems for Technology Enhanced Learning
The 6th International Conference in Methodologies and intelligent Systems for Technology Enhanced Learning held in Seville (Spain) is host by the University of Seville from 1st to 3rd June, 2016. The 6th edition of this conference expands the topics of the evidence-based TEL workshops series in order to provide an open forum for discussing intelligent systems for TEL, their roots in novel learn…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-40164-5
- Collation
- XV, 193
- Series Title
- Advances in Intelligent Systems and Computing
- Call Number
- -
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2015 18t…
The three-volume set LNCS 9349, 9350, and 9351 constitutes the refereed proceedings of the 18th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2015, held in Munich, Germany, in October 2015. Based on rigorous peer reviews, the program committee carefully selected 263 revised papers from 810 submissions for presentation in three volumes. The papers…
- Edition
- 1
- ISBN/ISSN
- 1611-3349
- Collation
- XXVII, 720
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2015
The three-volume set LNCS 9349, 9350, and 9351 constitutes the refereed proceedings of the 18th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2015, held in Munich, Germany, in October 2015. Based on rigorous peer reviews, the program committee carefully selected 263 revised papers from 810 submissions for presentation in three volumes. The papers…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-24553-9
- Collation
- XLVII, 740
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Game Theoretic Analysis of Congestion, Safety and Security
Maximizing reader insights into the roles of intelligent agents in networks, air traffic and emergency departments, this volume focuses on congestion in systems where safety and security are at stake, devoting special attention to applying game theoretic analysis of congestion to: protocols in wired and wireless networks; power generation, air transportation and emergency department overcrowd…
- Edition
- -
- ISBN/ISSN
- 978-3-319-13008-8
- Collation
- -
- Series Title
- -
- Call Number
- -
The Role of Biotechnology in Improvement of Livestock Animal Health and Biote…
This book examines how biotechnology can improve livestock breeding and farming, and thereby also animal products. In the first chapters the reader will discover which techniques and approaches are currently used to improve animal breeding, animal health and the value of animal products. Particular attention is given to reproduction techniques, animal nutrition and livestock vaccines that not o…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46788-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Microbial Biotechnology- A Laboratory Manual for Bacterial Systems
Microorganisms play an important role in the maintenance of the ecosystem structure and function. Bacteria constitute the major part of the microorganisms and possess tremendous potential in many important applications from environmental clean up to the drug discovery. Much advancement has been taken place in the field of research on bacterial systems. This book summarizes the experimental setu…
- Edition
- 1
- ISBN/ISSN
- 978-81-322-2094-7
- Collation
- XVI, 239
- Series Title
- -
- Call Number
- -
Metodi matematici della Fisica
Questo libro trae la sua origine dagli appunti preparati per le lezioni di Metodi Matematici della Fisica tenute al Dipartimento di Fisica dell'Università di Pisa, e via via sistemati, raffinati e aggiornati nel corso di molti anni di insegnamento. L'intento generale è di fornire una presentazione per quanto possibile semplice e diretta dei metodi matematici basilari e rilevanti per la Fisica…
- Edition
- 1
- ISBN/ISSN
- 978-88-470-5683-1
- Collation
- X, 258
- Series Title
- UNITEXT for Physics
- Call Number
- -
MicroRNAs and Other Non-Coding RNAs in Inflammation
The book serves as a comprehensive resource for scientists and clinicians studying the role of non-coding RNAs in inflammation (viral infections, wound inflammation), human inflammatory diseases (i.e. rheumatoid arthritis, Crohn’s disease, diabetes) and innate immunity. It provides a universal reference work comprising both basic and specialized information. Given that ncRNAs represent new th…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-13688-2
- Collation
- X, 237
- Series Title
- Progress in Inflammation Research
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography