[ACM Press the 47th Design Automation Conference - Anaheim, California (2010.06.13-2010.06.18)] Proceedings of the 47th Design Automation Conference on - DAC '10 - Pareto sampling
- 作者Singhee, Amith; Castalino, Pamela
- 文件大小217.06KB
- 发表时间2010
- DOI10.1145/1837274.1837503
Simplicial radditive functorsVoevodsky, Vladimir · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2010
PrefaceGuo, Xuejun; Qin, Hourong; Tang, Guoping · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2013
Comparing homotopy categoriesBlanc, David · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2008
ForewordBak, Anthony; Rosenberg, Jonathan; Weibel, Chuck · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2010
Quillen model categoriesHovey, Mark · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2013
PrefaceFriedlander, Eric M.; Østvær, Paul Arne; Quick, Gereon · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2011
Cyclic Cohomology of CoringsRangipour, Bahram · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2009
Representability of derived stacksPridham, J.P. · Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology · 2012