Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- Konferenzschrift 2 [ausschließen]
- Kosovo 2 [ausschließen]
- Alltagskultur 1 [ausschließen]
- Asia-Pacific region 1 [ausschließen]
- Aufsatzsammlung 1 [ausschließen]
- Auswirkung 1 [ausschließen]
- Automatic theorem proving Congresses 1 [ausschließen]
- Automatisches Beweisverfahren 1 [ausschließen]
- Beweistheorie 1 [ausschließen]
- Beweistheorie - Typentheorie - Kongress - Turin <2008> 1 [ausschließen]
- Böhmische Länder 1 [ausschließen]
- Computer programming Congresses 1 [ausschließen]
- Computeralgebra 1 [ausschließen]
- Denkmalpflege 1 [ausschließen]
- Fernerkundung 1 [ausschließen]
- HOL 1 [ausschließen]
- HOL - Typentheorie - Kongress - Turin <2008> 1 [ausschließen]
- Horticulture 1 [ausschließen]
- Humanitarian intervention Kosovo (Republic) 1 [ausschließen]
- Humanitäre Intervention 1 [ausschließen]
- Konferenzschrift 2008 Turin 1 [ausschließen]
- Konferenzschrift 2009 1 [ausschließen]
- Kosovo (Republic) Politics and government 1980-2008 1 [ausschließen]
- Kosovo (Republic) Politics and government 2008- 1 [ausschließen]
- Kosovo War, 1998-1999 1 [ausschließen]
- Kulturerbe 1 [ausschließen]
- Kulturgüterschutz 1 [ausschließen]
- Künstliche Intelligenz 1 [ausschließen]
- Mathematik 1 [ausschließen]
- Nation-building Kosovo (Republic) 1 [ausschließen]
-
1
Proceedings of the 5th ACM SIGPLAN International Workshop on Type-Driven Development
Veröffentlicht 2020DE-19
URL des Erstveröffentlichers
Elektronisch E-Book -
2
Types for proofs and programs International Conference, TYPES 2008, Torino, Italy, March 26 - 29, 2008 ; revised selected papers
Veröffentlicht 2009Inhaltsverzeichnis
Tagungsbericht Buch -
3
-
4
Proceedings of the International Symposium on Harnessing the Potential of Horticulture in the Asian-Pacific Region
Veröffentlicht 2005Inhaltsverzeichnis
Tagungsbericht Buch -
5
-
6
-
7
Comprehensive chemometrics chemical and biochemical data analysis
Veröffentlicht 2009Inhaltsverzeichnis
Buch -
8
-
9
-
10