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, S. (1996). Operatives Erfolgscontrolling - Ein funktionaler Ansatz für industrielle Fertigungsprozesse. Wiesbaden: Gabler-Verlag.
LibreCat
1996 | Dissertation | LibreCat-ID: 3260
Wehrheim, H. (1996). Specifying reactive systems with action dependencies: modelling and hierarchical design. University of Hildesheim, Germany.
LibreCat
1996 | Journal Article | LibreCat-ID: 3261
Goltz, U., & Wehrheim, H. (1996). Modelling Causality via Action Dependencies in Branching Time Semantics. Inf. Process. Lett., (4), 179--184. https://doi.org/10.1016/0020-0190(96)00111-1
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 3262
Goltz, U., & Wehrheim, H. (1996). Causal Testing. In W. Penczek & A. Szalas (Eds.), Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings (pp. 394--406). https://doi.org/10.1007/3-540-61550-4_165
LibreCat
| DOI
1996 | Book | LibreCat-ID: 3385
Gries, T., Sieg, G., & Strulik, H. (1996). Repetitorium Mikroökonomik. Berlin Heidelberg: Springer-Verlag.
LibreCat
1996 | Book Chapter | LibreCat-ID: 3529
Gries, T. (1996). A Dynamic Model of a Reconstruction Economy. In J. W. Owsinski & Z. Nahorski (Eds.), Modelling and Analysing Economies in Transition.
LibreCat
1996 | Book Chapter | LibreCat-ID: 17304
Oevel, G., & Schulze, T. (1996). Graphics in the Computer Algebra System MuPAD. In W. Borchers, G. Domik, D. Kröner, R. Rautmann, & D. Saupe (Eds.), Visualization methodes in High Performance Computing and Flow Simulation. VSP.
LibreCat
1996 | Report | LibreCat-ID: 17418
Czumaj, A., Meyer auf der Heide, F., & Stemann, V. (1996). Contention Resolution in Hashing Based Shared Memory Simulations.
LibreCat
1996 | Conference Paper | LibreCat-ID: 17419
Grigoriev, D., Karpinski, M., Meyer auf der Heide, F., & Smolensky, R. (1996). A lower bound for randomized algebraic decision trees. In Proc. of 28th ACM-STOC (Vol. 65453, pp. 612–621). Eurographics Symposium on Parallel Graphics and Visualization.
LibreCat
1996 | Habilitation | LibreCat-ID: 17444
Peckhaus, V. (1996). 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.
LibreCat