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: Michael. Hanus 27 träffar

Titel Författare År Språk
1 Algebraic and Logic Programming Michael Hanus 1997 Engelska
2 Algebraic and logic programming International Conference on Algebraic and Logic Programming 1996) Aachen : co. 1996 Engelska
3 Algebraic and Logic Programming International Joint Conference on Algebraic and Logic Programming 1997) Southampton : cop. 1997 Engelska
4-5 Algebraic and Logic Programming (flera utgåvor) 1996 Engelska
6 Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers 2018 Engelska
7 Declarative Programming and Knowledge Management: Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, W'rzburg, Germany, September 19-22, 2017, Revised Selected Papers 2018 Okänt
8 Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers Dietmar Seipel 2005 Okänt
9 Applications of Declarative Programming and Knowledge Management : 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers Dietmar Seipel 2009 Okänt
10 "Algebraic and logic programming : 5th international confernence, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings" Michael Hanus 1996 Okänt
11-12 Algebraic and Logic Programming: 6th International Joint Conference ALP '97 HOA '97 Southampton, UK, September 3-5, 1997 Proceedings (flera utgåvor) Michael Hanus uuuu-uuuu Okänt
13 Declarative Programming and Knowledge Management - Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers Michael. Hanus 2014 Engelska
14-15 Functional and Logic Programming : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings (flera utgåvor) Michael. Hanus uuuu-uuuu Okänt
16 Logic-Based Program Synthesis and Transformation - 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers Michael. Hanus 2009 Engelska
17-18 Practical Aspects of Declarative Languages (flera utgåvor) Michael. Hanus 2007 Engelska
19 Practical Aspects of Declarative Languages : 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings Michael. Hanus 2023 Engelska
20 Practical Aspects of Declarative Languages : 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings Michael. Hanus 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.