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 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
42 Programming Language Primitives and Tools for Integrated Real-Time Systems Development Saranya Natarajan 2021 Engelska
43 Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics 15-17 Sept. 2020 Germany Kiel IEEE Forum for Specification and Design Languages (FDL) Saranya Natarajan 2020 Engelska
44 Abstraction, Composition, and Resolvable Ambiguity in Programming Language Implementation Viktor Palmkvist 2024 Engelska
45 Creating domain-specific languages by composing syntactical constructs 14 January 2019 through 15 January 201 Portugal Lisbon PADL 2019 21st International Symposium on Practical Aspects of Declarative Languages Viktor Palmkvist 2019 Engelska
46 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
47 Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools International Workshop on Equation-Based Object-Oriented Languages and Tools 2008 : Paphos) 2008 Engelska
48 Proceedings of the 4th analytic virtual integration of cyber-physical systems workshop - December 3, Vancouver, Canada 2013 Engelska
49 An Assessment Model for Large Project Courses 2014 March 5-8 USA GA Atlanta 45th ACM Technical Symposium on Computer Science Education (SIGCSE 2014) Maria Vasilevskaya 2014 Engelska
50 2023 Forum on Specification & Design Languages (FDL). - Turin (Italy), 13-15 September 2023 Sara Vinco 2023 Engelska
51 Relaxing the Synchronous Approach for Mixed-Criticality Systems 2014 April 15-17 Germany Berlin The 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS) Eugene Yip 2014 Engelska
52 FlexPRET: A Processor Platform for Mixed-Criticality Systems 2014. April 15-17 Germany Berlin The 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS) Michael Zimmer 2014 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.