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 34 träffar

Titel Författare År Språk
21 Domain Modeling and the Duration Calculus Chris W. George 2007 Okänt
22 Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers José Luiz. Fiadeiro 2014 Engelska
23 Engineering Trustworthy Software Systems - First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures 2016 Engelska
24 Foundations of Health Informatics Engineering and Systems Zhiming Liu 2012 Okänt
25 Theories of Programming and Formal Methods Zhiming Liu 2013 Okänt
26 Formal Aspects of Component Software: Revised Selected Papers José Luiz Fiadeiro 2014 Okänt
27 Theoretical Aspects of Computing ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings Zhiming Liu 2013 Okänt
28 Formal Methods and Hybrid Real-Time Systems Cliff B. Jones 2007 Okänt
29 Automated Technology for Verification and Analysis Zhiming Liu 2009 Okänt
30 Theoretical Aspects of Computing – ICTAC 2022: 19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings 2022 Okänt
31 Engineering Trustworthy Software Systems 2017 Okänt
32 Engineering Trustworthy Software Systems : First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures 2016 Okänt
33 Dependable Software Engineering: Theories, Tools, and Applications 2015 Okänt
34 Molecules as Components of Electronic Devices 2003 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.