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

Preview	Issue Date	Title	Contributor(s)
	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. ;
	2017	VLSI-SoC :	International Conference on Very Large Scale Integration ; (24th : ; 2016 : ; Tallinn, Estonia) ;; Hollstein, Thomas, ; editor ;; Raik, Jaan, ; editor ;; Kostin, Sergee, ; editor ;; Teeertov, Anton, ; editor ;; O'Connor, Ian, ; editor ;; Reis, Ricardo, ; editor ;
	2017	Computer Algebra in Scientific Computing :	International Workshop on Computer Algebra in Scientific Computing ; (19th : ; 2017 : ; Beijing, China) ;; Gerdt, Vladimir P. ; editor ;; Koepf, Wolfram. ; editor ;; Seiler, Werner M. ; editor ;; Vorozhtsov, Evgenii V. ; editor ;
	2017	Algorithms and models for the web graph :	WAW (Workshop) ; (14th : ; 2017 : ; Toronto, Ont.) ;; Bonato, Anthony, ; 1971- ; editor ;; Chung Graham, Fan, ; editor ;; Praeeat, Paweee, ; editor ;
	2017	Algorithms and Complexity	Fotakis, Dimitris. ;; Pagourtzis, Aris. ;; Paschos, Vangelis Th. ;
	2017	Big Data Factories	Matei, Sorin Adam ;; Jullien, Nicolas ;; Goggins, Sean P ;
	2017	Computer Science ee Theory and Applications	Weil, Pascal. ;
	2017	Informatics in the Future	Werthner, Hannes. ;; van Harmelen, Frank. ;
	2017	Data Analytics	Cale, Andrea. ;; Wood, Peter. ;; Martin, Nigel. ;; Poulovassilis, Alexandra. ;
	2017	Real-Time Web Application Development	Vemula, Rami. ;
	2017	Fundamentals of Stochastic Nature Sciences	Kli︠aet︠sekin, Valerie Isaakovich. ;