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

Preview	Issue Date	Title	Contributor(s)
	2018	Formal Methods	Havelund, Klaus. ;; Peleska, Jan. ;; Roscoe, Bill. ;; de Vink, Erik. ;
	2018	Metal programming guide :	Clayton, Janie, ; author ;
	2018	Formal Aspects of Component Software	Bae, Kyungmin. ; (orcid)0000-0002-6430-5175 ; http://orcid.org/0000-0002-6430-5175. ;; eelveczky, Peter Csaba. ; (orcid)0000-0002-0708-3721 ; http://orcid.org/0000-0002-0708-3721. ;
	2018	Tools and Algorithms for the Construction and Analysis of Systems	Beyer, Dirk. ;; Huisman, Marieke. ;
	2018	Static Analysis	Podelski, Andreas. ;
	2018	Tests and Proofs	Dubois, Catherine. ;; Wolff, Burkhart. ;
	2018	Augmented Cognition: Intelligent Technologies	Schmorrow, Dylan D. ;; Fidopiastis, Cali M
	2018	Beginning SVG	Libby, Alex. ;
	2018	Simulation of dynamic systems with MATLAB and Simulink /	Klee, Harold. ;; Allen, Randal, ; 1964- ;
	2018	Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems	Margaria, Tiziana. ;; Steffen, Bernhard. ;
	2018	Rewriting Logic and Its Applications	Rusu, Vlad. ;
	2018	A First Introduction to Quantum Computing and Information	Zygelman, Bernard. ;
	2018	Coordination Models and Languages	Di Marzo Serugendo, Giovanna. ;; Loreti, Michele. ;
	2018	Pro JavaFX 9	Vos, Johan. ;; Chin, Stephen. ;; Gao, Weiqi. ;; Weaver, James. ;; Iverson, Dean. ;
	2018	Unconventional Computation and Natural Computation	Stepney, Susan. ;; Verlan, Sergey. ;
	2018	Interactive Theorem Proving	Avigad, Jeremy. ;; Mahboubi, Assia. ;
	2018	Getting to Know Vue.js	Nelson, Brett. ;
	2018	Xamarin in action :	Bennett, Jim, ; author ;
	2018	Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice	Margaria, Tiziana. ;; Steffen, Bernhard. ;
	2018	Wireless Indoor Localization	Wu, Chenshu. ;; Yang, Zheng. ;; Liu, Yunhao. ;