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
1 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
2 Analysis and visualization tools for constraint programming - constraint debugging 2000 Engelska
3 Programming language implementation and logic programming - 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings International Symposium on Programming Language Implemantation and Logic Programming 1994) Madrid : cop. 1994 Engelska
4 Programming languages: implementations, logics and programs cop. 1995 Engelska
5-6 Static analysis - 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings (flera utgåvor) International Static Analysis Symposium 2002 : Madrid) cop. 2002 Engelska
7 Practical Aspects of Declarative Languages Daniel. Cabeza Engelska
8 Programming Language Implementation and Logic Programming PLILP '94 1994 Engelska
9 Programming Languages: Implementations, Logics and Programs PLILP '95 1995 Engelska
10 Functional and Logic Programming - 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings Jacques. Garrigue 2008 Engelska
11 Analysis and Visualization Tools for Constraint Programming Pierre Deransart 2000 Engelska
12 Verification, Model Checking, and Abstract Interpretation - 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings Gilles. Barthe 2010 Engelska
13 Practical Aspects of Declarative Languages - 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings Manuel V. Hermenegildo 2005 Engelska
14 Proceedings of the 9th international conference on Functional and logic programming Jacques Garrigue 2008 Okänt
15 Programming Languages: Implementations, Logics and Programs Manuel Hermenegildo uuuu-uuuu Okänt
16 Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers 2017 Engelska
17 Programming Language Implementation and Logic Programming - 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings PLILP '94 PLILP '94 1994 Engelska
18 Automatic binding-related error diagnosis in logic programs International Conference on Logic Programming : 08/09/2007 - 13/09/2007 2007 Engelska
19 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
20 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

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.