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. Wiesbaden: 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): 179--184. https://doi.org/10.1016/0020-0190(96)00111-1.
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 3262
Goltz, Ursula, and Heike Wehrheim. “Causal Testing.” In 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, 394--406. Lecture Notes in Computer Science, 1996. https://doi.org/10.1007/3-540-61550-4_165.
LibreCat
| DOI
1996 | Book | LibreCat-ID: 3385
Gries, Thomas, Gernot Sieg, and Holger Strulik. Repetitorium Mikroökonomik. Berlin Heidelberg: Springer-Verlag, 1996.
LibreCat
1996 | Book Chapter | LibreCat-ID: 3529
Gries, Thomas. “A Dynamic Model of a Reconstruction Economy.” In 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.” In Visualization Methodes in High Performance Computing and Flow Simulation, edited by W. Borchers, G. Domik, D. Kröner, R. Rautmann, and D. Saupe. VSP, 1996.
LibreCat
1996 | Report | LibreCat-ID: 17418
Czumaj, Artur, Friedhelm Meyer auf der Heide, and Volker Stemann. Contention Resolution in Hashing Based Shared Memory Simulations. Technical Report SFB, University of Paderborn, 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 17419
Grigoriev, Dima, Marek Karpinski, Friedhelm Meyer auf der Heide, and Roman Smolensky. “A Lower Bound for Randomized Algebraic Decision Trees.” In Proc. of 28th ACM-STOC, 65453:612–21. Lecture Notes in Computer Science. Eurographics Symposium on Parallel Graphics and Visualization, 1996.
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