Indraprastha Institute of Information Technology, Delhi catalog › Results of search for 'au:"SpringerLink (Online service)" and se:Lecture Notes in Computer Science, and itype:EB and au:Dam, Mads and se:Lecture Notes in Computer Science,'

	1.	Analysis and Verification of Multiple-Agent Languages [electronic resource] :5th LOMAPS Workshop Stockholm, Sweden, June 24–26, 1996 Selected Papers / by Dam, Mads [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	2.	Secure IT Systems [electronic resource] :20th Nordic Conference, NordSec 2015, Stockholm, Sweden, October 19–21, 2015, Proceedings / by Buchegger, Sonja [editor.] \| Dam, Mads [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)