Ihr Suchergebnis
Home | Suche | Browsen| Nr. | Titel | Autor | Jahr |
|---|---|---|---|
| 1 | A paraconsistent semantics for generalized logic programs | Herre, Heinrich et al. | 2010 |
| 2 | A tool for generating partition schedules of multiprocessor systems | Goltz, Hans-Joachim et al. | 2010 |
| 3 | An ER-based framework for declarative web programming | Hanus, Michael et al. | 2010 |
| 4 | AspectKE*: Security aspects with program analysis for distributed systems | Fan, Yang et al. | 2010 |
| 5 | Constraint-based abstraction of a model checker for infinite state systems | Banda, Gourinath et al. | 2010 |
| 6 | Efficiency of difference-list programming | Geske, Ulrich et al. | 2010 |
| 7 | Existential quantifiers in the rule body | Cabalar, Pedro | 2010 |
| 8 | How Often do Experts Make Mistakes? | Palix, Nicolas et al. | 2010 |
| 9 | Kato: a plagiarism-detection tool for answer-set programs | Oetsch, Johannes et al. | 2010 |
| 10 | Malleability, obliviousness and aspects for broadcast service attachment | Harrison, William | 2010 |
| Anzahl der Ergebnisseiten: | 18 |
| Anzahl der Dokumente: | 180 |
Home | Leitlinien | Impressum | Haftungsausschluss | Statistik | Universitätsverlag | Universitätsbibliothek
| Ihr Kontakt für Fragen und
Anregungen: Universitätsbibliothek Potsdam |
 
|