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 24 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 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 Engelska
5 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 Nederländska
6-7 Algebraic and Logic Programming (flera utgåvor) 1996 Engelska
8-9 Practical Aspects of Declarative Languages (flera utgåvor) Michael. Hanus 2007 Engelska
10 Logic-Based Program Synthesis and Transformation - 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers Michael. Hanus 2009 Engelska
11 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
12 Algebraic and Logic Programming: 6th International Joint Conference ALP '97 HOA '97 Southampton, UK, September 3-5, 1997 Proceedings Michael Hanus uuuu-uuuu Okänt
13 Logic-Based Program Synthesis and Transformation Michael Hanus 2009 Okänt
14 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
15 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
16 Declarative Programming and Knowledge Management : Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 1113, 2013, Revised Selected Papers Michael Hanus 2014 Okänt
17 Functional and Logic Programming : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings Michael. Hanus uuuu-uuuu Okänt
18 Practical Aspects of Declarative Languages: 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings 2023 Okänt
19 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
20 Practical Aspects of Declarative Languages: 9Th International Symposium, PADL 2007, Nice, France, January 14-15, 2007 : Proceedings (Lecture notes in computer science, 0302-9743 4354) Michael Hanus 2007 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.