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

Preview	Issue Date	Title	Contributor(s)
	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 ;
	2017	Theory and applications of satisfiability testing -- SAT 2017 :	SAT (Conference) ; (20th : ; 2017 : ; Melbourne, Vic.) ;; Gaspers, Serge, ; editor ;; Walsh, Toby, ; editor ;
	2017	Concise guide to formal methods :	O'Regan, Gerard ; (Cornelius Gerard), ; author ;
	2017	Raymond Smullyan on self reference /	Fitting, Melvin, ; 1942- ;
	2017	A Journey Through Discrete Mathematics	Loebl, Martin. ;; Neeeeteeil, Jaroslav. ;; Thomas, Robin. ;
	2017	Guide to Modeling and Simulation of Systems of Systems	P. Zeigler, Bernard. ; author ;; Sarjoughian, Hessam S. ; author ;
	2017	Beginning Ubuntu for Windows and Mac Users	Haines, Nathan. ;
	2017	Electronic Government and the Information Systems Perspective	Kee, Andrea. ; editor ;; Francesconi, Enrico. ; editor ;
	2017	Automated technology for verification and analysis :	ATVA (Symposium) ; (15th : ; 2017 : ; Pune, India) ;; D'Souza, Deepak, ; editor ;; Narayan Kumar, K. ; editor ;
	2017	Models, Algorithms, and Technologies for Network Analysis	Kalyagin, Valery A. ;; Nikolaev, Alexey I. ;; Pardalos, Panos M. ;; Prokopyev, Oleg A. ;
	2017	Cloud Computing	Antonopoulos, Nick. ;; Gillam, Lee. ;