|
1681 |
Weighted tree automata and weighted logics Droste, Manfred. - Dresden : TU, Fak. Informatik, 2005
|
|
|
1682 |
What graphs can be efficiently represented by BDDs? Dong, C.. - Halle : Univ., Fachbereich Mathematik und Informatik, 2005
|
|
|
1683 |
A stochastic extension of the logic PDL Kuntz, Matthias. - Neubiberg : Univ. of the Federal Armed Forces, Dep. of Computer Science, 2004
|
|
|
1684 |
Algebra und Diskrete Mathematik 1 Lau, Dietlinde. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
|
|
|
1685 |
An extremal property of the reuleaux triangle and the inner distance of graphs Hering, Franz. - Dortmund : Univ., Fachbereich Statistik, 2004
|
|
|
1686 |
Boundary labeling Karlsruhe : Univ., Fak. für Informatik, Bibl., 2004
|
|
|
1687 |
Circle planarity of level graphs Bachmaier, Christian, 2004
|
|
|
1688 |
Counting principles of algebraic combinatorics with an emphasis on topological enumeration Hofmeister, Michael, 2004
|
|
|
1689 |
From constructive mathematics to computable analysis via the realizability interpretation Lietz, Peter, 2004
|
|
|
1690 |
George Spencer Brown Wiesbaden : VS Verlag für Sozialwissenschaften, 2004
|
|