Bio-inspired Information and Communication Technologies : 11th EAI International Conference,BICT 2019, Pittsburgh, PA, USA, March 13-14, 2019, Procee
Centrality and Diversity in Search : Roles in A.I.,Machine Learning, Social Networks, and Pattern Recognition
Practical Security Properties on Commodity Computing Platforms : The uber eXtensible Micro-Hypervisor Framework
Algorithms and Models for the Web Graph : 16th International Workshop,WAW 2019, Brisbane, QLD, Australia, July 6-7, 2019, Proceedings
Communication Technologies for Vehicles : 14th International Workshop,Nets4Cars/Nets4Trains/Nets4Aircraft 2019, Colmar, France, May 16-17, 2019, Proc
Computer Aided Verification : 31st International Conference,CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Code-Based Cryptography : 7th International Workshop,CBC 2019, Darmstadt, Germany, May 18-19, 2019, Revised Selected Papers
Formal Methods for Industrial Critical Systems : 24th International Conference,FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceeding
Search-Based Software Engineering : 11th International Symposium,SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019, Proceedings
A Practical Approach to High-Performance Computing
Trust,Privacy and Security in Digital Business : 16th International Conference, TrustBus 2019, Linz, Austria, August 26-29, 2019, Proceedings
Hybrid Systems Biology : 6th International Workshop,HSB 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers
