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: Chen Yu 143 träffar

Titel Författare År Språk
41 Intelligent Communication and Computational Technologies - Proceedings of Internet of Things for Technological Development, IoT4TD 2017 2018 Engelska
42 Learning to prove safety over parameterised concurrent systems Austria Vienna October 2–6 FMCAD 2017 Yu-Fang Chen 2017 Engelska
43 MEMORAX, a Precise and Sound Tool for Automatic Fence Insertion under TSO Italy Rome 2013 March 16-24 ETAPS 2013 Held as Part of the European Joint Conferences on Theory and Practice of Software TACAS 2013 19th International Conference Parosh Aziz Abdulla 2013 Engelska
44 Counter-Example Guided Fence Insertion under TSO TACAS 2012 Parosh Aziz Abdulla 2012 Engelska
45 Zhadanke Liza Marklund 2012 Kinesiska
46 "Managing digital governance : issues, challenges, and solutions" Yu-Che Chen 2017 Okänt
47 Customizable Computing Yu-ting Chen 2015 Engelska
48 Using structural equation modeling in community college research - comparing the effects of psychological latent factors between Hispanic and non-Hispanic students Yu (April) Chen 2017 Engelska
49 Iterate - ten lessons in design and failure John Sharp 2019 Engelska
50 Towards robust and flexible intermediate verification Yu-Ting Chen 2018 Engelska
51 Automated Technology for Verification and Analysis Yu-Fang Chen uuuu-uuuu Okänt
52 Tales From Dunhuang 1996 Engelska
53 Mechanical and thermal stability of hard nitride coatings Yu-Hsiang Chen 2018 Engelska
54 Topological Degree Theory and Applications (Series in mathematical analysis and applications v. 10) Yeol Je Cho 2006 Okänt
55 Managing digital governance - issues, challenges, and solutions Yu-Che Chen 2017 Engelska
56-57 Ultrafast Photoionization Dynamics Studied with Coincidence Momentum Imaging Spectrometers (flera utgåvor) Yu-Chen Cheng 2019 Engelska
58 Information Systems in the WWW Environment 1998 Okänt
59 Advances in Polymer Science and Engineering Yu Chen 1972 Okänt
60 Customizable Computing Yu-Ting Chen 2015 Okänt

Förra sidan 1 2 3 4 5 6 7 8 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.