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 V. Hermenegildo
10 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
Analysis and visualization tools for constraint programming - constraint debugging
|
|
2000 |
Engelska |
| 2 |
Functional and Logic Programming - 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings
|
Jacques. Garrigue
|
2008 |
Engelska |
| 3 |
Practical Aspects of Declarative Languages - 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings
|
Manuel V. Hermenegildo
|
2005 |
Engelska |
| 4 |
Static Analysis. - 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings
|
Manuel V. Hermenegildo
|
2023 |
Engelska |
| 5 |
Static Analysis : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings
|
Manuel V. Hermenegildo
|
2023 |
Engelska |
| 6 |
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 |
| 7 |
Proceedings of the 9th international conference on Functional and logic programming
|
Jacques Garrigue
|
2008 |
Okänt |
| 8 |
Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers
|
|
2017 |
Engelska |
| 9 |
Logic-Based Program Synthesis and Transformation
|
|
2017 |
Okänt |
| 10 |
Prolog: The Next 50 Years
|
|
2023 |
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.