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
1 Theoretical Aspects of Computing - ICTAC 2004 Keijiro. Araki Engelska
2 Engineering Trustworthy Software Systems : 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures Jonathan P. Bowen 2025 Engelska
3 Domain Modeling and the Duration Calculus Chris W. George 2007 Okänt
4 Formal Methods and Hybrid Real-Time Systems Cliff B. Jones 2007 Okänt
5 Theoretical Aspects of Computing ICTAC 2007 : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings Cliff B. Jones 2007 Okänt
6 Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings 2015 Engelska
7 Dependable Software Engineering: Theories, Tools, and Applications 2015 Okänt
8-9 Engineering Trustworthy Software Systems - Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures (flera utgåvor) 2017 Engelska
10 Engineering Trustworthy Software Systems 2017 Okänt
11 Engineering Trustworthy Software Systems : First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures 2016 Okänt
12 Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers José Luiz. Fiadeiro 2014 Engelska
13-14 Domain Modeling and the Duration Calculus (flera utgåvor) Chris W. George 2007 Engelska
15 Formal Methods and Hybrid Real-Time Systems - Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays Cliff B. Jones 2007 Engelska
16-17 Theoretical Aspects of Computing ICTAC 2007 (flera utgåvor) Cliff B. Jones 2007 Engelska
18 Formal Aspects of Component Software: Revised Selected Papers José Luiz Fiadeiro 2014 Okänt
19 Automated Technology for Verification and Analysis - 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings Zhiming. Liu 2009 Engelska
20 Formal Methods and Software Engineering (vol. # 4260) electronic resource - 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings Zhiming. Liu 2006 Engelska

1 2 Nästa sida

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.