Limit Search Results
Author
SpringerLink (Online service)
(29)
Hameurlain, Abdelkader. editor.
(4)
Benslimane, Djamal. editor.
(2)
Damiani, Ernesto. editor.
(2)
Debruyne, Christophe. editor.
(2)
Language
Publication Date
-
Subject
Formal Languages and Automata Theory.
(29)
Artificial intelligence.
(24)
Data Mining and Knowledge Discovery.
(16)
Data mining.
(16)
Application software.
(15)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
30 Results Found Subscribe to search results
000000DEFAULT
Print
25. 
Cover image for Description Logics in Multimedia Reasoning
Description Logics in Multimedia Reasoning
Author 
Sikos, Leslie F. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54066-5
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Metadata and Semantic Research 11th International Conference, MTSR 2017, Tallinn, Estonia, November 28 - December 1, 2017, Proceedings
Metadata and Semantic Research 11th International Conference, MTSR 2017, Tallinn, Estonia, November 28 - December 1, 2017, Proceedings
Author 
Garoufallou, Emmanouel. editor. Virkus, Sirje. editor. Siatri, Rania. editor. Koutsomiha, Damiana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70863-8
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII Selected Papers from FDSE 2014
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII Selected Papers from FDSE 2014
Author 
Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Dang, Tran Khanh. editor. (orcid)0000-0002-7282-3589 Thoai, Nam. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49175-1
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
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:
29. 
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:
30. 
Cover image for Automatic defense against zero-day polymorphic worms in communication networks
Automatic defense against zero-day polymorphic worms in communication networks
Author 
Mohammed, Mohssen, 1982, author. Pathan, Al-Sakib Khan.
Preferred Shelf Number 
QA76.76 .C68 M64 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies: