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

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

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

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

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

Social Computing and Social Media, Fachbücher von Gabriele Meiselwitz

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 ...

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

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...

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

Experimental Algorithms, Fachbücher von Evripidis Bampis

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

Wired/Wireless Internet Communications, Fachbücher von Hans van den Berg, Dirk Staehle, Evgeny Osipov, Geert Heijenk