Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- Algebraische Methode 1 [ausschließen]
- Algebraische Spezifikation 1 [ausschließen]
- Artenschutz 1 [ausschließen]
- Biologie 1 [ausschließen]
- Formale Methode 1 [ausschließen]
- HOL 1 [ausschließen]
- Isabelle Programm 1 [ausschließen]
- Kleene-Algebra 1 [ausschließen]
- Konferenzschrift 01.12.2011-07.12.2011 Shenzhen, China 1 [ausschließen]
- Konferenzschrift 2012 Cambridge 1 [ausschließen]
- Konferenzschrift 2012 Madrid 1 [ausschließen]
- Konferenzschrift 2012 Pisa 1 [ausschließen]
- Mathematische Logik 1 [ausschließen]
- Mathematische Methode 1 [ausschließen]
- Palmfarngewächse 1 [ausschließen]
- Programmverifikation 1 [ausschließen]
- Relationenalgebra 1 [ausschließen]
- Softwareentwicklung 1 [ausschließen]
- Statistische Analyse 1 [ausschließen]
-
1
-
2
Mathematics of program construction 11th international conference, MPC 2012, Madrid, Spain, June 25 - 27, 2012 ; proceedings
Veröffentlicht 2012Inhaltstext
Inhaltsverzeichnis
Tagungsbericht Buch -
3
Integrated formal methods 9th international conference, IFM 2012, Pisa, Italy, June 18 - 21, 2012 ; proceedings
Veröffentlicht 2012Inhaltstext
Inhaltsverzeichnis
Tagungsbericht Buch -
4
Cycad biology and conservation the 9th International Conference on Cycad Biology, 1-7 December 2011, Shenzhen, China
Veröffentlicht 2019Inhaltsverzeichnis
Tagungsbericht Buch