NASA Formal Methods, Fachbücher von Klaus Havelund, Rajeev Joshi, Gerard Holzmann

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

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

Mathematical Morphology and Its Applications to Signal and Image Processing, Fachbücher von Hugues Talbot, Laurent Najma...

Search-Based Software Engineering, Fachbücher

FM 2015: Formal Methods, Fachbücher von Frank de Boer, Nikolaj Bjørner

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

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

Traffic Monitoring and Analysis, Fachbücher von Olivier Bonaventure, Pere Barlet-Ros, Moritz Steiner

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

Statistical Learning and Data Sciences, Fachbücher von Vladimir Vovk, Alexander Gammerman, Harris Papadopoulos

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

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

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

Experimental Algorithms, Fachbücher von Evripidis Bampis

Logic Programming, Fachbücher von Patricia M. Hill, David S. Warren