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.

14342 Publications

 

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
 

1996 | Book Chapter | LibreCat-ID: 8105
Lernen im Internet am Beispiel der Solarenergie
S. Krauter, in: D. Beste, M. Kälke (Eds.), Bildung Im Netz, VDI–Verlag, Düsseldorf, 1996, pp. 115–120.
LibreCat
 

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
 

1996 | Book Review | LibreCat-ID: 17945 LibreCat
 

1996 | Book Review | LibreCat-ID: 17923
Majer, Ulrich, “Different Forms of Finitism”, in: Czermak (Hg.) 1993 [9.4], 185–194
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 838.03003] (1996).
LibreCat
 

1996 | Book | LibreCat-ID: 8372
Meisterprüfung - Lernen für die Praxis. Unternehmensführung im Handwerk 2. Dozentenhandbuch für Teil lll der Meisterprüfung. Finanz- und Rechnungswesen.
H.-H. Kremer, P.F.E. Sloane, Meisterprüfung - Lernen für die Praxis. Unternehmensführung im Handwerk 2. Dozentenhandbuch für Teil lll der Meisterprüfung. Finanz- und Rechnungswesen., 1st ed., Düsseldorf, 1996.
LibreCat
 

1996 | Misc | LibreCat-ID: 13088
Mixed-Mode BIST Using Embedded Processors
S. Hellebrand, H.-J. Wunderlich, A. Hertwig, Mixed-Mode BIST Using Embedded Processors, 2nd IEEE International On-Line Testing Workshop. Biarritz, France, 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 13010
Mixed-Mode BIST Using Embedded Processors
S. Hellebrand, H.-J. Wunderlich, A. Hertwig, in: {IEEE International Test Conference (ITC’96)}, {IEEE}, Washington, DC, USA, 1996, pp. 195–204.
LibreCat | DOI
 

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
 

1996 | Book Review | LibreCat-ID: 17948 LibreCat
 

1996 | Book Review | LibreCat-ID: 17937
Murawski, Roman, “Contributions of Polish Logicians to Decidability Theory”, Modern Logic 6 (1996), 37–66
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 844.01010] (1996).
LibreCat
 

1996 | Journal Article | LibreCat-ID: 22319
Neue Winkelgetriebebaureihen mit hoher Funktionalität
D. Zimmer, Antriebstechnik - Zeitschrift Für Konstruktion, Entwicklung Und Anwendung von Antrieben Und Steuerungen 35 (1996) 21–24.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 1664
Neuer Europäischer Datenschutz im Arbeitsrecht
D. Krimphove, Neue Zeitschrift Für Arbeitsrecht (NZA) (1996) 1121 ff.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 8104
New Optical and Thermal Enhanced PV Modules Performing 12% better under True Module Rating Conditions
S. Krauter, R. Hanitsch, L. Moreira, in: Proceedings of the 25th IEEE–PV–Specialists Conference, Washington D.C. (USA), 13.–19. Mai 1996, Band 1, S. 1323–1326., 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 20736
Nichtrostende Stahlbleche kleben – Klebeigen-schaften durch Strahlbeschichten verbessern
O. Hahn, A. Chudaska, G. Meschut, Materialprüfung 38 (1996) 39–41.
LibreCat
 

1996 | Report | LibreCat-ID: 8199
Object-oriented Specification of Coordinated Collaboration
G. Engels, L. Groenewegen, G. Kappel, Object-Oriented Specification of Coordinated Collaboration, Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 7838
Object-oriented specification of coordinated collaboration
G. Engels, L. Groenewegen, G. Kappel, in: Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia), Chapman & Hall, 1996, pp. 437–452.
LibreCat
 

1996 | Report | LibreCat-ID: 2446
On Accurate Performance Prediction for Massively Parallel Systems and its Applications
J. Simon, J.-M. Wierum, On Accurate Performance Prediction for Massively Parallel Systems and Its Applications, Paderborn Center for Parallel Computing, 1996.
LibreCat
 

1996 | Misc | LibreCat-ID: 17898
On the Origins of the Word ‘Logicism’ [ursprünglich Beitrag für russell-l], URL erstellt 22.3.1996
V. Peckhaus, On the Origins of the Word ‘Logicism’ [Ursprünglich Beitrag Für Russell-l], URL Erstellt 22.3.1996, 1996.
LibreCat | Download (ext.)
 

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
 

1996 | Journal Article | LibreCat-ID: 13784
Optical Properties of Ordered As Layers on InP(110) Surfaces
P.V. Santos, B. Koopmans, N. Esser, W.G. Schmidt, F. Bechstedt, Physical Review Letters 77 (1996) 759–762.
LibreCat | DOI
 

1996 | Book Review | LibreCat-ID: 17946 LibreCat
 

1996 | Conference Paper | LibreCat-ID: 2444
Performance Prediction of Benchmark Programs for Massively Parallel Architectures
J. Simon, J.-M. Wierum, in: Proc. Annual Int. Conf. on High-Performance Computers (HPCS), 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 15056
Perspective viewing, Anaglyph stereo or Shutter glass stereo?
S. Volbracht, K. Shahrbabaki, G. Domik, G. Fels, in: Proceedings 1996 IEEE Symposium on Visual Languages, 1996, pp. 192–193.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 13792
Phonons at III–V (110) surfaces
W.G. Schmidt, F. Bechstedt, G.P. Srivastava, Surface Science 352–354 (1996) 83–88.
LibreCat | DOI
 

1996 | Book Review | LibreCat-ID: 17936
Picardi, Eva, “Dummett on Analysis and Cognitive Synonymy”, in: Czermak (Hg.) 1993 [9.4], 77–85
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 844.01009] (1996).
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 8272
Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems
H. Ehrig, G. Engels, in: Selected Papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg, VA (USA), Springer, Berlin/Heidelberg, 1996, pp. 137–154.
LibreCat | Download (ext.)
 

1996 | Journal Article | LibreCat-ID: 2579
Produktionsabfallrecycling als operatives Entscheidungsproblem
S. Betz, UmweltWirtschaftsForum 4 (1996) 44–51.
LibreCat
 
 

1996 | Book Review | LibreCat-ID: 17921
Quesada, Daniel, “State of Affairs and the Evolution of Carnap’s Semantics”, Logique & Analyse Nouv. Sér. 36 (1993), 149–157
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 836.01018] (1996).
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 17564
Realistic parallel algorithms: Priority queue operations and selection for the BSP* Model
A. Bäumker, W. Dittrich, F. Meyer auf der Heide, I. Rieping, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1996, pp. 369–376.
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 880
ReGTime - Rent Gigaflops someTimes
B. Dreier, A. Huber, H. Karl, T. Ungerer, M. Zahn, in: Trends in Distributed Systems: CORBA and Beyond, International Workshop TreDS ’96, Aachen, Germany, October 1-2, 1996, Proceedings, 1996, pp. 84--93.
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 1918
ReGTime - Rent Gigaflops someTimes
B. Dreier, A. Huber, M. Zahn, H. Karl, T. Ungerer, in: Proceedings Trends in Distributed Systems, 1996.
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title

Export / Embed