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: Aleksandar Zeljić 7 träffar

Titel Författare År Språk
1-2 Approximations and abstractions for reasoning about machine arithmetic (flera utgåvor) Aleksandar Zeljic 2016 Engelska
3 Approximations for Model Construction Austria Vienna 19-22 July 2014 7th International Joint Conference on Automated Reasoning (IJCAR 2014) Held as Part of theVienna Summer of Logic (VSL) Aleksandar Zeljic 2014 Engelska
4-5 From Machine Arithmetic to Approximations and back again - Improved SMT Methods for Numeric Data Types (flera utgåvor) Aleksandar Zeljić 2017 Engelska
6 Exploring Approximations for Floating-Point Arithmetic using UppSAT 2018 July 14-17 UK Oxford FloC 2018 Held as Part of the Federated Logic Conference IJCAR 2018 9th International Joint Conference Aleksandar Zeljic 2018 Engelska
7 Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction Texas. Austin University of Texas 2018 30 October - 2 November The eighteenth in a series of conferences on the theory and applications of formal methods in hardware and system verification (FMCAD 2018) Peter Backeman 2018 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.