|
61 |
 |
Artificial Life and Computational Intelligence: Third Australasian Conference, ACALCI 2017, Geelong, VIC, Australia, January 31 – February 2, 2017, Proceedings [E-Book]
|
|
2017 |
 500243490
|
.
|
|
62 |
 |
Information Security and Cryptology: 12th International Conference, Inscrypt 2016, Beijing, China, November 4-6, 2016, Revised Selected Papers [E-Book]
|
|
2017 |
500248031
|
.
|
|
63 |
 |
Information Security Applications: 17th International Workshop, WISA 2016, Jeju Island, Korea, August 25-27, 2016, Revised Selected Papers [E-Book]
|
|
2017 |
500248048
|
.
|
|
64 |
 |
Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings [E-Book]
|
|
2017 |
500243499
|
.
|
|
65 |
 |
Smart Card Research and Advanced Applications: 15th International Conference, CARDIS 2016, Cannes, France, November 7–9, 2016, Revised Selected Papers [E-Book]
|
|
2017 |
500248029
|
.
|
|
66 |
 |
Fuzzy Logic and Soft Computing Applications: 11th International Workshop, WILF 2016, Naples, Italy, December 19–21, 2016, Revised Selected Papers [E-Book]
|
|
2017 |
500245303
|
.
|
|
67 |
 |
Logic, Language, and Computation: 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers [E-Book]
|
|
2017 |
500245311
|
.
|
|
68 |
 |
Computational Modeling of Objects Presented in Images. Fundamentals, Methods, and Applications: 5th International Symposium, CompIMAGE 2016, Niagara Falls, NY, USA, September 21-23, 2016, Revised Selected Papers [E-Book]
|
|
2017 |
500248030
|
.
|
|
69 |
 |
High Performance Computing for Computational Science – VECPAR 2016: 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers [E-Book]
|
|
2017 |
500255501
|
.
|
|
70 |
 |
Semantic Keyword-Based Search on Structured Data Sources: COST Action IC1302 Second International KEYSTONE Conference, IKC 2016, Cluj-Napoca, Romania, September 8–9, 2016, Revised Selected Papers [E-Book]
|
|
2017 |
500245312
|
.
|
|
71 |
 |
Numerical Software Verification: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers [E-Book]
|
|
2017 |
500245320
|
.
|
|
72 |
 |
Requirements engineering: Foundation for Software Quality: 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 – March 2, 2017, proceedings [E-Book]
|
|
2017 |
500245317
|
.
|
|
73 |
 |
Radio Frequency Identification and IoT Security: 12th International Workshop, RFIDSec 2016, Hong Kong, China, November 30 -- December 2, 2016, Revised Selected Papers [E-Book]
|
|
2017 |
500255500
|
.
|
|
74 |
 |
Algorithms and Discrete Applied Mathematics: Third International Conference, CALDAM 2017, Sancoale, Goa, India, February 16-18, 2017, Proceedings [E-Book]
|
|
2017 |
500245304
|
.
|
|
75 |
 |
Information Security and Cryptology – ICISC 2016: 19th International Conference, Seoul, South Korea, November 30 – December 2, 2016, Revised Selected Papers [E-Book]
|
|
2017 |
500245306
|
.
|
|
76 |
 |
Risks and Security of Internet and Systems: 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers [E-Book]
|
|
2017 |
500248032
|
.
|
|
77 |
 |
Topics in Cryptology – CT-RSA 2017: The Cryptographers’ Track at the RSA Conference 2017, San Francisco, CA, USA, February 14–17, 2017, Proceedings [E-Book]
|
|
2017 |
500245300
|
.
|
|
78 |
 |
Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday [E-Book]
|
|
2017 |
500243489
|
.
|
|
79 |
 |
OWL: Experiences and Directions – Reasoner Evaluation: 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revised Selected Papers [E-Book]
|
|
2017 |
500245323
|
.
|
|
80 |
 |
Agents and Artificial Intelligence: 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers [E-Book]
|
|
2017 |
500245309
|
.
|
