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.

14344 Publications


1996 | Report | LibreCat-ID: 8197
Graph Transformation for Specification and Programming
M. Andries, G. Engels, A. Habel, B. Hoffmann, H.-J. Kreowski, S. Kuske, D. Plump, A. Schürr, G. Taentzer, Graph Transformation for Specification and Programming, University of Bremen, Department of Mathematics and Computer Science, 1996.
LibreCat
 

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
 
 

1996 | Book Review | LibreCat-ID: 17953
Grattan-Guinness, Ivor, “Structure-Similarity: Between Mathematics and Philosophy”, in: Czermak (Hg.) 1993 [9.4], 317–333
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 849.00017] (1996).
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 8420
Grundfragen der Berufsbildung
D. Euler, H.-H. Kremer, M. Theis, in: D. Euler, H.-H. Kremer, M. Theis (Eds.), Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk, 2. veränderte Aufl., Düsseldorf, 1996, pp. 13–42.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17778 LibreCat
 

1996 | Book Review | LibreCat-ID: 17931
Haugeland, John, “Remarks on Machines and Rule-Following”, in: Casati/Smith/ White (Hgg.) 1994 [9.39], 127–138
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 842.00008] (1996).
LibreCat
 
 

1996 | Conference Paper | LibreCat-ID: 15304
Hierarchical constraint propagation based on interval arithmetic
E. Hüllermeier, in: In Proceedings Interval-96 International Conference on Interval Methods and Computer Aided Proofs in Science and Engineering, Würzburg, 1996, pp. 54–55.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17922
Hintikka, Jaakko, “The Original Sinn of Wittgenstein’s Philosophy of Mathematics”, in: Puhl (Hg.) 1993 [9.5], 24–51
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 837.00005] (1996).
LibreCat
 

1996 | Book Review | LibreCat-ID: 17938
Hintikka, Jaakko, “Why Parallel Processing?”, in: Casati/Smith/White (Hgg.) 1994 [9.39], 265–272
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 845.68039] (1996).
LibreCat
 

1996 | Journal Article | LibreCat-ID: 7405
Horizontal and Vertical Structuring of Typed Graph Transformation Systems
R. Heckel, A. Corradini, H. Ehrig, M. Löwe, Mathematical Structures in Computer Science 6 (1996) 613–648.
LibreCat
 

1996 | Report | LibreCat-ID: 8200
Horizontal and Vertical Structuring of Typed Graph Transformation Systems
R. Heckel, A. Corradini, H. Ehrig, M. Löwe, Horizontal and Vertical Structuring of Typed Graph Transformation Systems, 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 5612
How Do Lean Management Organizations Behave Regarding Training and Development?
R. Kabst, H.H. Larsen, P. Bramming, The International Journal of Human Resource Management 7 (1996) 618–639.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17942 LibreCat
 

1996 | Conference Paper | LibreCat-ID: 20737
Increasing the thermal conductivity of bonded joints
O. Hahn, G. Meschut, in: Tagungsband Zur EURADH’ 96, 1996, pp. 727–732.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 7836
Industrial maintenance modelled in SOCCA: an experience report
T. de Bunje, G. Engels, L. Groenewegen, A. Matsinger, M. Rijnbeek, in: Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK), IEEE Computer Society, Washington, DC, USA, 1996, pp. 13–26.
LibreCat | DOI
 

1996 | Book Review | LibreCat-ID: 17926 LibreCat
 

1996 | Book Review | LibreCat-ID: 17920 LibreCat
 

1996 | Book Chapter | LibreCat-ID: 19816
Learning a representation for optimizable formulas
H. Kleine Büning, T. Lettmann, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1996.
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title

Export / Embed