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 distributed systems : an introduction based on executable modeling in Maude	Peter Csaba Ölveczky
	2017	Euro-Par 2017 :	International EURO-PAR Conference ; (23rd : ; 2017 : ; Santiago de Compostela, Spain) ;; Ferneendez Rivera, Francisco, ; editor ;; Pena, Tomees F. ; editor ;; Cabaleiro, Jose C. ; editor ;
	2017	Philosophy and computing :	Powers, Thomas M., ; 1965- ; editor. ; http://id.loc.gov/authorities/names/n98057328 ;
	2017	Implementation and Application of Automata	Carayol, Arnaud. ;; Nicaud, Cyril. ;
	2017	Product-focused software process improvement :	PROFES (Conference) ; (18th : ; 2017 : ; Innsbruck, Austria) ;; Felderer, Michael, ; editor ;; Mendez Ferneendez, Daniel, ; editor ;; Turhan, Burak, ; editor ;; Kalinowski, Marcos, ; editor ;; Sarro, Federica, ; 1984- ; editor ;; Winkler, Dietmar ; (Software engineer), ; editor ;
	2017	Ubiquitous computing and ambient intelligence :	Symposium of Ubiquitous Computing and Ambient Intelligence ; (11th : ; 2017 : ; Philadelphia, Penn.) ;; Ochoa, Sergio F., ; editor ;; Singh, Pritpal ; (Lecturer in computer science), ; editor ;; Bravo, Jose, ; editor ;
	2017	On Sets and Graphs	Omodeo, Eugenio G. ;; Policriti, Alberto. ;; Tomescu, Alexandru I. ;
	2017	Oracle IaaS :	Saygili, Okcan Yasin, ; author ;
	2017	SAP MII	Mukherjee, Suman. ;; Mukherjee (Das), Saptaparna. ;
	2017	Ubiquitous networking :	UNet (Symposium) ; (3rd : ; 2017 : ; Casablanca, Morocco) ;; Sabir, Essaid, ; editor ;; Garcea Armada, Ana, ; editor ;; Ghogho, Mounir, ; editor ;; Debbah, Merouane, ; 1975- ; editor ;
	2017	ICT education :	Southern African Computer Lecturers' Association. ; Annual Conference ; (46th : ; 2017 : ; Magaliesburg, South Africa) ;; Liebenberg, Janet, ; editor ;; Gruner, Stefan, ; Ph. D., ; editor ;
	2017	Principles and practice of constraint programming :	CP (Conference) ; (23rd : ; 2017 : ; Melbourne, Vic.) ;; Beck, J. Christopher, ; editor ;
	2017	Beginning PowerApps	Leung, Tim ;
	2017	DataFlow supercomputing essentials :	Milutinoviee, Veljko ;
	2017	Combinatorial testing in cloud computing /	Tsai, Wei-Tek, ; author ;; Qi, Guanqiu, ; author ;
	2017	Azure automation using the ARM Model	Ambi Karthikeyan, Shijimol ;
	2017	Understanding-Oriented Multimedia Content Analysis	Li, Zechao. ;
	2017	Simulated evolution and learning :	SEAL (Conference) ; (11th : ; 2017 : ; Shenzhen, China), ; author ;; Shi, Yuhui ;
	2017	Models to code :	Starr, Leon, ; author ;; Mangogna, Andrew, ; author ;; Mellor, Stephen, ; author ;
	2017	Cloud computing and services science :	International Conference on Cloud Computing and Services Science ; (6th : ; 2016 : ; Rome, Italy) ;; Helfert, Markus, ; editor ;; Ferguson, Donald, ; 1960- ; editor ;; Mendez Mueoz, Victor, ; editor ;; Cardoso, Jorge, ; 1970- ; editor ;