96 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme
Klassifikation
Schliessen
Filter
2

zu den Filteroptionen

Slicing integrated formal specifications for verification
Brückner, Ingo
2008
Spectral methods for efficient load balancing stragegies
Elsässer, Robert
2002
Study of multilevel modulation formats for high speed digital optical communication systems
Ibrahim, Selwan Khaleel
2007
Synthesis of dataflow graphs for reconfigurable systems using temporal partitioning and temporal placement
Bobda, Christophe
2003
Tamper resistance of AES
Models, attacks and countermeasures
Krummel, Volker
2007
Test generation using event sequence graphs
Budnik, Christof J.
2007
Topics in integrated vehicle and crew scheduling in public transport
Steinzen, Ingmar
2007
Towards an RTOS for self-optimizing mechatronic systems
Oberthür, Simon
2010
Towards device driver synthesis
Lehmann, Thomas
2002
Towards the MaSHReC manufacturing system under real time constraints
a contribution to the application of real time system advances to production control systems
Kebbe, Dania Adnan el-
2002
Trace-based debugging and visualisation of concurrent Java programs with UML
Mehner, Katharina
2005
Using mobile relays for ensuring connectivity in sparse networks
Kutylowski, Jarosław
2007
Validation of data flow results for program modules
Klohs, Karsten
2009
Versatility of bulk synchronous parallel computing
from the heterogeneous cluster to the system on chip
Bonorden, Olaf
2008
Visual data mining of graph based data
Niggemann, Oliver
2001
A workflow mining approach for deriving software process models
Rubin, Vladimir
2007
Gehe zu Seiten

Publizieren

Besondere Sammlungen

Digitalisierungsservice

Hilfe

Impressum

Datenschutz

96 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme
Klassifikation
Schliessen
Filter
2

Slicing integrated formal specifications for verification

Spectral methods for efficient load balancing stragegies

Study of multilevel modulation formats for high speed digital optical communication systems

Synthesis of dataflow graphs for reconfigurable systems using temporal partitioning and temporal placement

Tamper resistance of AES

Test generation using event sequence graphs

Topics in integrated vehicle and crew scheduling in public transport

Towards an RTOS for self-optimizing mechatronic systems

Towards device driver synthesis

Towards the MaSHReC manufacturing system under real time constraints

Trace-based debugging and visualisation of concurrent Java programs with UML

Using mobile relays for ensuring connectivity in sparse networks

Validation of data flow results for program modules

Versatility of bulk synchronous parallel computing

Visual data mining of graph based data

A workflow mining approach for deriving software process models

96 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme KlassifikationSchliessenFilter2

96 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme
Klassifikation
Schliessen
Filter
2