Treffer
1 - 2
von
2
für Suche '
KARSISTO, Konsta
'
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 - KARSISTO, Konsta
Treffer
1 - 2
von
2
für Suche '
KARSISTO, Konsta
'
, Suchdauer: 0,27s
Treffer weiter einschränken
Sortieren
Relevanz
Nach Datum, absteigend
Verfasser
Titel
1
Survey of code-size reduction methods
von
BESZEDES, Arpad
,
FERENC, Rudolf
,
GYIMOTHY, Tibor
,
DOLENC, André
,
KARSISTO, Konsta
Veröffentlicht in
ACM computing surveys
Volltext
Artikel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
2
Verification-driven development of a collision-avoidance protocol for the Ethernet
von
Karsisto, Konsta
,
Valmari, Antti
Volltext
Buchkapitel
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
2 Treffer
2
Online Resources
2 Treffer
2
Format
Articles
1 Treffer
1
Book Chapters
1 Treffer
1
Zeitschriftentitel
Acm Computing Surveys
1 Treffer
1
Schlagworte
Computer Science
2 Treffer
2
Computer Science, Theory & Methods
2 Treffer
2
Science & Technology
2 Treffer
2
Technology
2 Treffer
2
Applied Sciences
1 Treffer
1
Computer Programming
1 Treffer
1
Computer Science; Control Theory; Systems
1 Treffer
1
Computer Systems And Distributed Systems. User Interface
1 Treffer
1
Concurrent Behaviour
1 Treffer
1
Data Packet
1 Treffer
1
Embedded Systems
1 Treffer
1
Exact Sciences And Technology
1 Treffer
1
Language Theory And Syntactical Analysis
1 Treffer
1
Methods
1 Treffer
1
Reliable Channel
1 Treffer
1
Software
1 Treffer
1
State Space Generation
1 Treffer
1
Studies
1 Treffer
1
Theoretical Computing
1 Treffer
1
Verification Method
1 Treffer
1
Erscheinungsjahr
Von:
Bis:
Quelle
Science Citation Index Expanded (Web Of Science)
2 Treffer
2
Access Via Acm Digital Library
1 Treffer
1
Business Source Complete
1 Treffer
1
Infotrac Custom
1 Treffer
1
Gale Business: Insights
1 Treffer
1
Ingentaconnect
1 Treffer
1