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: Andrew D. Gordon 12 träffar

Titel Författare År Språk
1 Foundations of Software Science and Computation Structures: 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 711, 2003 Proceedings Andrew D. Gordon uuuu-uuuu Okänt
2 Refinement Types for Secure Implementations Jesper Bengtson 2008 Engelska
3 Deriving Probability Density Functions from Probabilistic Functional Programs 2013. March 16-24 Italy Rome ETAPS 2013 Held as Part of the European Joint Conferences on Theory and Practice of Software TACAS 2013 19th International Conference Sooraj Bhat 2013 Engelska
4 Fabular - Regression formulas as probabilistic programming FL Saint Petersburg January 20–22 POPL 2016 Johannes Borgström 2016 Engelska
5 Measure Transformer Semantics for Bayesian Machine Learning Germany Saarbrücken 20th European Symposium on Programming ESOP 2011 Johannes Borgström 2011 Engelska
6-7 Foundations of software science and computation structures - 6th International Conference, FOSSACS 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) FOSSACS 2003 2003 : Warsaw cop. 2003 Engelska
8 Functional programming and input/output Andrew D. Gordon 1994 Engelska
9 A mechanisation of name-carrying syntax up to Alpha-conversion Andrew D. Gordon 1994 Engelska
10 Probabilistic programs as spreadsheet queries UK London April 11–18 24th European Symposium on Programming (ESOP 2015) Andrew D. Gordon 2015 Engelska
11 Programming Languages and Systems - 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings Andrew D. Gordon 2010 Engelska
12 Tabular - a schema-driven probabilistic programming language CA San Diego January 22–24 POPL 2014 Andrew D. Gordon 2014 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.