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: María. Alpuente
6 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
Static Analysis electronic resource - 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
|
David. Hutchison
|
2008 |
Engelska |
| 2 |
Formal Methods for Industrial Critical Systems - 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings
|
María. Alpuente
|
2009 |
Engelska |
| 3 |
Logic-Based Program Synthesis and Transformation - 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
|
María. Alpuente
|
2011 |
Engelska |
| 4 |
Formal Methods for Industrial Critical Systems
|
María Alpuente
|
2009 |
Okänt |
| 5 |
Static Analysis
|
María Alpuente
|
2008 |
Okänt |
| 6 |
Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
|
|
2011 |
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.