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 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
2 Identification of Non-Linear Differential-Algebraic Equations - Scalable and Consistent Parameter Estimation with Process Disturbances Robert Bereza-Jarocinski 2024 Engelska
3 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
4 A comparison of metacompilation approaches to implementing Modelica David Broman 2016 Engelska
5 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
6 Determinate Composition of FMUs for Co-Simulation 2013 Canada Montreal International Conference on Embedded Software (EMSOFT 2013) David Broman 2013 Engelska
7 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
8-10 Flow Lambda Calculus for declarative physical connection semantics (flera utgåvor) David Broman 2007 Engelska
11 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
12-13 Meta-languages and semantics for equation-based modeling and simulation (flera utgåvor) David Broman 2010 Engelska
14 Node-Based Connection Semanticsfor Equation-Based Object-Oriented Modeling Languages International Symposium on Practical Aspects of Declarative Languages (PADL 2012) David Broman 2012 Engelska
15 Precision Timed Infrastructure - Design Challenges 2013 May 31-June 1 USA Texas Austin Electronic System Level Synthesis Conference (ESLsyn) David Broman 2013 Engelska
16 Requirements for Hybrid Cosimulation Standards 2015. USA WA Seattle 18th ACM International Conference on Hybrid Systems: Computation and Control (HSCC) David Broman 2015 Engelska
17-18 Safety, security, and semantic aspects of equation-based object-oriented languages and environments (flera utgåvor) David Broman 2007 Engelska
19 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
20 Viewpoints, Formalisms, Languages, and Tools for Cyber-Physical Systems 2012 October Austria Innsbruck 6th International Workshop on Multi-Paradigm Modeling (MPM) David Broman 2012 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.