Suche in der Hochschulbibliografie

Treffer 101-105 von 105

Sortieren nach: JahrTitelVerfasser/in

• 
• 
Seite 11 von 11

Alle Titel auf dieser Seite auswählen

Ausgewählte Titel exportierenAlle Titel exportieren: [ Export-Format auswählen ]EndNote WebEndNoteRISBibTeXMS ExcelCOinSOK

• 101
  49GBVUOB_ALMA2123687586000350149GBVUOB_ALMA21236875860003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236875860003501
  Artikel
  Towards automatic verification of affine hybrid system stability

  von Jens Oehlerking ; Henning Burchardt ; Oliver Theel

  2005

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Burchardt, HenningTheel, Oliver ([2002-])Oehlerking, Jens

  Enthalten in: SIGBED review 2 (2005), 2, 4 Bl. <4>

  Sprache: Deutsch

  >> Volltext
• 102
  49GBVUOB_ALMA2123685423000350149GBVUOB_ALMA21236854230003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236854230003501
  Artikel
  The role of state-space partitioning in automated verification of affine hybrid system stability

  von Henning Burchardt ; Jens Oehlerking ; Oliver Theel

  2005

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Oehlerking, JensTheel, Oliver ([2002-])Burchardt, Henning

  Enthalten in: Proceedings / the 3rd International Conference on Computing, Communications and Control Technologies 1 (2005), S. 187 - 192

  Sprache: Englisch

  >> Volltext
• 103
  49GBVUOB_ALMA2123643461000350149GBVUOB_ALMA21236434610003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236434610003501
  Artikel
  Towards automatic convergence verification of self-stabilizing algorithms

  von Jens Oehlerking ; Abhishek Dhama ; Oliver Theel

  2005

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Dhama, AbhishekTheel, Oliver ([2002-])Oehlerking, Jens

  Enthalten in: Self-stabilizing systems Berlin [u.a.], 2005 S. [198] - 213

  Sprache: Englisch
• 104
  49GBVUOB_ALMA2123704004000350149GBVUOB_ALMA21237040040003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237040040003501
  Artikel
  Integration of a dynamic object replication framework in Java

  von Thomas Strauß ; Oliver Theel

  2003

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Theel, Oliver ([2002-])

  Enthalten in: Proceedings / Eleventh Euromicro Workshop on Parallel, Distributed and Network-Based Processing, Genova, Italy, February 5 - 7, 2003 Los Alamitos, Calif. [u.a.], 2003 S. 258 - 265

  Sprache: Englisch

  >> Volltext
• 105
  49GBVUOB_ALMA2123704278000350149GBVUOB_ALMA21237042780003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237042780003501
  Artikel
  Realisierung eines adaptiven Replikationsmanagers mittels J2EE-Technologie

  von Heiko Niemann ; Wilhelm Hasselbring ; Michael Hülsmann ; Oliver Theel

  2003

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Hasselbring, Wilhelm ([2000-2008])Theel, Oliver ([2002-])Niemann, Heiko ([2002-2007])

  Enthalten in: Datenbanksysteme für Business, Technologie und Web (BTW) Bonn, 2003 S. 443 - 452

  Sprache: Deutsch