Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Faktensysteme - ein vereinheitlichender Modellierungsformalismus für nebenläufige Systeme
1988
Signatur: D2196
    Datensatz exportieren als...
  • BibTeX
Algorithmen zur Planung und Optimierung moderner Kommunikationsnetze
2001
Signatur: D13140
    Datensatz exportieren als...
  • BibTeX
A temporal logic for the specification and verification of distributed behaviour
1998
Signatur: DQ2252
    Datensatz exportieren als...
  • BibTeX
Realization of the highly integrated distributed real time safety critical system MELODY
1999
Signatur: DQ2231
    Datensatz exportieren als...
  • BibTeX
Formale Semantik von Konnektoren
1999
Signatur: D12554
    Datensatz exportieren als...
  • BibTeX
Multilevelverfahren mit selbstadaptiven Gitterverfeinerungen für Parallelrechner mit verteiltem Speicher
1993
Signatur: DQ1823
    Datensatz exportieren als...
  • BibTeX
Abstrakte Automaten
1969
Signatur: TVH1070
    Datensatz exportieren als...
  • BibTeX
Benutzer- und datengesteuertes Schleifen-Scheduling auf Parallelrechnern mit distributed shared memory
1998
Signatur: DQ2232
    Datensatz exportieren als...
  • BibTeX
Verwaltung persistenter Daten in einem verteilten objektbasierten Betriebssystem
1995
Signatur: DQ2058
    Datensatz exportieren als...
  • BibTeX
Optimierung digitaler Schaltungen durch Partitionierung und Resynthese
Berichte aus der Informatik
Als Ms. gedr, 1997
Signatur: TVE3820, P1044
    Datensatz exportieren als...
  • BibTeX
Timing analysis, scheduling, and allocation of periodic hard real-time tasks
1996
Signatur: P925, TWT4747
    Datensatz exportieren als...
  • BibTeX
Mehrdimensionale Fast-Rule-Filterautomaten
1995
Signatur: P876, TVH2393
    Datensatz exportieren als...
  • BibTeX
The church rosser property in computer algebra and special theorem proving : an investigation of critical pair, completion algorithms
Dissertationen der Johannes-Kepler-Universität Linz : 49 (Alle Bände)
1984
Signatur: TVH1949
1 – 13 von 13
Suche als RSS-Feed
Aktive Filter
Autor / AutorinSoisalon-Soininen, Eljas
SystemstelleTVV
SystemstelleTVX
Art des InhaltsHochschulschrift (Sonstige)
Suchergebnisse filtern
Filter anzeigen