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: Marsha. Chechik 9 träffar

	Titel	Författare	År	Språk
1	CONCUR 2008 - Concurrency Theory - 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings	David. Hutchison	2008	Engelska
2	Fundamental Approaches to Software Engineering - 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings	Marsha. Chechik	2009	Engelska
3-4	Formal Methods : 25th International Symposium, FM 2023, lübeck, Germany, March 6-10, 2023, Proceedings (flera utgåvor)	Marsha. Chechik	uuuu-uuuu	Okänt
5	Verified Software. Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers		2016	Engelska
6	Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings		2016	Engelska
7	CONCUR 2008 - Concurrency Theory	Franck Breugel	2008	Okänt
8	Fundamental Approaches to Software Engineering	Marsha Chechik	2009	Okänt
9	Tools and Algorithms for the Construction and Analysis of Systems		2016	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.