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: European Symposium on Programming 53 träffar

Titel Författare År Språk
41 Programming languages and systems. - 8th European Symposium on Programming, ESOP'99, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings European Symposium on Programming 1999) Amsterdam : cop. 1999 Engelska
42 Programming languages and systems. - proceedings : 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000 European Symposium on Programming 2000) Berlin : cop. 2000 Engelska
43 Programming languages and systems. - 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings European Symposium on Programming 2001) Genua : cop. 2001 Engelska
44 Programming languages and systems. - 12th European Symposium on Programming, ESOP 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings Poland) European Symposium on Programming 2003 : Warsaw cop. 2003 Engelska
45 Programming languages and systems. - 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings Spain) European Symposium on Programming 2004 : Barcelona c2004 Engelska
46 Measure Transformer Semantics for Bayesian Machine Learning Germany Saarbrücken 20th European Symposium on Programming ESOP 2011 Johannes Borgström 2011 Engelska
47 Probabilistic programs as spreadsheet queries UK London April 11–18 24th European Symposium on Programming (ESOP 2015) Andrew D. Gordon 2015 Engelska
48 Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages 30th European Symposium on Programming (ESOP) 27 March-1 April 2021 online Daniel Lundén 2021 Engelska
49 Automatic Alignment in Higher-Order Probabilistic Programming Languages 2023. April 22–27 France Paris ETAPS 2023 Held as Part of the European Joint Conferences on Theory and Practice of Software ESOP 2023 32nd European Symposium on Programming Daniel Lundén 2023 Engelska
50 Probabilistic Total Store Ordering GERMANY Munich 2022 APR 02-07 31st European Symposium on Programming (ESOP) Held as Part of the 25th European Joint Conferences on Theory and Practice of Software (ETAPS) Parosh Abdulla 2022 Engelska
51 Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference 2022 April 2-7 Germany Munich ETAPS 2022 Held as Part of the European Joint Conferences on Theory and Practice of Software ESOP 2022 Programming Languages and Systems - 31st European Symposium on Programming Daniel Lundén 2022 Engelska
52 Reasoning About Multi-Stage Programs 2012 Tallinn 24 March-1 April ETAPS 2012 held as part of the European Joint Conferences on Theory and Practice of Software ESOP 2012 21st European Symposium on Programming Jun Inoue 2012 Engelska
53 The Decidability of Verification under PS 2.0 ELECTR NETWORK 2021 MAR 27-APR 01 30th European Symposium on Programming (ESOP) Held as Part of the 24th European Joint Conferences on Theory and Practice of Software (ETAPS) Parosh Aziz Abdulla 2021 Engelska

Förra sidan 1 2 3

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.