NASA Formal Methods, Fachbücher

NASA Formal Methods, Fachbücher von Kristin Yvonne Rozier, Julia M. Badger

Nasa Formal Methods 7th International Symposium, Nfm 2015, Pasadena,

FM 2015: Formal Methods, Fachbücher

Mathematical Morphology and Its Applications to Signal and Image Processing, Fachbücher

Search-Based Software Engineering, Fachbücher

Traffic Monitoring and Analysis, Fachbücher

Nasa Formal Methods 13th International Symposium, Nfm 2021, Virtual

Nasa Formal Methods 10th International Symposium, Nfm 2018, Newport

Software Composition, Fachbücher von Cesare Pautasso, Éric Tanter

Statistical Learning and Data Sciences, Fachbücher

Applied Reconfigurable Computing, Fachbücher von Kentaro Sano, Michael Hübner, Pedro Diniz, Dimitrios Soudris

Cross-Cultural Design: Applications in Mobile Interaction, Education, Health, Tarnsport and, Fachbücher von P.L.Patrick ...

Social Computing, Behavioral-Cultural Modeling and Prediction, Fachbücher von William G. Kennedy, Shanchieh Jay Yang, Ni...

Bioinformatics Research and Applications, Fachbücher von Robert Harrison, Ion Mandoiu, Yaohang Li

NASA Formal Methods, Fachbücher von Aaron Dutle, Anthony Narkawicz, César Muñoz