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