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 30 träffar

Titel Författare År Språk
1 A practical type analysis for verification of modular Prolog programs ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation : 07/01/2008 - 08/01/2008 2008 Engelska
2 Analysis and visualization tools for constraint programming - constraint debugging 2000 Engelska
3 Automatic binding-related error diagnosis in logic programs International Conference on Logic Programming : 08/09/2007 - 13/09/2007 2007 Engelska
4 Verification, Model Checking, and Abstract Interpretation - 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings Gilles. Barthe 2010 Engelska
5 Practical Aspects of Declarative Languages Daniel. Cabeza Engelska
6 Context-sensitive multivariant assertion checking in modular programs And Reasoning : 13/11/2006 - 17/11/2006 Aritficial Intelligence International Conference on Logic for Programming 2006 Engelska
7 Functional and Logic Programming - 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings Jacques. Garrigue 2008 Engelska
8 Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation Gilles Barthe 2010 Okänt
9 Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation Manuel Hermenegildo 2019 Engelska
10 Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation / Manuel Hermenegildo Manuel Hermenegildo uuuu-uuuu Okänt
11 Proceedings of the 37th Annual Acm Sigplan-Sigact Symposium on Principles of Programming Languages Manuel Hermenegildo uuuu-uuuu Okänt
12 Practical Aspects of Declarative Languages - 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings Manuel V. Hermenegildo 2005 Engelska
13 Static Analysis. - 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings Manuel V. Hermenegildo 2023 Engelska
14 Static Analysis : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings Manuel V. Hermenegildo 2023 Engelska
15 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
16 Proceedings of the 9th international conference on Functional and logic programming Jacques Garrigue 2008 Okänt
17 Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers 2017 Engelska
18 Logic-Based Program Synthesis and Transformation 2017 Okänt
19 Practical Aspects of Declarative Languages: 7Th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : Proceedings (Lecture notes in computer science 3350) Manuel Hermenegildo 2005 Okänt
20 Programming Languages: Implementations, Logics and Programs Manuel Hermenegildo uuuu-uuuu Okänt

1 2 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.