Limit Search Results
Author
SpringerLink (Online service)
(59)
Bekki, Daisuke. editor.
(2)
Debruyne, Christophe. editor.
(2)
Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634
(2)
Kurahashi, Setsuya. editor. (orcid)0000-0002-3388-109X
(2)
Language
Publication Date
-
Subject
Formal Languages and Automata Theory.
(59)
Application software.
(53)
Computer and Information Systems Applications.
(53)
Artificial intelligence.
(45)
Software engineering.
(24)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
59 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Semantic Technology 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers
Semantic Technology 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers
Author 
Li, Yuan-Fang. editor. Hu, Wei. editor. Dong, Jin Song. editor. Antoniou, Grigoris. editor. Wang, Zhe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-50112-3
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Web Reasoning and Rule Systems 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings
Web Reasoning and Rule Systems 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings
Author 
Ortiz, Magdalena. editor. Schlobach, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45276-0
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Fuzziness in Information Systems How to Deal with Crisp and Fuzzy Data in Selection, Classification, and Summarization
Fuzziness in Information Systems How to Deal with Crisp and Fuzzy Data in Selection, Classification, and Summarization
Author 
Hudec, Miroslav. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42518-4
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47166-2
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Scalable Uncertainty Management 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings
Scalable Uncertainty Management 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings
Author 
Schockaert, Steven. editor. Senellart, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45856-4
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Semantic Technology 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers
Semantic Technology 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers
Author 
Qi, Guilin. editor. Kozaki, Kouji. editor. Pan, Jeff Z. editor. Yu, Siwei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-31676-5
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Foundations of Information and Knowledge Systems 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings
Foundations of Information and Knowledge Systems 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings
Author 
Gyssens, Marc. editor. Simari, Guillermo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30024-5
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Trustworthy Global Computing 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers
Trustworthy Global Computing 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers
Author 
Ganty, Pierre. editor. (orcid)0000-0002-3625-6003 Loreti, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28766-9
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings
Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings
Author 
Skavhaug, Amund. editor. Guiochet, Jérémie. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45480-1
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Author 
Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-34096-8
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings
Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings
Author 
Alferes, Jose Julio. editor. Bertossi, Leopoldo. editor. Governatori, Guido. editor. Fodor, Paul. editor. Roman, Dumitru. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42019-6
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47169-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action