Suche
Kategorie
JGU Mainz (85458)
Uni Trier (15091)
15091 Treffer
×
Universität Trier
- Rödler, Richard
- Stochastic modelling of server capacity utilization by geometric sums
- Trier: Univ., Mathematik/Informatik 1998 10 S. (Trierer Forschungsberichte ; 98-16)
- Seidl, H.; Sørensen, M.H.
- Constraints to stop deforestation
- Science of computer programming. Bd. 32. H. 1. Amsterdam [u.a.]: Elsevier 1998 S. 73 - 108
- Seidl, H.; Fecht, C.
- Disjunctive Completion Is Not "Optimal"
- International Logic Programming Symposium (ILPS). 1997 S. 408
- Seidl, Helmut; Fecht, Christian
- Interprocedural analysis based on PDAs
- Trier: Univ., Mathematik, Informatik 1997 0 S. (Trierer Forschungsberichte ; 97-06)
- Seidl, H.; Niwinski, D.
- On distributive fixed-point expressions
- Theoretical informatics and applications. Bd. 33. H. 4. Cambridge, Mass.: EDP Sciences 1999 S. 427 - 446
- Seidl, Helmut; Fecht, Christian
- Propagating differences : an efficient new fixpoint algorithm for distributive constraint systems
- Trier: Univ., Fachbereich Mathematik, Informatik 1997 15 S. (Forschungsbericht ; 97-13)
- Nehmer, J.; Sturm, P.; Baentsch, M. et al.
- Customization of system software for large-scale embedded applications
- Computer communications. Bd. 20. H. 3. Amsterdam: Elsevier 1997 S. 189 - 196
- Wöhrle, G.
- Actio. Das fünfte officium des antiken Redners
- Gymnasium. Bd. Gymnasium. 1990 S. 31 - 46
- Baum, L.; Geyer, L.; Molter, G. et al.
- Development Process - Architecture-Centric Software Development Based on Extended Design Spaces
- Lecture notes in computer science. Bd. 1429. Berlin: Springer 1998 S. 197 - 204
- Baum, L.; Becker, M.; Geyer, G. et al.
- Driving the Composition of Runtime Platforms by Architectural Knowledge
- Proc. of the 1998 SIGOPS European Workshop, 7-10 Sept. 1998, Sintra, Portugal. 1998