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
1 Identification of Non-Linear Differential-Algebraic Equations - Scalable and Consistent Parameter Estimation with Process Disturbances Robert Bereza-Jarocinski 2024 Engelska
2-3 Safety, security, and semantic aspects of equation-based object-oriented languages and environments (flera utgåvor) David Broman 2007 Engelska
4-5 Flow Lambda Calculus for declarative physical connection semantics (flera utgåvor) David Broman 2007 Engelska
6 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
7 Correct and Efficient Monte Carlo Inference for Universal Probabilistic Programming Languages Daniel Lundén 2023 Engelska
8 Meta-languages and semantics for equation-based modeling and simulation David Broman 2010 Engelska
9 Proceedings of the 4th analytic virtual integration of cyber-physical systems workshop - December 3, Vancouver, Canada 2013 Engelska
10-11 Proc eedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, Zurich, Switzerland, September 5, 2011 (flera utgåvor) International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools 2011 : Zürich) 2011 Engelska
12 A comparison of metacompilation approaches to implementing Modelica 2011 Engelska
13 2023 Forum on Specification & Design Languages (FDL). - Turin (Italy), 13-15 September 2023 Sara Vinco 2023 Engelska
14 Machine learning-based bug handling in large-scale software development Leif Jonsson 2018 Engelska
15 Stochastic Approximation for Identification of Non-Linear Differential-Algebraic Equations with Process Disturbances MEXICO Cancun 2022 DEC 06-09 IEEE 61st Conference on Decision and Control (CDC) Robert Bereza-Jarocinski 2022 Engelska
16 A PRET microarchitecture implementation with repeatable timing and competitive performance Canada QC Montreal 30 september - 3 October 2012 IEEE 30th International Conference on Computer Design(ICCD 2012) Liu Isaac 2012 Engelska
17 Gradually typed symbolic expressions 8 January 2018 through 9 January 2018 PEPM 2018 2018 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation David Broman 2017 Engelska
18 Endlessly Circulating Messages in IEEE 1588-2008 Systems 2014 USA Texas Austin Control and Communication (ISPCS 2014) The International IEEE Symposium on Precision Clock Synchronization for Measurement David Broman 2014 Engelska
19 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
20 Requirements for Hybrid Cosimulation Standards 2015. USA WA Seattle 18th ACM International Conference on Hybrid Systems: Computation and Control (HSCC) David Broman 2015 Engelska

1 2 3 Nästa sida

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.