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: Saranya Natarajan 4 träffar

Titel Författare År Språk
1-2 Programming Language Primitives and Tools for Integrated Real-Time Systems Development (flera utgåvor) Saranya Natarajan 2021 Engelska
3 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
4 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

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.