Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Nebenläufigkeit 7 Treffer
- Systementwurf 4 Treffer
- Dynamisches System 2 Treffer
- Verteiltes System 2 Treffer
- Algebraische Struktur 1 Treffer
-
42 weitere Werte:
- Algebraischer Algorithmus 1 Treffer
- Anwendung 1 Treffer
- Automation 1 Treffer
- Berechenbarkeit 1 Treffer
- Computersimulation 1 Treffer
- Digitales System 1 Treffer
- Diophantisches Gleichungssystem 1 Treffer
- Diophantisches lineares Gleichungssystem 1 Treffer
- Diskretes System 1 Treffer
- Entscheidbarkeit 1 Treffer
- Entwurfsautomation 1 Treffer
- Erreichbarkeit 1 Treffer
- Fertigung 1 Treffer
- Formale Sprache 1 Treffer
- Fuzzy-Menge 1 Treffer
- Gefärbtes Petri-Netz 1 Treffer
- Gesteuertes Netz 1 Treffer
- Graphentheorie 1 Treffer
- Halbgeordnete Menge 1 Treffer
- Informationsmodellierung 1 Treffer
- Interleaving 1 Treffer
- Invariante 1 Treffer
- Invariantenbestimmung 1 Treffer
- Kongress 1 Treffer
- Kostenanalyse 1 Treffer
- Lebendigkeit 1 Treffer
- Lösung (Mathematik) 1 Treffer
- Mathematisches System 1 Treffer
- Netzinvariante 1 Treffer
- Netzplantechnik 1 Treffer
- Nichtnegative ganzzahlige Lösung 1 Treffer
- Objektorientierte Programmierung 1 Treffer
- Parallelisierung 1 Treffer
- Petri, Carl A. (1926-2010) 1 Treffer
- Prozessmanagement 1 Treffer
- Simulation 1 Treffer
- Synchronisierung 1 Treffer
- Systemplanung 1 Treffer
- Technisches System 1 Treffer
- Zeitbewertetes Petri-Netz 1 Treffer
- Zeitdiskretes System 1 Treffer
- Zuverlässigkeit 1 Treffer
Sprache
Form
Person
- Reisig, Wolfgang (1950-) 5 Treffer
- Schneeweiss, Winfrid G. (1934-) 3 Treffer
- Brauer, Wilfried 2 Treffer
- Desel, Jörg (1959-) 2 Treffer
- Donatelli, Susanna (1960-) 2 Treffer
-
41 weitere Werte:
- Girault, Claude 2 Treffer
- Jensen, Kurt 2 Treffer
- Rosenstengel, Bernd 2 Treffer
- Starke, Peter H. (1937-) 2 Treffer
- Winand, Udo (1943-) 2 Treffer
- Zuse, Konrad (1910-1995) 2 Treffer
- Aalst, Wil van der (1966-) 1 Treffer
- Agha, Gul 1 Treffer
- Ajmone Marsan, Marco (1951-) 1 Treffer
- Azéma, Pierre 1 Treffer
- Baccelli, François (1954-) 1 Treffer
- Baumgarten, Bernd (1948-) 1 Treffer
- Best, Eike 1 Treffer
- Billington, Jonathan 1 Treffer
- Camposano, Raúl 1 Treffer
- Cardoso, Janette 1 Treffer
- Ciardo, Gianfranco 1 Treffer
- Cortadella, Jordi 1 Treffer
- De Michelis, Giorgio 1 Treffer
- Decker, Wolfram 1 Treffer
- Ehrig, Hartmut 1 Treffer
- Esparza, Javier (1964-) 1 Treffer
- Fernández, César 1 Treffer
- Frühbis-Krüger, Anne 1 Treffer
- Lautenbach, Kurt 1 Treffer
- Nielsen, Mogens 1 Treffer
- Oberweis, Andreas (1962-) 1 Treffer
- Pagnoni, Anastasia 1 Treffer
- Pascoletti, Karl-Heinz 1 Treffer
- Priese, Lutz (1947-) 1 Treffer
- Reutenauer, Christophe 1 Treffer
- Ristau, Lukas 1 Treffer
- Smith, Einar 1 Treffer
- Thieler-Mevissen, Gerda 1 Treffer
- Thome, Rainer (1948-) 1 Treffer
- Valette, Robert 1 Treffer
- Valk, Rüdiger 1 Treffer
- Voss, Klaus 1 Treffer
- Wang, Jiacun (1963-) 1 Treffer
- Wimmel, Harro (1967-) 1 Treffer
- Zhou, MengChu 1 Treffer
62 Treffer
-
Berlin [u.a.]: Springer, 1988Monographie, Gedruckte RessourceZugriff:
-
Hagen: LiLoLe-Verl, 2004Monographie, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1989Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Heidelberg: Physica-Verl, 1999Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Kluwer Acad. Publ, 1995Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin: Dt. Verl. d. Wiss, 1980Monographie, Gedruckte RessourceZugriff:
-
Freiburg: Hochschulverl, 1982Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1986Aufsatzsammlung, Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1985Aufsatzsammlung, Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Kluwer Academic Publ, 1998Monographie, Gedruckte RessourceZugriff:
-
Berlin ; Heidelberg [u.a.]: Springer, 1991Aufsatzsammlung, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Mannheim [u.a.]: BI-Wiss.-Verl, 1990Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Stuttgart: Teubner, 1990Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: