Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Beweis 5 Treffer
- Boolesche Algebra 5 Treffer
- Graphentheorie 5 Treffer
- Mathematische Logik 5 Treffer
- Algebraische Spezifikation 1 Treffer
-
13 weitere Werte:
- Aussagenlogik 1 Treffer
- Berechenbare Funktion 1 Treffer
- Deklarative Programmierung 1 Treffer
- Entwurfssprache 1 Treffer
- Kategorientheorie 1 Treffer
- Mathematics 1 Treffer
- Metamodell 1 Treffer
- Ontologie (Wissensverarbeitung) 1 Treffer
- Ontologies (Information retrieval) 1 Treffer
- Prädikatenlogik 1 Treffer
- Software Engineering 1 Treffer
- Software engineering 1 Treffer
- System design 1 Treffer
Sprache
Form
Person
8 Treffer
-
Wiesbaden: Springer Fachmedien Wiesbaden, 2013Online Monographie, Elektronische Ressource
-
Stuttgart [u.a.]: Teubner, 2000Monographie, Gedruckte RessourceZugriff:
-
5., überarb. Aufl.. - Wiesbaden: Vieweg + Teubner, 2011Monographie, Gedruckte RessourceZugriff:
-
2., durchges. Aufl.. - Stuttgart [u.a.]: Teubner, 2002Monographie, Gedruckte RessourceZugriff:
-
Wiesbaden: Springer Vieweg, 2013Monographie, Gedruckte RessourceZugriff:
-
Heidelberg [u.a.]: Springer, 2012Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 2001Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Sammelwerk, Gedruckte RessourceZugriff: