Subscribe to this collection to receive daily e-mail notification of new additions

Preview	Issue Date	Title	Contributor(s)
	2017	Guide to Competitive Programming	-
	2017	Advances in Computer Games	-
	2017	Image and Graphics	-
	2017	Redescription Mining	-
	2017	Software Engineering for Self-Adaptive Systems III. Assurances	-
	2017	Space in Weak Propositional Proof Systems	-
	2017	Content-Based Image Retrieval	-
	2017	Applications of Soft Computing for the Web	-
	2017	Computational science and its applications -- ICCSA 2017 :	Gervasi, Osvaldo; Murgante, Beniamino; Misra, Sanjay; Borruso, Giuseppe, ; 1972- ; editor ;; Torre, Carmelo Maria; Rocha, Ana Maria A. C.; Taniar, David; Apduhan, Bernady O; Stankova, Elena, ; editor ;; Cuzzocrea, Alfredo
	2017	Advances in cryptology -- CRYPTO 2017 :	CRYPTO (Conference) ; (37th : ; 2017 : ; Santa Barbara, Calif.) ;; Katz, Jonathan, ; 1974- ; editor ;; Shacham, Hovav, ; editor ;
	2017	Runtime verification :	RV (Conference) ; (17th : ; 2017 : ; Seattle, Wash.) ;; Lahiri, Shuvendu, ; editor ;; Reger, Giles, ; editor ;
	2017	Reachability problems :	RP (Workshop) ; (11th : ; 2017 : ; London, England) ;; Hague, Matthew, ; editor ;; Potapov, Igor, ; editor ;
	2018	Learn Data Analysis with Python	Henley, A.J. ; author. ;; Wolf, Dave. ; author. ;
	2017	Models, Algorithms, Logics and Tools	Aceto, Luca. ; editor ;; Bacci, Giorgio. ; editor ;; Bacci, Giovanni. ; editor ;; Ingelfsdettir, Anna. ; editor ;; Legay, Axel. ; editor ;; Mardare, Radu. ; editor ;
	2017	Verified software :	VSTTE (Conference) ; (9th : ; 2017 : ; Heidelberg, Germany) ;; Paskevich, Andrei, ; editor ;; Wies, Thomas, ; editor ;
	2017	Hardware and software :	International Haifa Verification Conference ; (13th : ; 2017 : ; Haifa, Israel) ;; Strichman, Ofer, ; editor ;; Tzoref-Brill, Rachel, ; editor ;
	2017	Rules and Reasoning :	RuleML+RR (Joint Conference) ; (2017 : ; London, England) ;; Costantini, Stefania, ; editor ;; Franconi, Enrico. ; editor ;; Van Woensel, William, ; editor ;; Kontchakov, Roman. ; editor ;; Sadri, Fariba, ; editor ;; Roman, Dumitru, ; editor ;
	2017	Computational science and its applications -- ICCSA 2017 :	Gervasi, Osvaldo; Murgante, Beniamino; Misra, Sanjay; Borruso, Giuseppe; Torre, Carmelo Maria; Rocha, Ana Maria A. C.; Taniar, David; Apduhan, Bernady O; Stankova, E. ; (Elena), ; editor ;; Cuzzocrea, Alfredo
	2017	Outlier Ensembles	Aggarwal, Charu C. ;; Sathe, Saket. ;
	2017	Industrial IoT technologies and applications :	International Conference on Industrial IoT Technologies and Applications ; (2nd : ; 2017 : ; Wuhu, China) ;; Chen, Fulong, ; editor ;; Luo, Yonglong, ; editor ;