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
S. Betz, Operatives Erfolgscontrolling - Ein funktionaler Ansatz für industrielle Fertigungsprozesse. Wiesbaden: Gabler-Verlag, 1996.
LibreCat
 

1996 | Dissertation | LibreCat-ID: 3260
H. Wehrheim, Specifying reactive systems with action dependencies: modelling and hierarchical design. University of Hildesheim, Germany, 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 3261
U. Goltz and H. Wehrheim, “Modelling Causality via Action Dependencies in Branching Time Semantics,” Inf. Process. Lett., no. 4, pp. 179--184, 1996.
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 3262
U. Goltz and H. Wehrheim, “Causal Testing,” in Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings, 1996, pp. 394--406.
LibreCat | DOI
 

1996 | Book | LibreCat-ID: 3385
T. Gries, G. Sieg, and H. Strulik, Repetitorium Mikroökonomik. Berlin Heidelberg: Springer-Verlag, 1996.
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 3529
T. Gries, “A Dynamic Model of a Reconstruction Economy,” in Modelling and Analysing Economies in Transition, J. W. Owsinski and Z. Nahorski, Eds. 1996.
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 17304
G. Oevel and T. Schulze, “Graphics in the Computer Algebra System MuPAD,” in Visualization methodes in High Performance Computing and Flow Simulation, W. Borchers, G. Domik, D. Kröner, R. Rautmann, and D. Saupe, Eds. VSP, 1996.
LibreCat
 

1996 | Report | LibreCat-ID: 17418
A. Czumaj, F. Meyer auf der Heide, and V. Stemann, Contention Resolution in Hashing Based Shared Memory Simulations. 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 17419
D. Grigoriev, M. Karpinski, F. Meyer auf der Heide, and R. Smolensky, “A lower bound for randomized algebraic decision trees,” in Proc. of 28th ACM-STOC, 1996, vol. 65453, pp. 612–621.
LibreCat
 

1996 | Habilitation | LibreCat-ID: 17444
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
 

Filters and Search Terms

year=1996

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed