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

Preview	Issue Date	Title	Contributor(s)
	2017	Data management and analytics for medicine and healthcare :	DMAH (Workshop) ; (3rd : ; 2017 : ; Munich, Germany) ;; International Conference on Very Large Data Bases ; (43rd : ; 2017 : ; Munich, Germany), ; jointly held conference ;; Begoli, Edmon, ; editor ;; Wang, Fusheng, ; editor ;; Luo, Gang, ; editor ;
	2017	Simulation Algorithms for Computational Systems Biology	Marchetti, Luca. ; author ;; Priami, Corrado. ; author ;; Thanh, Vo Hong. ; author ;
	2017	Integrated formal methods :	International Conference on Integrated Formal Methods ; (13th : ; 2017 : ; Turin, Italy) ;; Polikarpova, Nadia, ; editor ;; Schneider, S. A. ; (Steve A.), ; editor ;
	2017	Automated deduction -- CADE 26 :	International Conference on Automated Deduction ; (26th : ; 2017 : ; Gothenburg, Sweden) ;; Moura, Leonardo de, ; editor ;
	2017	Trusted computing and information security :	Chinese Conference on Trusted Computing and Information Security ; (11th : ; 2017 : ; Changsha Shi, China) ;; Xu, Ming, ; editor ;; Qin, Zheng, ; Dr., ; editor ;; Yan, Fei, ; editor ;; Fu, Shaojing, ; editor ;
	2017	Interactive theorem proving :	ITP (Conference) ; (8th : ; 2017 : ; Braselia, Brazil) ;; Ayala-Rincen, M. ; (Mauricio), ; editor ;; Mueoz, Cesar A., ; 1968- ; editor ;
	2017	Systemic Decision Making	Hester, Patrick T. ;; Adams, Kevin MacG. ;
	2017	Mobile payment systems :	Tellez, Jesees, ; author ;; Zeadally, Sherali, ; author ;
	2017	Social, Cultural, and Behavioral Modeling	Lee, Dongwon. ;; Lin, Yu-Ru. ;; Osgood, Nathaniel. ;; Thomson, Robert. ;
	2017	Model and data engineering :	MEDI (Conference) ; (7th : ; 2017 : ; Barcelona, Spain) ;; Ouhammou, Yassine, ; editor ;; Ivanoviee, Mirjana, ; editor ;; Abelle, Alberto ; (Computer scientist), ; editor ;; Bellatreche, Ladjel, ; 1968- ; editor ;
	2017	Formal Modeling and Analysis of Timed Systems :	FORMATS (Conference) ; (15th : ; 2017 : ; Berlin, Germany) ;; Abate, Alessandro, ; editor ;; Geeraerts, Gilles, ; editor ;
	2017	High Performance Computing	Kunkel, Julian M. ;; Yokota, Rio. ;; Balaji, Pavan. ;; Keyes, David. ;
	2017	The Biml Book	Leonard, Andy. ;; Currie, Scott. ;; Alley, Jacob. ;; Andersson, Martin. ;; Avenant, Peter. ;; Fellows, Bill. ;; Peck, Simon. ;; Smith, Reeves. ;; Sondak, Raymond. ;; Weissman, Benjamin. ;; Wilhelmsen, Cathrine. ;
	2017	Critical information infrastructure security :	CRITIS (Workshop) ; (11th : ; 2016 : ; Paris, France) ;; Havarneanu, Grigore. ; editor ;; Setola, Roberto. ; editor ;; Nassopoulos, Hypatia. ; editor ;; Wolthusen, Stephen. ; editor ;
	2017	Smart grid inspired future technologies :	SmartGIFT (Conference) ; (2nd : ; 2017 : ; London, England) ;; Lau, Eng Tseng, ; editor ;; Chai, Michael K. K. ; editor ;; Chen, Yue, ; editor ;; Jung, Oliver, ; editor ;; Leung, Victor Chung Ming, ; 1955- ; editor ;; Yang, Kun, ; editor ;; Bessler, Sandford, ; editor ;; Loo, Jonathan, ; editor ;; Nakayama, Tomonori, ; editor ;
	2017	Modeling, design and simulation of systems :	Asia Simulation Conference ; (17th : ; 2017 : ; Malacca, Malaysia) ;; Mohamed Ali, Mohamed Sultan, ; editor ;; Wahid, Herman, ; editor ;; Mohd Subha, Nurul Adilla, ; editor ;; Sahlan, Shafishuhaza, ; editor ;; Md. Yunus, Mohd Amri, ; editor ;; Wahap, Ahmad Ridhwan, ; editor ;
	2017	Personal analytics and privacy :	International Workshop on Personal Analytics and Privacy ; (1st. : ; 2017 : ; Skopje, Macedonia), ; creator ;; Guidotti, Riccardo, ; editor ;; Monreale, Anna, ; editor ;; Pedreschi, Dino, ; editor ;; Abiteboul, S. ; (Serge), ; editor ;
	2017	Usage-Driven Database Design	Tillmann, George. ;
	2017	Digital Logic for Computing	Seiffertt, John. ;
	2017	Automated reasoning with analytic tableaux and related methods :	TABLEAUX (Conference) ; (26th : ; 2017 : ; Braselia, Brazil) ;; Schmidt, Renate A., ; editor ;; Nalon, Cleeudia, ; editor ;