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: Manuel Hermenegildo
28 träffar
|
Titel |
Författare |
År |
Språk |
| 21 |
Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 1720, 2002 Proceedings
|
Manuel Hermenegildo
|
uuuu-uuuu |
Okänt |
| 22 |
Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
|
Manuel Hermenegildo
|
2019 |
Engelska |
| 23 |
Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
|
Gilles Barthe
|
2010 |
Okänt |
| 24 |
Static Analysis electronic resource : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings / edited by Manuel V. Hermenegildo, José F. Morales
|
Manuel V. Hermenegildo
|
uuuu-uuuu |
Okänt |
| 25 |
Static Analysis. - 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings
|
Manuel V. Hermenegildo
|
2023 |
Engelska |
| 26 |
Proceedings of the 37th Annual Acm Sigplan-Sigact Symposium on Principles of Programming Languages
|
Manuel Hermenegildo
|
uuuu-uuuu |
Okänt |
| 27 |
Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation / Manuel Hermenegildo
|
Manuel Hermenegildo
|
uuuu-uuuu |
Okänt |
| 28 |
Logic-Based Program Synthesis and Transformation
|
|
2017 |
Okänt |
Förra sidan
1
2
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.