Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- Hochschulschrift 10 [ausschließen]
- Konferenzschrift 3 [ausschließen]
- Parallelverarbeitung 2 [ausschließen]
- Verteiltes System 2 [ausschließen]
- Algebraische Methode 1 [ausschließen]
- Algorithmentheorie 1 [ausschließen]
- Amtliche Statistik 1 [ausschließen]
- Berichterstattung 1 [ausschließen]
- Bildverarbeitung 1 [ausschließen]
- CAD 1 [ausschließen]
- Computer 1 [ausschließen]
- Computer algorithms 1 [ausschließen]
- Computer network protocols 1 [ausschließen]
- Datenflussrechner 1 [ausschließen]
- Datenschutz 1 [ausschließen]
- Der Spiegel Zeitschrift 1 [ausschließen]
- Deutschland DDR 1 [ausschließen]
- Digitale integrierte Schaltung 1 [ausschließen]
- Echtzeitsystem 1 [ausschließen]
- Europäische Gemeinschaften 1 [ausschließen]
- Fantasie 1 [ausschließen]
- Fantastisches Rollenspiel 1 [ausschließen]
- Gewässerschutz 1 [ausschließen]
- Graph theory 1 [ausschließen]
- Graphersetzungssystem 1 [ausschließen]
- Informatik 1 [ausschließen]
- Informationsgesellschaft 1 [ausschließen]
- Informationsmarkt 1 [ausschließen]
- Informationspolitik 1 [ausschließen]
- Informationssystem 1 [ausschließen]
-
1
5. Workshop der GI-Arbeitsgruppe Softwaremetriken Technische Universität Berlin, 21. - 22. September 1995
Veröffentlicht 1995“… Leiter der Fachbibliothek Informatik …”
Buch -
2
Tabellenkompression mit Hilfe von Graphfärbungsverfahren
Veröffentlicht 1992“… Leiter der Fachbibliothek Informatik …”
Abschlussarbeit Buch -
3
Congruence proofs for weak bisimulation equivalences on higher order process calculi
Veröffentlicht 1995“… Leiter der Fachbibliothek Informatik …”
Buch -
4
Verfahren der Glättungsparameterwahl für Kernglättungsmethoden im diskreten Verweildauermodell Simulationen und reale Daten
Veröffentlicht 1995“… Leiter der Fachbibliothek Informatik …”
Buch -
5
Bi-directional approach to modeling architectures
Veröffentlicht 1995“… Leiter der Fachbibliothek Informatik …”
Buch -
6
YEAST a formal specification case study
Veröffentlicht 1995“… Leiter der Fachbibliothek Informatik …”
Buch -
7
Lindström quantifiers and leaf language definability
Veröffentlicht 1995“… Leiter der Fachbibliothek Informatik …”
Buch -
8
Polynomielle Splinter
Veröffentlicht 1990“… Leiter der Fachbibliothek Informatik, Sekretariat …”
Abschlussarbeit Buch -
9
Development of communication protocols by composing and refining temporal specifications
Veröffentlicht 1994“… Leiter der Fachbibliothek Informatik, Sekretariat 5-4 …”
Buch -
10
Numerical methods for transient analysis of acyclic Markov chains
Veröffentlicht 1992“… Leiter der Fachbibliothek Informatik, Sekretariat 5-4 …”
Buch -
11
Modeling and evaluation of a multiple access protocol for real time local area networks
Veröffentlicht 1991“… Leiter der Fachbibliothek Informatik, Sekretariat 5-4 …”
Buch -
12
An adaptive algorithm for the efficient generation of the tangible reachability graph of a stochastic Petri net
Veröffentlicht 1994“… Leiter der Fachbibliothek Informatik, Sekretariat 5-4 …”
Buch -
13
Korrespondenzanalyse in Stereobildern mit Hilfe nichtlinearer Filterung
Veröffentlicht 1992“… Leiter der Fachbibliothek Informatik, Sekretariat 5-4 …”
Buch -
14
Evaluation geordneter EAGen im Eta-Compiler-Generator
Veröffentlicht 1989“… Leiter der Fachbibliothek Informatik, Sekretariat 5-4 …”
Abschlussarbeit Buch -
15
Algebraische Spezifikation in UNIVERS am Beispiel der Struktur eines Versionsgraphen
Veröffentlicht 1985“… Leiter der Fachbibliothek Informatik, Sekretariat 5-4 …”
Buch -
16
Process modelling and control witj higher-order-nets
Veröffentlicht 1994“… Leiter der Fachbibliothek Informatik, Sekretariat 5-4 …”
Buch -
17
Lineare Regressionsmodelle und graphische Gauß'sche Regressionsmodelle als Element einer Exponentialfamilie Äquivalenzen und Formen von Hypothesen
Veröffentlicht 1992“… Leiter der Fachbibliothek Informatik, Sekretariat 5-4 …”
Buch -
18
Algebraic approach to graph transformation based on single pushout derivations with partial morphisms
Veröffentlicht 1990“… Leiter der Fachbibliothek Informatik, Sekretariat 5-4 …”
Buch -
19
A formal semantics of UML class diagrams based on transformation systems
Veröffentlicht 2001“… Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 …”
Buch -
20
Beiträge zum Treffen der GI-Fachgruppe 1.1.3 Maschinelles Lernen FGML-98 ; Technische Universität Berlin, 17. - 19. August 1998
Veröffentlicht 1998“… Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 …”
Buch