Automated Technology for Verification and Analysis |
- isbn : 978-3-319-11936-6
- pisbn : 978-3-319-11935-9
- doi : 10.1007/978-3-319-11936-6
|
Fulltext
|
Similarity Search and Applications |
- isbn : 978-3-319-11988-5
- pisbn : 978-3-319-11987-8
- doi : 10.1007/978-3-319-11988-5
|
Fulltext
|
The Semantic Web – ISWC 2014 |
- isbn : 978-3-319-11915-1
- pisbn : 978-3-319-11914-4
- doi : 10.1007/978-3-319-11915-1
|
Fulltext
|
Advances in Artificial Intelligence -- IBERAMIA 2014 |
- isbn : 978-3-319-12027-0
- pisbn : 978-3-319-12026-3
- doi : 10.1007/978-3-319-12027-0
|
Fulltext
|
The Semantic Web – ISWC 2014 |
- isbn : 978-3-319-11964-9
- pisbn : 978-3-319-11963-2
- doi : 10.1007/978-3-319-11964-9
|
Fulltext
|
Brain-Inspired Computing |
- isbn : 978-3-319-12084-3
- pisbn : 978-3-319-12083-6
- doi : 10.1007/978-3-319-12084-3
|
Fulltext
|
Security, Privacy, and Applied Cryptography Engineering |
- isbn : 978-3-319-12060-7
- pisbn : 978-3-319-12059-1
- doi : 10.1007/978-3-319-12060-7
|
Fulltext
|
Adaptive Multimedia Retrieval: Semantics, Context, and Adaptation |
- isbn : 978-3-319-12093-5
- pisbn : 978-3-319-12092-8
- doi : 10.1007/978-3-319-12093-5
|
Fulltext
|
Information Security and Cryptology -- ICISC 2013 |
- isbn : 978-3-319-12160-4
- pisbn : 978-3-319-12159-8
- doi : 10.1007/978-3-319-12160-4
|
Fulltext
|
Verified Software: Theories, Tools and Experiments |
- isbn : 978-3-319-12154-3
- pisbn : 978-3-319-12153-6
- doi : 10.1007/978-3-319-12154-3
|
Fulltext
|