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 A mechanisation of name-carrying syntax up to Alpha-conversion Andrew D. Gordon 1994 Engelska
2 Functional programming and input/output Andrew D. Gordon 1994 Engelska
3-4 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
5 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
6 Probabilistic programs as spreadsheet queries UK London April 11–18 24th European Symposium on Programming (ESOP 2015) Andrew D. Gordon 2015 Engelska
7 Fabular - Regression formulas as probabilistic programming FL Saint Petersburg January 20–22 POPL 2016 Johannes Borgström 2016 Engelska
8 Tabular - a schema-driven probabilistic programming language CA San Diego January 22–24 POPL 2014 Andrew D. Gordon 2014 Engelska
9 Measure Transformer Semantics for Bayesian Machine Learning Germany Saarbrücken 20th European Symposium on Programming ESOP 2011 Johannes Borgström 2011 Engelska
10 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
11 Refinement Types for Secure Implementations Jesper Bengtson 2008 Engelska
12 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

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.