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
1 Theoretical Aspects of Computing - ICTAC 2004 - First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers Zhiming. Liu 2005 Engelska
2 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
3 Theoretical Aspects of Computing - ICTAC 2004 Keijiro. Araki Engelska
4-5 Domain Modeling and the Duration Calculus (flera utgåvor) Chris W. George 2007 Engelska
6-7 Theoretical Aspects of Computing ICTAC 2007 (flera utgåvor) Cliff B. Jones 2007 Engelska
8 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
9 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
10 Mathematical frameworks for component software: models for analysis and synthesis Zhiming Liu 2006 Okänt
11 Automated Technology for Verification and Analysis - 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings Zhiming. Liu 2009 Engelska
12 Formal Methods and Software Engineering (vol. # 4260) Zhiming Liu 2006 Okänt
13 Theoretical Aspects of Computing - ICTAC 2004 Zhiming Liu 2005 Okänt
14 Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings 2015 Engelska
15 Engineering Trustworthy Software Systems - Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures 2017 Engelska
16 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
17 Theoretical Aspects of Computing ICTAC 2007 : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings Cliff B. Jones 2007 Okänt
18 Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday Zhiming. Liu 2013 Engelska
19 Theoretical Aspects of Computing – ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings Zhiming. Liu 2013 Engelska
20 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

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.