Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog
8 Treffer

Suchmaske

Suchtipp für den Bereich UB Katalog: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

8 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Objektorientierte Spezifikation hybrider Systeme
    Viktor Friesen
    München [u.a.]: Oldenbourg, 1997
    Monographie, Hochschulschrift, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Hybrid systems: computation and control ; 9th international workshop ; proceedings
    HSCC 2006, Santa Barbara, CA, USA, March 29 - 31, 2006. João Hespanha ... (eds.)
    Berlin [u.a.}: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Formal modeling and analysis of timed systems: 4th international conference ; proceedings
    FORMATS 2006, Paris, France, September 25 - 27, 2006. Eugene Asarin ... (eds.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    Hybrid systems: computation and control ; 8th international workshop ; proceedings
    HSCC 2005, Zurich, Switzerland, March 9 - 11, 2005. Manfred Morari ... (eds.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    Formal modeling and analysis of timed systems: third international conference ; proceedings
    FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005. Paul Pettersson ... (eds.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Hybrid systems: computation and control ; 7th international workshop ; proceedings
    HSCC 2004, Philadelphia, PA, USA, March 25 - 27, 2004. Rajeev Alur ... (eds.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    Hybrid systems: computation and control ; 5th international workshop ; proceedings
    HSCC 2002, Stanford, CA, USA, March 25 - 27, 2002. Claire J. Tomlin ... (ed.)
    Berlin [u.a.]: Springer, 2002
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    Hybrid systems: computation and control ; 6th international workshop ; proceedings
    HSCC 2003, Prague, Czech Republic, April 3 - 5, 2003. Oded Maler ... (ed.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource

Artikel & mehr

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -