Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Book
|
Chinese Lexical Semantics: 17th Workshop, CLSW 2016, Singapore, Singapore, May 20-22, 2016, Revised Selected PapersDong, Minghui ; Lin, Jingxia ; Tang, Xuri Tang, Xuri ; Dong, Minghui ; Lin, Jingxia ; Dong, Minghui ; Lin, Jingxia ; Tang, XuriCham: Springer Nature 2016Full text available |
|
2 |
Material Type: Book
|
Proceedings of 2016 Chinese Intelligent Systems ConferenceJia, Yingmin ; Du, Junping ; Zhang, Weicun ; Li, Hongbo Jia, Yingmin ; Li, Hongbo ; Du, Junping ; Zhang, WeicunNetherlands: Springer Nature 2016Full text available |
|
3 |
Material Type: Book
|
Proceedings of 2016 Chinese Intelligent Systems ConferenceJia, Yingmin ; Du, Junping ; Zhang, Weicun ; Li, Hongbo Jia, Yingmin ; Li, Hongbo ; Du, Junping ; Zhang, WeicunNetherlands: Springer Nature 2016Full text available |
|
4 |
Material Type: Book
|
Deductive Software Verification - The KeY Book: From Theory to PracticeAhrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H ; Ulbrich, Mattias H'hnle, Reiner ; Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Ulbrich, Mattias ; Beckert, Bernhard ; Schmitt, Peter H. ; Bubel, Richard ; Ahrendt, WolfgangCham: Springer Nature 2016Full text available |
|
5 |
Material Type: Book
|
Subjective Logic: A Formalism for Reasoning under UncertaintyJøsang, AudunCham: Springer International Publishing AG 2016Full text available |
|
6 |
Material Type: Book
|
Fuzziness in Information Systems: How to Deal with Crisp and Fuzzy Data in Selection, Classification, and SummarizationHudec, MiroslavCham: Springer International Publishing AG 2016Full text available |
|
7 |
Material Type: Book
|
Multi-disciplinary Trends in Artificial Intelligence: 10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016, ProceedingsSombattheera, Chattrakul ; Stolzenburg, Frieder ; Lin, Fangzhen ; Nayak, Abhaya Lin, Fangzhen ; Nayak, Abhaya ; Sombattheera, Chattrakul ; Stolzenburg, Frieder ; Sombattheera, Chattrakul ; Lin, Fangzhen ; Stolzenburg, Frieder ; Nayak, AbhayaCham: Springer Nature 2016Full text available |
|
8 |
Material Type: Book
|
Machine Learning in Medical Imaging: 7th International Workshop, MLMI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, ProceedingsWang, Li ; Adeli, Ehsan ; Wang, Qian ; Shi, Yinghuan ; Suk, Heung-Il Shi, Yinghuan ; Wang, Li ; Wang, Qian ; Adeli, Ehsan ; Wang, Li ; Shi, Yinghuan ; Suk, Heung-Il ; Wang, Qian ; Adeli, EhsanCham: Springer Nature 2016Full text available |
|
9 |
Material Type: Book
|
Evolutionary Computer Vision: The First FootprintsOlague, GustavoBerlin, Heidelberg: Springer Nature 2016Full text available |
|
10 |
Material Type: Book
|
Multiagent System Technologies: 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. ProceedingsKlusch, Matthias ; Unland, Rainer ; Shehory, Onn ; Pokahr, Alexander ; Ahrndt, Sebastian Pokahr, Alexander ; Shehory, Onn ; Ahrndt, Sebastian ; Klusch, Matthias ; Unland, RainerCham: Springer International Publishing AG 2016Full text available |