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.

9157 Publications


1993 | Book Chapter | LibreCat-ID: 15570
Hagengruber R. Punkt und Mathematik in der Metaphysik des Tommaso Campanella. In: Albertini T, ed. Verum et Factum. Beiträge zur Geistesgeschichte und Philosophie der Renaissance. Festschrift zum 60. Geburtstag von Stephan Otto. Frankfurt u.a.: Peter Lang; 1993:505-514.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 1659
Krimphove D. Das zweite Finanzmarktförderungsgesetz - ein Beitrag zur “Europäisierung” des Wertpapierrechts . Juristenzeitung (JZ). 1994;(Heft 1):244 ff.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 1661
Krimphove D. Europejskie prawo pracy. Monitor Prawniczy. 1994;(2):42 ff.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 7513
Engels G, Groenewegen L. SOCCA: Specifications of Coordinated and Cooperative Activities. In: Software Process Modelling and Technology. Taunton: Research Studies Press; 1994:71-102.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7828
Ebert J, Engels G. Structural and Behavioural Views on OMT-Classes. In: Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy). Vol 858. Berlin/Heidelberg: Springer; 1994:142-157.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7830
Engels G, Ehrig H. Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective. In: Proceedings Colloquium on Graph Transformation and Its Application in Computer Science. Vol B-19. Technical Report . Universitat de les Illes Balears, Departament de Ci; 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 3263
Rensink A, Wehrheim H. Weak Sequential Composition in Process Algebras. In: Jonsson B, Parrow J, eds. {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings. Lecture Notes in Computer Science. ; 1994:226--241. doi:10.1007/978-3-540-48654-1_20
LibreCat | DOI
 

1994 | Book | LibreCat-ID: 3333
Kleine Büning H, Lettmann T. Aussagenlogik - Deduktion und Algorithmen. Teubner; 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8092
Krauter S, Hanitsch R, Campbell P, Wenham SR. Optical Modelling, Simulation and Improvement of PV Module Encapsulation. In: Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1198–1201. ; 1994.
LibreCat
 

1994 | Report | LibreCat-ID: 8193
Ebert J, Engels G. Observable or Invocable Behaviour - You Have to Choose. Vakgroep Informatica, Rijksuniversiteit Leiden; 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8263
Andries M, Engels G. Syntax and Semantics of Hybrid Database Languages. In: Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany). Vol 776. LNCS. Berlin/Heidelberg: Springer; 1994:19-36. doi:http://dx.doi.org/10.1007/3-540-57787-4_2
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 13013
Hellebrand S, Wunderlich H-J. Synthesis of Self-Testable Controllers. In: {European Design and Test Conference (EDAC/ETC/EUROASIC)}. Paris, France: {IEEE (Comput. Soc. Press)}; 1994:580-585. doi:10.1109/edtc.1994.326815
LibreCat | DOI
 

1994 | Report | LibreCat-ID: 13025
Hellebrand S, Juergensen A, Stroele A, Wunderlich H-J. Chip Level Test Planning for Controlling the Tradeoff between Hardware Overhead and Test Time. University of Siegen, Germany; 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 13854
Schmidt WG, Srivastava G. First principles calculations of interface phonons of an Epitaxial Sb monolayer on GaAs(110) and InP(110). Solid State Communications. 1994;89(4):345-348. doi:10.1016/0038-1098(94)90597-5
LibreCat | DOI
 

1994 | Book Chapter | LibreCat-ID: 15610
Hagengruber R. Die Theorie des Punktes aus der Philosophie der Ähnlichkeit bei Tommaso Campanella. In: Gómez Pin V, ed. Actas del primer Congreso Internacional de Ontología : categorías e inteligibilidad global : el proyecto ontológico a través de la reflexión contemporánea. Barcelona: Bellaterra; 1994:101-107.
LibreCat | Files available
 

1994 | Book Chapter | LibreCat-ID: 15608
Hagengruber R. Platons “Timaios”, eine Anleitung zur wissenschaftlichen Hypothesenbildung? In: Fritscher B, Brey G, eds. Cosmographica et Geographica. Algorismus. Studien zur Geschichte der Mathematik und der Naturwissenschaften. Vol 13. New York: Springer; 1994:75-96.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 3264
Wehrheim H. Parametric Action Refinement. In: Olderog E-}R{\"{u}}diger, ed. Programming Concepts, Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and Calculi {(PROCOMET} ’94) San Miniato, Italy, 6-10 June, 1994. {IFIP} Transactions. ; 1994:247--266.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 1662
Krimphove D. Die Mitwirkungsrechte des Betriebsrates in der Betriebsverfassung. Arbeit und Recht . 1994;(Heft 4):215 ff.
LibreCat
 

1994 | Conference (Editor) | LibreCat-ID: 7797
Ehrich H-D, Engels G, Paredaens J, Wegner J, eds. Fundamentals of Object-Oriented Languages, Systems, and Methods. Vol 95. Schloss Dagstuhl, Leibniz Center for Informatics; 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7829
Engels G, Kappel G. Object-Oriented System Development: Will the New Approach Solve Old Problems? In: Proceedings of the IFIP 13th World Computer Congress on Information Processing, Hamburg (Germany). Vol 3. Elsevier; 1994:434-441.
LibreCat
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: AMA

Export / Embed