Docker

swMATH18506MaRDI QIDQ30346FDOQ30346

Author name not available (Why is that?)

Cited In (7)

• The Minimal Hitting Set Generation Problem: Algorithms and Computation
• WebMIaS on Docker. Deploying math-aware search in a single line of code
• Build systems à la carte: Theory and practice
• The Regulation of Gene Expression by Operons and the Local Modeling Framework
• Title not available (Why is that?)
• \textsc{VeriCount}: verifiable resource accounting using hardware and software isolation
• House of graphs 2.0: a database of interesting graphs and more

This page was built for software: Docker