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: David Broman 53 träffar

Titel Författare År Språk
41 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
42 Programming Language Primitives and Tools for Integrated Real-Time Systems Development Saranya Natarajan 2021 Engelska
43 Node-Based Connection Semanticsfor Equation-Based Object-Oriented Modeling Languages International Symposium on Practical Aspects of Declarative Languages (PADL 2012) David Broman 2012 Engelska
44 Resolvable ambiguity - Principled resolution of syntactically ambiguous programs 2-3 March 2021 South Korea Online CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction Viktor Palmkvist 2021 Engelska
45 From Code to Weakly Hard Constraints - A Pragmatic End-to-End Toolchain for Timed C 3 December 2019 through 6 December 2019 RTSS 2019 40th IEEE Real-Time Systems Symposium Saranya Natarajan 2019 Engelska
46 Should Software Engineering Projects be the Backbone or the Tail of Computing Curricula? USA PA Pittsburgh 9-12 March 2010 23rd IEEE Conference on Software Engineering Education and Training (CSEE&T 2010) David Broman 2010 Engelska
47 A vision of miking - Interactive programmatic modeling, sound language composition, and self-learning compilation 2019 October 20-22 Greece Athens SLE 2019 the 12th ACM SIGPLAN International Conference on Software Language Engineering David Broman 2019 Engelska
48 Identification of Non-Linear Differential-Algebraic Equation Models with Process Disturbances USA Texas Austin 2021 Dec. 13-17 The 60th IEEE conference on Decision and Control (CDC) Mohamed Abdalmoaty 2021 Engelska
49 Automatic Diversity in the Software Supply Chain Nicolas Harrand 2021 Engelska
50 The Behavioral Diversity of Java JSON Libraries International Symposium on Software Reliability Engineering (ISSRE) Nicolas Harrand 2021 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 Software Diversity for Third-Party Dependencies Nicolas Harrand 2022 Engelska
53 Automated Optimizations for Inference in Probabilistic Programming Languages Gizem Çaylak 2024 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.