380 search results - page 61 / 76 » The End of Science Revisited |
GI
2005
Springer
15 years 3 months ago
2005
Springer
: Der Beitrag beschreibt das Gesamtkonzept eines technischen Systems zur Unterstützung logistischer Prozesse während eines Shutdowns einer großtechnischen Anlage. Am Beispiel ei...
RTA
2005
Springer
15 years 3 months ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...
CSCW
2004
ACM
15 years 3 months ago
2004
ACM
Academic conferences provide a social space for people to present their work, learn about others’ work, and interact informally with one another. However, opportunities for inte...
GI
2004
Springer
15 years 3 months ago
2004
Springer
: The article provides an overview of the legal relationships in Open Source Structures. It shows that – as within all software development and distribution models – different ...
63
Voted
GI
2003
Springer
15 years 2 months ago
2003
Springer
Abstract: Die Entwicklung und Prüfung von sicheren Komponenten und einem sicheren Gesamtsystem ist das Ziel des Schwerpunktprogramm 1079 „Sicherheit in der Informations- und Kom...