Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: ACM Workshop on Formal Methods in Security Engineering 7 träffar

	Titel	Författare	År	Språk
1	FMSE '03: Proceedings of the 2003 ACM workshop on Formal methods in security engineering	ACM Workshop on Formal Methods in Security Engineering	uuuu-uuuu	Okänt
2	FMSE '03 : proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : co-located with CCS'03	ACM Workshop on Formal Methods in Security Engineering	uuuu-uuuu	Okänt
3	FMSE '04: Proceedings of the 2004 ACM workshop on Formal methods in security engineering	ACM Workshop on Formal Methods in Security Engineering	uuuu-uuuu	Okänt
4	FMSE '04 : proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 29, 2004 : co-located with CCS 2004	ACM Workshop on Formal Methods in Security Engineering	uuuu-uuuu	Okänt
5	FMSE '05: Proceedings of the 2005 ACM workshop on Formal methods in security engineering	ACM Workshop on Formal Methods in Security Engineering	uuuu-uuuu	Okänt
6	FMSE '05 : proceedings of the 2005 ACM Workshop on Formal Methods in Security Engineering : November 11, 2005, Fairfax, Virginia, USA, co-located with CCS 2005	ACM Workshop on Formal Methods in Security Engineering	uuuu-uuuu	Okänt
7	Towards Provable Secure Neighbor Discovery in Wireless Networks	The 6th ACM workshop on Formal methods in security engineering M. Poturalski	2008	Engelska

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.