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

Preview	Issue Date	Title	Contributor(s)
	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 ;
	2017	Parallel computational technologies :	International Conference on Parallel Computational Technologies ; (11th : ; 2017 : ; Kazane, Russia) ;; Sokolinsky, Leonid, ; editor ;; Zymbler, Mikhail, ; editor ;
	2017	Service-oriented and cloud computing :	ESOCC (Conference) ; (6th : ; 2017 : ; Oslo, Norway) ;; De Paoli, F. ; (Flavio), ; editor ;; Schulte, Stefan, ; editor ;; Broch Johnsen, Einar, ; editor ;
	2017	Deep Learning with Python	Ketkar, Nikhil. ;
	2017	Security of Industrial Control Systems and Cyber-Physical Systems	Cuppens-Boulahia, Nora. ;; Lambrinoudakis, Costas. ;; Cuppens, Frederic. ;; Katsikas, Sokratis. ;
	2017	Knowledge engineering and semantic web :	KESW (Conference) ; (8th : ; 2017 : ; Szczecin, Poland) ;; Reeewski, Przemyseeaw, ; editor ;; Lange, Christoph, ; 1980- ; editor ;
	2017	Dependable software engineering :	SETTA (Symposium) ; (3rd : ; 2017 : ; Changsha Shi, China) ;; Larsen, K. G. ; (Kim G.), ; 1957- ; editor ;; Sokolsky, Oleg, ; editor ;; Wang, Ji, ; editor ;
	2017	Advanced parallel processing technologies :	APPT (Symposium) ; (12th : ; 2017 : ; Santiago de Compostela, Spain) ;; Dou, Yong, ; editor ;; Lin, Haixiang, ; editor ;; Sun, Guangyu, ; editor ;; Wu, Junjie ; (College teacher), ; editor ;; Heras, Dora, ; editor ;; Bouge, L. ; (Luc), ; editor ;
	2017	The practice of enterprise modeling	IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling ; (10th : ; 2017 : ; Leuven, Belgium) ;; Poels, Geert, ; editor ;; Gailly, Frederik, ; editor ;; Serral Asensio, Estefania, ; editor ;; Snoeck, Monique, ; editor ;
	2017	Software process improvement and capability determination :	SPICE (Conference) ; (17th : ; 2017 : ; Palma de Mallorca, Spain) ;; Mas, Antonia, ; editor ;; Mesquida, Antoni, ; editor ;; O'Connor, Rory V., ; editor ;; Rout, Terry, ; editor ;; Dorling, Alec, ; editor ;
	2017	Internet of things, smart spaces, and next generation networks and systems :	NEW2AN (Conference) ; (17th : ; 2017 : ; Saint Petersburg, Russia) ;; Conference on Smart Spaces ; (10th : ; 2017 : ; Saint Petersburg, Russia), ; jointly held conference ;; International Workshop on Nano-scale Computing and Communications ; (3rd : ; 2017; Galinina, Olga, ; editor ;; Andreev, Sergey, ; editor ;; Balandin, Sergee I., ; editor ;; Koucheryavy, Yevgeni, ; editor ;