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: Shaoying Liu 21 träffar

Titel Författare År Språk
1 ICFEM 2000 - Third IEEE International Conference on Formal Engineering Methods : York, England, September 4-6, 2000 England) IEEE International Conference on Formal Engineering Methods 2000 : York c2000 Engelska
2 Formal engineering for industrial software development - using the SOFL method Shaoying Liu cop. 2004 Engelska
3-4 Structured Object-Oriented Formal Language and Method (flera utgåvor) Shaoying Liu 2015 Okänt
5 Formal Methods and Software Engineering - 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings David. Hutchison 2008 Engelska
6 Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers Shaoying Liu 2013 Okänt
7-8 Structured Object-Oriented Formal Language and Method - Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers (flera utgåvor) Shaoying. Liu 2014 Engelska
9 Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings 2016 Engelska
10-12 Structured Object-Oriented Formal Language and Method - 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers (flera utgåvor) 2017 Engelska
13 Formal Engineering for Industrial Software Development Shaoying Liu 2004 Okänt
14 Formal Methods and Software Engineering Shaoying Liu 2008 Okänt
15 Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers 2023 Okänt
16 Structured Object-Oriented Formal Language and Method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers Shaoying. Liu uuuu-uuuu Okänt
17-18 Agile-SOFL : Agile Formal Engineering Method / by Shaoying Liu (flera utgåvor) Shaoying. Liu uuuu-uuuu Okänt
19 Structured Object-Oriented Formal Language and Method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers 2016 Okänt
20 Structured Object-Oriented Formal Language and Method: 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers 2021 Okänt

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.