169 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik
Klassifikation
Schliessen
Filter
1

zu den Filteroptionen

Spezifikation, Simulation und Validierung von Prozessoren
Klassen, Dennis
2013
Spherical visibility sampling
preprocessed visibility for occlusion culling in complex 3D scenes
Eikel, Benjamin
2014
Structural treatment of time-varying dynamical system networks in the light of hybrid symmetries
Hage-Packhäuser, Sebastian
2012
Symmetries and bifurcations in timed continuous Petri nets
Meyer, Anna-Lena
2012
Systematic development and re-use of model transformations
Besova, Galina ; Engels, Gregor ; Suhl, Leena
2015
Systematic development of model-based software engineering methods
Sauer, Stefan
2011
Szenariobasierte Synthese verteilter mechatronischer Systeme
Brenner, Christian ; Schäfer, Wilhelm ; Greenyer, Joel
Elektronische Ressource, Paderborn, 2016
Task allocation in robot swarms for time-constrained tasks
Khaluf, Yara
2014
Testaufwandsschätzung in der analytischen Qualitätssicherung
Schreiber, Hendrik
2015
The complexity of local max-cut
Tscheuschner, Tobias
2012
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Timm, Nils
2013
Titandisilizid-Kontakte für hochtemperaturtaugliche thermoelektrische Generatoren
Assion, Fabian
2015
Towards full virtualization of embedded real-time systems
Kerstan, Timo
2011
Towards On-The-Fly Image Processing
Jungmann, Alexander ; Rammig, Franz Josef ; Hüllermeier, Eyke
Elektronische Ressource, Paderborn, 2016
Towards the design of fault-tolerant distributed real-time systems
Klobedanz, Kay
2014
Tragedy of the common cloud
game theory on the infrastructure-as-a-service market
Künsemöller, Jörn
2014
Traktionsantrieb mit linearem geschalteten Reluktanzmotor für ein autonomes Bahnfahrzeug
Schneider, Tobias
2014
Uniformly summable multiplicative functions on additive arithmetical semigroups
Barát, Anna Melinda
2011
Verfahren zur redundanten Datenplatzierung in skalierbaren Speichernetzen
Effert, Sascha
2011
Verification and simulation of self-adaptive mechatronic systems
Heinzemann, Christian
2015
Gehe zu Seiten

Publizieren

Besondere Sammlungen

Digitalisierungsservice

Hilfe

Impressum

Datenschutz

169 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik
Klassifikation
Schliessen
Filter
1

Spezifikation, Simulation und Validierung von Prozessoren

Spherical visibility sampling

Structural treatment of time-varying dynamical system networks in the light of hybrid symmetries

Symmetries and bifurcations in timed continuous Petri nets

Systematic development and re-use of model transformations

Systematic development of model-based software engineering methods

Szenariobasierte Synthese verteilter mechatronischer Systeme

Task allocation in robot swarms for time-constrained tasks

Testaufwandsschätzung in der analytischen Qualitätssicherung

The complexity of local max-cut

Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems

Titandisilizid-Kontakte für hochtemperaturtaugliche thermoelektrische Generatoren

Towards full virtualization of embedded real-time systems

Towards On-The-Fly Image Processing

Towards the design of fault-tolerant distributed real-time systems

Tragedy of the common cloud

Traktionsantrieb mit linearem geschalteten Reluktanzmotor für ein autonomes Bahnfahrzeug

Uniformly summable multiplicative functions on additive arithmetical semigroups

Verfahren zur redundanten Datenplatzierung in skalierbaren Speichernetzen

Verification and simulation of self-adaptive mechatronic systems

169 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik KlassifikationSchliessenFilter1

169 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik
Klassifikation
Schliessen
Filter
1