Docker
From MaRDI portal
Software:30346
No author found.
Related Items (7)
WebMIaS on Docker. Deploying math-aware search in a single line of code ⋮ \textsc{VeriCount}: verifiable resource accounting using hardware and software isolation ⋮ The Minimal Hitting Set Generation Problem: Algorithms and Computation ⋮ Build systems à la carte: Theory and practice ⋮ The Regulation of Gene Expression by Operons and the Local Modeling Framework ⋮ Unnamed Item ⋮ House of graphs 2.0: a database of interesting graphs and more
This page was built for software: Docker
