Treffer
1 - 3
von
3
für Suche '
Schobbens, P.Y.
'
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 - Schobbens, P.Y.
Treffer
1 - 3
von
3
für Suche '
Schobbens, P.Y.
'
, Suchdauer: 0,28s
Treffer weiter einschränken
Sortieren
Relevanz
Nach Datum, absteigend
Verfasser
Titel
1
The architectural divergence problem in security and privacy of eHealth IoT product lines
von
Tomashchuk, Oleksandr
,
Van Landuyt, Dimitri
,
Joosen, Wouter
Volltext bestellen
Tagungsbericht
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
2
A two-level temporal logic for evolving specifications
von
Schobbens, P.Y.
,
Saake, G.
,
Sernadas, A.
,
Sernadas, C.
Veröffentlicht in
Information processing letters
Volltext
Artikel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
3
On the meaning of 'but' (formal specification)
von
Schobbens, P.Y.
Volltext bestellen
Tagungsbericht
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
3 Treffer
3
Format
Conference Proceedings
2 Treffer
2
Articles
1 Treffer
1
Zeitschriftentitel
Information Processing Letters
1 Treffer
1
Schlagworte
Algorithmics. Computability. Computer Arithmetics
1 Treffer
1
Animals
1 Treffer
1
Applied Sciences
1 Treffer
1
Computer Science
1 Treffer
1
Computer Science, Information Systems
1 Treffer
1
Computer Science; Control Theory; Systems
1 Treffer
1
Exact Sciences And Technology
1 Treffer
1
File Systems
1 Treffer
1
Formal Specifications
1 Treffer
1
Humans
1 Treffer
1
Linear Programming
1 Treffer
1
Logic
1 Treffer
1
Mathematical Models
1 Treffer
1
Network Address Translation
1 Treffer
1
Power System Modeling
1 Treffer
1
Program Specification
1 Treffer
1
Reconfigurable Systems
1 Treffer
1
Safety
1 Treffer
1
Science & Technology
1 Treffer
1
Software
1 Treffer
1
Erscheinungsjahr
Von:
Bis:
Quelle
Acm Digital Library Complete
2 Treffer
2
Ieee Electronic Library (Iel) Conference Proceedings
1 Treffer
1
Ieee Power & Energy Library
1 Treffer
1
Lirias (Ku Leuven Association)
1 Treffer
1
Ieee Electronic Library (Iel)
1 Treffer
1
Ingentaconnect
1 Treffer
1
Access Via Sciencedirect (Elsevier)
1 Treffer
1
Sd College Edition Journals Collection - Physical Sciences [Scps]
1 Treffer
1