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: John. Hatcliff 6 träffar

Titel Författare År Språk
1 Partial evaluation - DIKU 1998 international summer school, Copenhagen, Denmark, 1998 Datalogisk Institut cop. 1999 Engelska
2 Formal Techniques for Distributed Systems - Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings John. Hatcliff 2010 Engelska
3 Partial Evaluation: Practice and Theory DIKU 1998 International Summer School Copenhagen, Denmark, June 29 July 10, 1998 John Hatcliff uuuu-uuuu Okänt
4 Partial Evaluation DIKU International Summer School on Partial Evaluation 1999 Engelska
5-6 Tools and algorithms for the construction and analysis of systems - 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings (flera utgåvor) Poland) TACAS 2003 2003 : Warsaw cop. 2003 Engelska

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.