Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- Automatic theorem proving Congresses 1 [ausschließen]
- Bei jing hua / ci hui / yan jiu 1 [ausschließen]
- China 1 [ausschließen]
- China / Beijing 1 [ausschließen]
- Chinese language / Dialects 1 [ausschließen]
- Chinese language / Spoken Chinese 1 [ausschließen]
- Chinesisch 1 [ausschließen]
- Deutschland 1 [ausschließen]
- Eingebettetes System 1 [ausschließen]
- Entwicklungshilfe 1 [ausschließen]
- Formale Methode 1 [ausschließen]
- Formale Methode - Verifikation - Model Checking - Kongress - Macao <2009> 1 [ausschließen]
- Hardwareentwurf 1 [ausschließen]
- Hybrides System 1 [ausschließen]
- Konferenzschrift 2009 Macao 1 [ausschließen]
- Konservierung 1 [ausschließen]
- Kulturgüterschutz 1 [ausschließen]
- Kunstwerk 1 [ausschließen]
- Mandarin dialects 1 [ausschließen]
- Mandarin dialects / China / Beijing 1 [ausschließen]
- Model Checking 1 [ausschließen]
- Mundart 1 [ausschließen]
- Peking 1 [ausschließen]
- Softwareentwicklung 1 [ausschließen]
- Softwareentwicklung - Hardwareentwurf - Verifikation - Model Checking - Kongress - Macao <2009> 1 [ausschließen]
- Systemanalyse 1 [ausschließen]
- Systementwurf 1 [ausschließen]
- Systementwurf - Systemanalyse - Formale Methode - Verifikation - Kongress - Macao <2009> 1 [ausschließen]
- Technologietransfer 1 [ausschließen]
- Verifikation 1 [ausschließen]
-
1
Der Vergangenheit eine Zukunft geben 15 Jahre deutsch-chinesische Entwicklung und Erprobung von Verfahren zur Erhaltung von Kulturgur = Rang guo qu yong you wei lai : 15 nian De-Zh...
让过去拥有未来 15 Jahre deutsch-chinesische Entwicklung und Erprobung von Verfahren zur Erhaltung von Kulturgur = 让过去拥有未来 : 15 年德-中文物保护方法的发展与检验Veröffentlicht 2006Inhaltsverzeichnis
Buch -
2
-
3
Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
Veröffentlicht 2009Inhaltsverzeichnis
Tagungsbericht Buch -
4
Advances in natural computation second international conference, ICNC 2006, Xi'an, China, September 24-28, 2006 ; proceedings
Veröffentlicht 2006Volltext
lizenzfrei
Inhaltsverzeichnis
Tagungsbericht Buch