Treffer
1 - 4
von
4
für Suche '
AFIFI DJIHED
'
Weiter zum Inhalt
VuFind
Zwischenablage:
0
in der Auswahl
(Voll)
Anmeldung über Ihre Einrichtung
Bootstrap
Reg_test
TUM
GatewayBayern
Rvk
reg_uni
Standard Theme
Mobile Theme
thws
Layout
Englisch
Deutsch
Sprache
OPAC
OPACplus
Stichwort
Titel
Verfasser
Schlagwort
Suchen
Erweitert
Suchergebnisse - AFIFI DJIHED
Treffer
1 - 4
von
4
für Suche '
AFIFI DJIHED
'
, Suchdauer: 0,40s
Treffer weiter einschränken
Sortieren
Relevanz
Nach Datum, absteigend
Verfasser
Titel
1
ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems
von
Afifi, Djihed
,
Rydeheard, David E.
,
Barringer, Howard
Volltext
Tagungsbericht
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
2
Using environmental signatures for test scheduling
von
Jarvis Matthew J
,
Afifi Djihed
Volltext bestellen
Patent
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
3
USING ENVIRONMENTAL SIGNATURES FOR TEST SCHEDULING
von
AFIFI DJIHED
,
JARVIS MATTHEW J
Volltext bestellen
Patent
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
4
Using environmental signatures for test scheduling
von
DJIHED AFIFI
,
MATTHEW JAMES JARVIS
Volltext bestellen
Patent
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge:
RSS-Feed abonnieren
Diese Suche als E-Mail versenden
Suche speichern
Zurück
Treffer weiter einschränken
Seite wird neu geladen, wenn Filter aktiviert oder ausgeschlossen wird.
Eingrenzen
Peer Reviewed
1 Treffer
1
Online Resources
4 Treffer
4
Format
Patents
3 Treffer
3
Conference Proceedings
1 Treffer
1
Schlagworte
Calculating
3 Treffer
3
Computing
3 Treffer
3
Counting
3 Treffer
3
Electric Digital Data Processing
3 Treffer
3
Physics
3 Treffer
3
Automate Reasoning
1 Treffer
1
Automate Theorem Prover
1 Treffer
1
Computer Science
1 Treffer
1
Computer Science, Software Engineering
1 Treffer
1
Computer Science, Theory & Methods
1 Treffer
1
Logical Framework
1 Treffer
1
Proof Obligation
1 Treffer
1
Science & Technology
1 Treffer
1
Technology
1 Treffer
1
Theorem Prover
1 Treffer
1
Erscheinungsjahr
Von:
Bis:
Quelle
Esp@Cenet
3 Treffer
3
Ingenta Connect
1 Treffer
1