Yazar
james alves foss
3 cilt bulundu.
Cilt sonuçları
Cyber Security
Kristin Haltinner, Dilshani Sarathchandra, James Alves-Foss, Kevin Chang, Daniel Conte de Leon, Jia Song · Springer London, Limited
156 sayfa · 2016
Computer security / Congresses
Higher order logic theorem proving and its applications
Phillip J. Windley, James Alves-Foss, Gerhard Goos, Juris Hartmanis · Springer-Verlag
400 sayfa · 1995
Congresses / Symbolic and mathematical Logic / Automatic theorem proving / Logic, symbolic and mathematical