Forecasting, structural time series models and the Kalman filter
749875
|
Andrew C. Harvey
|
9781107713017 |
1989 |
Contains images
|
|
Forest, Field, and Fallow: Selections by William M. Denevan
3777690
|
Kent Mathewson
Antoinette M. G. A. WinklerPrins
|
9783030424800 |
2021 |
Contains images
|
|
Form Symmetries and Reduction of Order in Difference Equations (Advances in Discrete Mathematics and Applications)
6401691
|
Hassan Sedaghat
|
9781040218945 |
2011 |
Contains images
|
|
Form und Vergegenwärtigung: Funktionalistische Studien zur Organisation des Sterbens zu Hause
5246128
|
Anna Bauer
|
9783658406783 |
2023 |
Contains images
|
|
Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols (SpringerBriefs in Applied Sciences and Technology)
4355635
|
Benjamin Aziz
|
9783030911539 |
2022 |
Contains images
|
|
Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings (Lecture Notes in Computer Science #12018)
3407053
|
Farhad Arbab
Sung-Shik Jongmans
|
9783030409142 |
2020 |
Contains images
|
|
Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings (Lecture Notes in Computer Science #13712)
4971587
|
José Proença
Silvia Lizeth Tapia Tarifa
|
9783031208720 |
2022 |
Contains images
|
|
Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers (Lecture Notes in Computer Science #14485)
5888310
|
Sung-Shik Jongmans
Javier Cámara
|
9783031521836 |
2024 |
Contains images
|
|
Formal Concept Analysis
1413469
|
Jaume Baixeries
Christian Sacarea
Manuel Ojeda-Aciego
|
9783319195452 |
2015 |
Contains images
|
|
Formal Concept Analysis of Social Networks (Lecture Notes in Social Networks)
2333702
|
Rokia Missaoui
Sergei O. Kuznetsov
Sergei Obiedkov
|
9783319641676 |
2017 |
Contains images
|
|
Formal Concept Analysis: 15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25–28, 2019, Proceedings (Lecture Notes in Computer Science #11511)
5924765
|
Florence Le Ber
Diana Cristea
Baris Sertkaya
|
9783030214623 |
2019 |
Contains images
|
|
Formal Grammar 2018: 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings (Lecture Notes in Computer Science #10950)
5926464
|
Annie Foret
Sylvain Pogodalla
Greg Kobele
|
9783662577844 |
2018 |
Contains images
|
|
Formal Grammar: 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers (Lecture Notes in Computer Science #10686)
5928266
|
Annie Foret
Reinhard Muskens
Sylvain Pogodalla
|
9783662563434 |
2018 |
Contains images
|
|
Formal Grammar: 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings (Lecture Notes in Computer Science #11668)
2807782
|
Sylvain Pogodalla
Greg Kobele
Raffaella Bernardi
|
9783662596487 |
2019 |
Contains images
|
|
Formal Languages and Compilation
1391601
|
Stefano Crespi Reghizzi
Luca Breveglieri
Angelo Morzenti
|
9781447155140 |
2013 |
Contains images
|
|
Formal Languages and Computation: Models and Their Applications
6138825
|
Alexander Meduna
|
9781040061282 |
2014 |
Contains images
|
|
Formal Matrices
1535734
|
Piotr Krylov
Askar Tuganbaev
|
9783319539072 |
2017 |
Contains images
|
|
Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings (Lecture Notes in Computer Science #13122)
4361230
|
João F. Ferreira
Alexandra Mendes
Claudio Menghi
|
9783030915506 |
2021 |
Contains images
|
|
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings (Lecture Notes in Computer Science #14939)
6203625
|
Leila Ribeiro
Emil Sekerinski
|
9783031713798 |
2024 |
Contains images
|
|
Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings (Lecture Notes in Computer Science #11758)
2964907
|
Graeme Smith
Brijesh Dongol
Luigia Petre
|
9783030324414 |
2019 |
Contains images
|
|
Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings (Lecture Notes in Computer Science #11232)
2333354
|
Jing Sun
Meng Sun
|
9783030024505 |
2018 |
Contains images
|
|
Formal Methods for Control of Nonlinear Systems
5103063
|
Jun Liu
Yinan Li
|
9781000831948 |
2023 |
Contains images
|
|
Formal Methods in Architecture: Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 (Advances in Science, Technology & Innovation)
4519799
|
Sara Eloy
David Leite Viana
Franklim Morais
Jorge Vieira Vaz
|
9783030575090 |
2021 |
Contains images
|
|
Formal Methods in Computer Science (Textbooks In Mathematics Ser.)
5628648
|
Jiacun Wang
|
9781498775359 |
2020 |
Contains images
|
|
Formal Methods – Fun for Everybody: First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers (Communications in Computer and Information Science #1301)
3956482
|
Antonio Cerone
Markus Roggenbach
|
9783030713744 |
2021 |
Contains images
|
|