New Austrian tunnelling method - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2010-10-05 18:52:57 Tunnels Rock mass rating Rock Structure Rating Persistence Joint New Austrian Tunnelling method Discontinuity Fault Rock bolt Geology Geotechnical engineering Rock mass classification		Add to Reading List Source URL: www.rocscience.com Download Document from Source Website File Size: 402,42 KB Share Document on Facebook

	DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop DocID: 1xW38 - View Document
	Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification Workshop DocID: 1xVYq - View Document
	Finding Errors in Multithreaded GUI Applications Sai Zhang University of Washington Joint work with: Hao Lu, Michael D. Ernst DocID: 1xVQd - View Document
	Abstract Joint Ventures brings a much-needed change to the current digital content landscape. Our aim is to create an economy that rewards every participant of the network, including publishers, authors, commenters DocID: 1xVLn - View Document
	Stochastic arithmetic in multiprecision Stef Graillat Joint work with Fabienne Jézéquel and Yuxiang Zhu LIP6/PEQUAN - Université Pierre et Marie Curie (Paris 6) - CNRS NSV3, Third International Workshop on Numerical DocID: 1xVHL - View Document