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: Alessandro Abate
9 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
Hybrid Systems Biology
|
David Šafránek
|
2015 |
Okänt |
| 2 |
Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings
|
Andrea Marin
|
2021 |
Okänt |
| 3 |
Numerical Software Verification - 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
|
|
2017 |
Engelska |
| 4 |
Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings
|
|
2017 |
Okänt |
| 5 |
Proceedings of the 19th International Conference on Hybrid Systems Computation and Control
|
Alessandro Abate
|
2016 |
Engelska |
| 6 |
Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings
|
|
2017 |
Engelska |
| 7 |
Stochastic Invariance and Aperiodic Control for Uncertain Constrained Systems
|
Yulong Gao
|
2018 |
Engelska |
| 8 |
Numerical Software Verification
|
|
2017 |
Okänt |
| 9 |
Computational Methods in Systems Biology: 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings
|
Alessandro Abate
|
2020 |
Okänt |
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.