Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

18352 Publications


1999 | Report | LibreCat-ID: 8206
A Formalisation of SOCCA using Z, part 1: The Type Level Concepts
G. Engels, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, P. Koopman, P. Jan t’Hoen, A Formalisation of SOCCA Using Z, Part 1: The Type Level Concepts, Leiden Institute of Advanced Computer Science, 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8321
UML-basierte Modellierung von Multimediaanwendungen
S. Sauer, G. Engels, in: Modellierung 1999, Workshop Der Gesellschaft Für Informatik e. V. (GI), März 1999 in Karlsruhe, Teubner, Stuttgart, Karlsruhe, Germany, 1999, pp. 155–170.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8326
MVC-Based Modeling Support for Embedded Real-Time Systems
G. Engels, S. Sauer, in: Proceedings of OMER Workshop, Herrsching, Germany, Herrsching, Universität der Bundeswehr München, Fakultät für Informatik, 1999, pp. 11–14.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 8460
Lernfelder - Motor didaktischer Innovationen
H.-H. Kremer, P.F.E. Sloane, Kölner Zeitschrift für Wirtschaft und Pädagogik (1999) 37–60.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 8465
Der implizite Lerner in multimedialen Lernarrangements
H.-H. Kremer, P.F.E. Sloane, Kölner Zeitschrift für Wirtschaft und Pädagogik (1999) 117–144.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8910
Experimental verification of a non-Hertzian contact model
W. Sextro, in: International Conference on Computational Methods in Contact Mechanics, 1999, pp. 181–190.
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 17053
Provably Good and Practical Strategies for Non-uniform Data Management in Networks
F. Meyer auf der Heide, B. Vöcking, M. Westermann, in: Algorithms - ESA’ 99, Berlin, Heidelberg, 1999.
LibreCat | DOI
 

1999 | Journal Article | LibreCat-ID: 17508
Moral Integrity During a Difficult Period: Beth and Scholz
V. Peckhaus, Philosophia Scientiae (Nancy) 3 (4) (1998/1999) Themenheft: Un Logicien Consciencieux. La Philosophie de Evert Willem Beth (1999) 151–173.
LibreCat
 

1999 | Book (Editor) | LibreCat-ID: 17457
Disziplinen im Kontext. Perspektiven der Disziplingeschichtsschreibung
V. Peckhaus, C. Thiel, eds., Disziplinen im Kontext. Perspektiven der Disziplingeschichtsschreibung, Fink-Verlag, München, 1999.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 17510
Hugh MacColl and the German Algebra of Logic
V. Peckhaus, Nordic Journal of Philosophical Logic 3 (1999) 17–34.
LibreCat | Download (ext.)
 

Search

Filter Publications

Display / Sort

Export / Embed