Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- Formale Methode 2 [ausschließen]
- Indien 2 [ausschließen]
- Konferenzschrift 2 [ausschließen]
- Model Checking 2 [ausschließen]
- Softwaretest 2 [ausschließen]
- Statische Analyse 2 [ausschließen]
- Verifikation 2 [ausschließen]
- Abstrakte Interpretation 1 [ausschließen]
- BUSINESS & ECONOMICS / Structural Adjustment 1 [ausschließen]
- Beeinflussung 1 [ausschließen]
- Beweis 1 [ausschließen]
- Bug Informatik 1 [ausschließen]
- Cloud Computing 1 [ausschließen]
- Codegenerierung 1 [ausschließen]
- Codeoptimierung 1 [ausschließen]
- Compiler 1 [ausschließen]
- Computer software Quality control Congresses 1 [ausschließen]
- Computer software Reliability Congresses 1 [ausschließen]
- Computer software Testing Congresses 1 [ausschließen]
- Computer software Verification Congresses 1 [ausschließen]
- Computerlinguistik 1 [ausschließen]
- Computerunterstütztes Verfahren 1 [ausschließen]
- Cyclotron resonance 1 [ausschließen]
- Cyclotron resonance Congresses 1 [ausschließen]
- Cyclotron waves 1 [ausschließen]
- Cyclotron waves Congresses 1 [ausschließen]
- Datenbanksystem 1 [ausschließen]
- Datenfluss 1 [ausschließen]
- Dienstekomposition 1 [ausschließen]
- Dienstgüte 1 [ausschließen]
-
1
Organization development accelerating learning and transformation
Veröffentlicht 2011Volltext
Elektronisch E-Book -
2
EC-12 proceedings of the 12th Joint Workshop on Electron Cyclotron Emission and Electron Cyclotron Heating : Aix-en-Provence, France, 13-16 May 2002
Veröffentlicht 2003DE-1046
DE-1047
Volltext
Elektronisch E-Book -
3
Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 201 ; proceedings
Veröffentlicht 2011Inhaltstext
Inhaltsverzeichnis
Tagungsbericht Buch -
4
Tests and proofs third International Conference, TAP 2009, Zurich, Switzerland, July 2 - 3, 2009 ; proceedings
Veröffentlicht 2009Inhaltsverzeichnis
Tagungsbericht Buch -
5
-
6
A systems theoretic approach to systems and synthetic biology
Veröffentlicht 2014Klappentext
Inhaltsverzeichnis
Buch -
7
Static analysis 17th international symposium, SAS 2010, Perpignan, France, September 14 - 16, 2010 ; proceedings
Veröffentlicht 2010Inhaltstext
Inhaltsverzeichnis
Tagungsbericht Buch -
8
Computer aided verification 24th international conference, CAV 2012, Berkeley, CA, USA, July 7 - 13, 2012 ; proceedings
Veröffentlicht 2012Inhaltstext
Inhaltsverzeichnis
Tagungsbericht Buch -
9
Programming languages and systems 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5 - 7, 2011 ; proceedings
Veröffentlicht 2011Inhaltstext
Inhaltsverzeichnis
Tagungsbericht Buch -
10
Persuasive technology 8th international conference, PERSUASIVE 2013, Sydney, NSW, Australia, April 3 - 5, 2013 ; proceedings
Veröffentlicht 2013Inhaltstext
Inhaltsverzeichnis
Tagungsbericht Buch -
11
The melodramatic public film form and spectatorship in Indian cinema
Veröffentlicht 2011Inhaltsverzeichnis
Buch -
12
-
13
Computer aided verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings
Veröffentlicht 2009Inhaltsverzeichnis
Tagungsbericht Buch -
14
-
15
Proceedings of the twenty-eighth International Conference on Very Large Data Bases Hong Kong SAR, China, 20 - 23 August 2002
Veröffentlicht 2002Inhaltsverzeichnis
Tagungsbericht Buch