Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Literaturtyp
Schlagwort
- Rechnernetz 3 Treffer
- Formale Methode 2 Treffer
- Formale Spezifikationstechnik 2 Treffer
- Kommunikationsprotokoll 2 Treffer
- Model Checking 2 Treffer
-
20 weitere Werte:
- Software 2 Treffer
- Softwarespezifikation 2 Treffer
- Testen 2 Treffer
- Beschreibungssprache 1 Treffer
- Dienstgüte 1 Treffer
- Echtzeitsystem 1 Treffer
- Entwurfssprache 1 Treffer
- Funknetz 1 Treffer
- Hochleistungsrechnen 1 Treffer
- Internet 1 Treffer
- Mobile Computing 1 Treffer
- Mobilfunk 1 Treffer
- Modellgetriebene Entwicklung 1 Treffer
- Multicastingverfahren 1 Treffer
- Optische Nachrichtenübertragung 1 Treffer
- Requirements engineering 1 Treffer
- SDL 1 Treffer
- Spezifikationssprache 1 Treffer
- Verteilter Algorithmus 1 Treffer
- Web Services 1 Treffer
Sprache
Form
Person
5 Treffer
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: