Limit Search Results
Author
SpringerLink (Online service)
(414)
Cao, Longbing. editor.
(7)
Nguyen, Ngoc Thanh. editor.
(6)
Gavrilova, Marina L. editor.
(5)
Hou, Zeng-Guang. editor.
(5)
Language
English
(414)
Publication Date
-
2013
(414)
Subject
Artificial intelligence.
(414)
Computer science.
(381)
Information Systems Applications (incl. Internet).
(121)
Information Storage and Retrieval.
(109)
Information storage and retrieval systems.
(109)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
414 Results Found Subscribe to search results
000000DEFAULT
Print
1. 
Cover image for Reactive Kripke Semantics
Reactive Kripke Semantics
Author 
Gabbay, Dov M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335100.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41389-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Business Information Systems Workshops BIS 2013 International Workshops, Poznań, Poland, June 19-20, 2013, Revised Papers
Business Information Systems Workshops BIS 2013 International Workshops, Poznań, Poland, June 19-20, 2013, Revised Papers
Author 
Abramowicz, Witold. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335139.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41687-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Modelling and Controlling of Behaviour for Autonomous Mobile Robots
Modelling and Controlling of Behaviour for Autonomous Mobile Robots
Author 
Skubch, Hendrik. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335253.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-658-00811-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Paraconsistency: Logic and Applications
Paraconsistency: Logic and Applications
Author 
Tanaka, Koji. editor. Berto, Francesco. editor. Mares, Edwin. editor. Paoli, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335759.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-4438-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for The 3rd International Workshop on Intelligent Data Analysis and Management
The 3rd International Workshop on Intelligent Data Analysis and Management
Author 
Uden, Lorna. editor. Wang, Leon S.L. editor. Hong, Tzung-Pei. editor. Yang, Hsin-Chang. editor. Ting, I-Hsien. editor.
Preferred Shelf Number 
ONLINE(336358.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-7293-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Human Aspects in Ambient Intelligence Contemporary Challenges and Solutions
Human Aspects in Ambient Intelligence Contemporary Challenges and Solutions
Author 
Bosse, Tibor. editor. Cook, Diane J. editor. Neerincx, Mark. editor. Sadri, Fariba. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336488.1)
Electronic Access 
http://dx.doi.org/10.2991/978-94-6239-018-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action