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.

13669 Publications


1994 | Dissertation | LibreCat-ID: 19624
Wanka, R. (1994). Paralleles Sortieren auf mehrdimensionalen Gittern. Universität Paderborn.
LibreCat | Files available
 

1994 | Conference Paper | LibreCat-ID: 3264
Wehrheim, H. (1994). Parametric Action Refinement. In E.-}R{\"{u}}diger Olderog (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 (pp. 247--266).
LibreCat
 

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

1994 | Conference Paper | LibreCat-ID: 11878
Ney, H., Steinbeiss, V., Aubert, X. L., & Haeb-Umbach, R. (1994). Progress in Large-Vocabulary, Continuous Speech Recognition. In Artifical Intelligence, Progress and Prospects of Speech Research and Technology, Munich.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 17841
Peckhaus, V. (1994). Rüstow’s Thesis on Russell’s Paradox (Abdruck von “Alexander Rüstow’s Thesis”, Beitrag für  russell-l@mcmail.cis.mcmaster am 17. Juni 1994). History of Logic Newsletter, 13(September-Oktober 1994), 2–3.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8095
Krauter, S., Hanitsch, R., & Wenham, S. R. (1994). Simulation of Thermal and Optical Performance of PV Modules. In Proceedings of the 3rd World Renewable Energy Congress, Reading (UK), 11.–16. September 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8093
Strauss, P., Onneken, K., Krauter, S., & Hanitsch, R. (1994). Simulation Tool for Prediction and Optimization of Output Power Considering Thermal and Optical Parameters of PV Module Encapsulation. In Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1194–1197.
LibreCat
 

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

1994 | Conference Paper | LibreCat-ID: 8264
Engels, G., & Groenewegen, L. (1994). Specification of coordinated behaviour by SOCCA. In Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France) (pp. 128–151). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-57739-4_19
LibreCat | DOI
 

1994 | Book (Editor) | LibreCat-ID: 18433
Tophinke, D. (Ed.). (1994). Sprachbiographie und Sprachstörung. Fallstudien zur Textproduktion bei hirnorganischen Erkrankungen. Wiesbaden: DUV (zugleich Dissertation Osnabrück 1991).
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7828
Ebert, J., & Engels, G. (1994). 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, pp. 142–157). Berlin/Heidelberg: Springer.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 16549
Dellnitz, M., Golubitsky, M., & Nicol, M. (1994). Symmetry of Attractors and the Karhunen-Loève Decomposition. In Trends and Perspectives in Applied Mathematics. New York, NY. https://doi.org/10.1007/978-1-4612-0859-4_4
LibreCat | DOI
 

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

1994 | Conference Paper | LibreCat-ID: 13059
Hellebrand, S., & Wunderlich, H.-J. (1994). Synthese schneller selbsttestbarer Steuerwerke. In {Tagungsband der GI/GME/ITG-Fachtagung \& Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme} (pp. 3–11). Oberwiesenthal, Informatik Xpress 4, TU Chemnitz Zwickau, Germany.
LibreCat
 

1994 | Report | LibreCat-ID: 13024
Hellebrand, S., Juergensen, A., & Wunderlich, H.-J. (1994). Synthesis for Off-line Testability. University of Siegen, Germany.
LibreCat
 

1994 | Misc | LibreCat-ID: 13085
Hellebrand, S., Paulo Teixeira, J., & Wunderlich, H.-J. (1994). Synthesis for Testability - the ARCHIMEDES Approach. 1st IEEE International Test Synthesis Workshop, Santa Barbara, CA, USA.
LibreCat
 

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

1994 | Book Chapter | LibreCat-ID: 17837
Peckhaus, V. (1994). The Axiomatic Method and Ernst Schröder’s Algebraic Approach to Logic [Abstract]. In Abstract of Papers Presented to the American Mathematical Society (Vol. 15, Nr. 5 (August 1994), p. 447).
LibreCat
 

1994 | Dissertation | LibreCat-ID: 15497
Hagengruber, R. (1994). Tommaso Campanella. Eine Philosophie der Ähnlichkeit. Sankt Augustin: Academia.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7830
Engels, G., & Ehrig, H. (1994). 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). Universitat de les Illes Balears, Departament de Ci.
LibreCat
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: APA

Export / Embed