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: Tevfik. Bultan 5 träffar

	Titel	Författare	År	Språk
1	Web Services and Formal Methods - 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers	Mario. Bravetti	2011	Engelska
2	Automated Technology for Verification and Analysis - 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings	Tevfik. Bultan	2011	Engelska
3	String Analysis for Software Verification and Security	Tevfik. Bultan	2017	Engelska
4	Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis	Tevfik Bultan	uuuu-uuuu	Okänt
5	String Analysis for Software Verification and Security electronic resource / by Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin	Tevfik. author. Bultan	uuuu-uuuu	Okänt

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.