1.Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis

作　　者：Andreas Morgenstern ;Klaus Schneider

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;25:89-102.doi:10.4204/EPTCS.25.11

出版社：Open Publishing Association

文章 ID：83119906

文章详细全文下载
2.A LTL Fragment for GR(1)-Synthesis

作　　者：Andreas Morgenstern ;Klaus Schneider

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;50:33-45.doi:10.4204/EPTCS.50.3

出版社：Open Publishing Association

文章 ID：83120134

文章详细全文下载
3.Consumer exposure to biocides - identification of relevant sources and evaluation of possible health effects

作　　者：Stefan Hahn ;Klaus Schneider ;Stefan Gartiser 等

出　　处：Environmental Health - a Global Access Science Source. 2010 ;9(1):7.doi:10.1186/1476-069X-9-7

出版社：BioMed Central

文章 ID：95176176

文章详细全文下载
4.Pain ? Maybe, but no danger – Sculpting the perfect body

作　　者：Klaus Schneider

出　　处：ISO Focus. 2008 ;2008(jul/aug).

出版社：International Organization for Standardization

文章 ID：80324534

文章详细全文下载
5.The truth about diminutives, and how we can find it: Some theoretical and methodological considerations

作　　者：Klaus Schneider

出　　处：SKASE Journal of Theoretical Linguistics. 2013 ;10(1):137.

出版社：Slovak Association for the Study of English

文章 ID：85249279

文章详细全文下载
6.PHOTOGRAMMETRIC ACCURACY AND MODELING OF ROLLING SHUTTER CAMERAS

作　　者：Jonas Vautherin ;Simon Rutishauser ;Klaus Schneider-Zapp 等

出　　处：ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences. 2016 ;III-3:139-146.

出版社：Copernicus Publications

文章 ID：215691531

文章详细全文下载

	Klaus Schneider	5篇
	Andreas Morgenstern	2篇
	Alexis Glass	1篇
	Christoph Strecha	1篇
	Hon Fai Choi	1篇

	Inge Mangelsdorf	1篇
	Jonas Vautherin	1篇
	Klaus Schneider-Zapp	1篇
	Simon Rutishauser	1篇
	Stefan Gartiser	1篇
	Stefan Hahn	1篇
	Venera Chovancova	1篇
	Wolfgang Heger	1篇

	计算技术、计算机技术	2篇
	国际组织	1篇
	环境科学、安全科学	1篇
	语言、文字	1篇
	语言学	1篇

	澳大利亚	2篇
	德国	1篇
	斯洛伐克	1篇
	瑞士	1篇
	英国	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Klaus Schneider")))) )) ) )"

	Electronic Proceedings in Theoretical Computer Science	2篇
	Environmental Health - a Global Access Science Source	1篇
	ISO Focus	1篇
	ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences	1篇
	SKASE Journal of Theoretical Linguistics	1篇

	2016	1篇
	2013	1篇
	2011	1篇
	2010	2篇
	2008	1篇