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: Zhiming Liu 35 träffar

Titel Författare År Språk
21 Foundations of Health Informatics Engineering and Systems - First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers Zhiming. Liu 2012 Engelska
22 Theoretical Aspects of Computing - ICTAC 2004 - First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers Zhiming. Liu 2005 Engelska
23 Theoretical Aspects of Computing – ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings Zhiming. Liu 2013 Engelska
24 Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday Zhiming. Liu 2013 Engelska
25 Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures Zhiming. Liu 2013 Engelska
26 Molecules as Components of Electronic Devices 2003 Okänt
27 Theoretical Aspects of Computing – ICTAC 2022: 19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings 2022 Okänt
28 Automated Technology for Verification and Analysis Zhiming Liu 2009 Okänt
29 Formal Methods and Software Engineering (vol. # 4260) Zhiming Liu 2006 Okänt
30 Foundations of Health Informatics Engineering and Systems Zhiming Liu 2012 Okänt
31 Mathematical frameworks for component software: models for analysis and synthesis Zhiming Liu 2006 Okänt
32 Theoretical Aspects of Computing - ICTAC 2004 Zhiming Liu 2005 Okänt
33 Theoretical Aspects of Computing ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings Zhiming Liu 2013 Okänt
34 Theories of Programming and Formal Methods Zhiming Liu 2013 Okänt
35 Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures Zhiming Liu 2013 Okänt

Förra sidan 1 2

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.