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: Wei-Ngan. Chin
8 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
Programming Languages and Systems: Second Asian Symposium
|
Wei-Ngan Chin
|
uuuu-uuuu |
Okänt |
| 2 |
Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings
|
Ahmed. Bouajjani
|
2010 |
Engelska |
| 3 |
Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs
|
Wei-Ngan Chin
|
uuuu-uuuu |
Okänt |
| 4 |
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
|
Wei-Ngan Chin
|
uuuu-uuuu |
Okänt |
| 5 |
Proceedings for FTfJP 2012 : the 14th Workshop on Formal Techniques for Java-like Programs : co-located with ECOOP 2012 and PLDI 2012 : papers presented at the workshop : Beijing, China, June 12, 2012
|
Wei-Ngan Chin
|
uuuu-uuuu |
Okänt |
| 6 |
Theoretical Aspects of Software Engineering : 18th International Symposium, TASE 2024, Guiyang, China, July 29 - August 1, 2024, Proceedings
|
Wei-Ngan. Chin
|
2024 |
Engelska |
| 7-8 |
Theoretical Aspects of Software Engineering : 18th International Symposium, TASE 2024, Guiyang, China, July 29 - August 1, 2024, Proceedings
(flera utgåvor)
|
Wei-Ngan. Chin
|
uuuu-uuuu |
Okänt |
1
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.