autore : Jacob Beal

10 riviste e collane
book ACM Transactions on Computational Logic (TOCL)
book Journal of Logical and Algebraic Methods in Programming (JLAMP)
book ACM Transactions on Modeling and Computer Simulation (TOMACS)
book ACM Transactions on Autonomous and Adaptive Systems (TAAS)
book Science of Computer Programming (SCP)
book Computer (Computer)
book Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences (RSTA)
book SIGSPATIAL Special (SIGSPATIAL Special)
book Communications in Computer and Information Science (CCIS)
book PLOS ONE (PLOS ONE)