|
971 |
Theory of power kernels
Mouattamid, Mohammed, 2005
|
|
|
|
972 |
TSP with bounded metrics: approximation hardness for the (1,2) case
Engebretsen, Lars. - Bonn : Inst. für Informatik, 2005
|
|
|
|
973 |
Weighted tree automata and weighted logics
Droste, Manfred. - Dresden : TU, Fak. Informatik, 2005
|
|
|
|
974 |
What graphs can be efficiently represented by BDDs?
Dong, C.. - Halle : Univ., Fachbereich Mathematik und Informatik, 2005
|
|
|
|
975 |
A stochastic extension of the logic PDL
Kuntz, Matthias. - Neubiberg : Univ. of the Federal Armed Forces, Dep. of Computer Science, 2004
|
|
|
|
976 |
An extremal property of the reuleaux triangle and the inner distance of graphs
Hering, Franz. - Dortmund : Univ., Fachbereich Statistik, 2004
|
|
|
|
977 |
Boundary labeling
Karlsruhe : Univ., Fak. für Informatik, Bibl., 2004
|
|
|
|
978 |
Counting principles of algebraic combinatorics with an emphasis on topological enumeration
Hofmeister, Michael, 2004
|
|
|
|
979 |
From constructive mathematics to computable analysis via the realizability interpretation
Lietz, Peter, 2004
|
|
|
|
980 |
Lim+, δ+ [delta+], and non-permutability of β-steps [beta-steps]
Wirth, Claus-Peter. - Saarbrücken : Univ., Fachrichtung Informatik, 2004
|
|
Administration
