NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
Julia M. Badger
Download Now
Format: eBook (PDF)
Combinatorial Pattern Matching : 25th Annual Symposium, CPM 2014, Moscow, Russia, June 16-18, 2014. Proceedings
Alexander S. Kulikov
Download Now
Format: eBook (PDF)
Fun with Algorithms : 7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014, Proceedings
Alfredo Ferro
Download Now
Format: eBook (PDF)
Computer Networks : 21st International Conference, CN 2014, Brunow, Poland, June 23-27, 2014. Proceedings
Andrzej Kwiecien
Download Now
Format: eBook (PDF)