|
571 |
Saturation-based decision procedures for extensions of the guarded fragment Kazakov, Yevgeny, [2007]
|
|
|
572 |
Set-valued interpolation Perria, Gilbert. - Bayreuth : Univ.-Bibliothek, Geschenk- und Tauschstelle, 2007, 1. print.
|
|
|
573 |
Simulation and optimized scheduling of pedestrian traffic Narasimhan, Srihari, 2007
|
|
|
574 |
Smolyak's algorithm, spars grid approximation and periodic function spaces with dominating mixed smoothness Ullrich, Tino, 2007
|
|
|
575 |
Smolyak's algorithm, sparse grid approximation and periodic function spaces with dominating mixed smoothness Ullrich, Tino, 2007
|
|
|
576 |
Stochastical models for networks in the life sciences Behrisch, Michael, 2007
|
|
|
577 |
Stochastical models for networks in the life sciences Behrisch, Michael, 2007
|
|
|
578 |
Structural properties of NP-hard sets and uniform characterisations of complexity classes Travers, Stephen, 2007
|
|
|
579 |
Structure analysis of some generalizations of matchings and matroids under algorithmic aspects Peis, Britta, 2007
|
|
|
580 |
Structures, processes, and clustering of complex networks Krueger, Andreas, 2007
|
|