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.
273 Publications
1996 | Book | LibreCat-ID: 2674
Betz, Stefan. Operatives Erfolgscontrolling - Ein Funktionaler Ansatz Für Industrielle Fertigungsprozesse. Gabler-Verlag, 1996.
LibreCat
1996 | Dissertation | LibreCat-ID: 3260
Wehrheim, Heike. Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design. University of Hildesheim, Germany, 1996.
LibreCat
1996 | Journal Article | LibreCat-ID: 3261
Goltz, Ursula, and Heike Wehrheim. “Modelling Causality via Action Dependencies in Branching Time Semantics.” Inf. Process. Lett., no. 4, 1996, pp. 179--184, doi:10.1016/0020-0190(96)00111-1.
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 3262
Goltz, Ursula, and Heike Wehrheim. “Causal Testing.” Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings, edited by Wojciech Penczek and Andrzej Szalas, 1996, pp. 394--406, doi:10.1007/3-540-61550-4_165.
LibreCat
| DOI
1996 | Book | LibreCat-ID: 3385
Gries, Thomas, et al. Repetitorium Mikroökonomik. Springer-Verlag, 1996.
LibreCat
1996 | Book Chapter | LibreCat-ID: 3529
Gries, Thomas. “A Dynamic Model of a Reconstruction Economy.” Modelling and Analysing Economies in Transition, edited by J.W. Owsinski and Z. Nahorski, 1996.
LibreCat
1996 | Book Chapter | LibreCat-ID: 17304
Oevel, Gudrun, and T. Schulze. “Graphics in the Computer Algebra System MuPAD.” Visualization Methodes in High Performance Computing and Flow Simulation, edited by W. Borchers et al., VSP, 1996.
LibreCat
1996 | Report | LibreCat-ID: 17418
Czumaj, Artur, et al. Contention Resolution in Hashing Based Shared Memory Simulations. 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 17419
Grigoriev, Dima, et al. “A Lower Bound for Randomized Algebraic Decision Trees.” Proc. of 28th ACM-STOC, vol. 65453, Eurographics Symposium on Parallel Graphics and Visualization, 1996, pp. 612–21.
LibreCat
1996 | Habilitation | LibreCat-ID: 17444
Peckhaus, Volker. Logik und Struktur. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert, als Habilitationsschrift der Philosophischen Fakultät I der Universität Erlangen-Nürnberg vorgelegt im Juli 1995. 1996.
LibreCat