Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- consistency criterion 1 Treffer
- data race 1 Treffer
- distributed algorithms 1 Treffer
- distributed model checking 1 Treffer
- firing rule 1 Treffer
-
19 weitere Werte:
- forecasting 1 Treffer
- internet worm 1 Treffer
- knowledge representation 1 Treffer
- linear temporal logic 1 Treffer
- logic programming 1 Treffer
- mobile agent 1 Treffer
- model checker 1 Treffer
- non-monotonic reasoning 1 Treffer
- parallel composition 1 Treffer
- process instance 1 Treffer
- read operation 1 Treffer
- regression analysis 1 Treffer
- sequential composition 1 Treffer
- sequential consistency 1 Treffer
- shared memory 1 Treffer
- stable semantics 1 Treffer
- state chart 1 Treffer
- time constraint 1 Treffer
- workflow system 1 Treffer
Publikation
- advanced distributed systems : 5th international school and symposium, issads 2005, guadalajara, mexico, january 24-28, 2005, revised selected papers 1 Treffer
- chirurgisches forum und dgav forum 2010 : fur experimentelle und klinische forschung 1 Treffer
- dictionary geotechnical engineering/worterbuch geotechnik : english-german/englisch-deutsch 1 Treffer
- formal methods and software engineering : 12th international conference on formal engineering methods, icfem 2010, shanghai, china, november 17-19, 2010. proceedings 1 Treffer
- formal methods for industrial critical systems : 16th international workshop, fmics 2011, trento, italy, august 29-30, 2011. proceedings 1 Treffer
-
3 weitere Werte:
- foundations of software technology and theoretical computer science : 15th conference bangalore, india, december 18-20, 1995 proceedings 1 Treffer
- information security and privacy research : 27th ifip tc 11 information security and privacy conference, sec 2012, heraklion, crete, greece, june 4-6, 2012. proceedings 1 Treffer
- progress in artificial intelligence - iberamia 98 : 6th ibero-american conference on ai lisbon, portugal, october 5-9, 1998 proceedings 1 Treffer
8 Treffer
-
In: Dictionary Geotechnical Engineering/Wörterbuch GeoTechnik : English-German/Englisch-Deutsch; (2014) S. 328-328Online E-BookZugriff:
-
2010Online E-BookZugriff:
-
1998Online E-BookZugriff: