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.

13109 Publications


1994 | Book Chapter | LibreCat-ID: 15509
Hagengruber, Ruth. “Parallelen um den Punkt zwischen Campanella und Leibniz.” Leibniz und Europa, edited by Albert Heinekamp et al., vol. 1, 1994, pp. 309–15.
LibreCat
 

1994 | Dissertation | LibreCat-ID: 19624
Wanka, Rolf. Paralleles Sortieren Auf Mehrdimensionalen Gittern. 1994.
LibreCat | Files available
 

1994 | Conference Paper | LibreCat-ID: 3264
Wehrheim, Heike. “Parametric Action Refinement.” 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, edited by Ernst{-}R{\"{u}}diger Olderog, 1994, pp. 247--266.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 15608
Hagengruber, Ruth. “Platons ‘Timaios’, eine Anleitung zur wissenschaftlichen Hypothesenbildung?” Cosmographica et Geographica. Algorismus. Studien zur Geschichte der Mathematik und der Naturwissenschaften, edited by Bernhard Fritscher and Gerhard Brey, vol. 13, Springer, 1994, pp. 75–96.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 11878
Ney, Hermann, et al. “Progress in Large-Vocabulary, Continuous Speech Recognition.” Artifical Intelligence, Progress and Prospects of Speech Research and Technology, Munich, 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 17841
Peckhaus, Volker. “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, vol. 13, no. September-Oktober 1994, 1994, pp. 2–3.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8095
Krauter, Stefan, et al. “Simulation of Thermal and Optical Performance of PV Modules.” Proceedings of the 3rd World Renewable Energy Congress, Reading (UK), 11.–16. September 1994, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8093
Strauss, Philipp, et al. “Simulation Tool for Prediction and Optimization of Output Power Considering Thermal and Optical Parameters of PV Module Encapsulation.” Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1194–1197., 1994.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 7513
Engels, Gregor, and Luuk Groenewegen. “SOCCA: Specifications of Coordinated and Cooperative Activities.” Software Process Modelling and Technology, Research Studies Press, 1994, pp. 71–102.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8264
Engels, Gregor, and Luuk Groenewegen. “Specification of Coordinated Behaviour by SOCCA.” Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France), Springer, 1994, pp. 128–51, doi:http://dx.doi.org/10.1007/3-540-57739-4_19.
LibreCat | DOI
 

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

1994 | Conference Paper | LibreCat-ID: 7828
Ebert, Jürgen, and Gregor Engels. “Structural and Behavioural Views on OMT-Classes.” Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy), vol. 858, Springer, 1994, pp. 142–57.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 16549
Dellnitz, Michael, et al. “Symmetry of Attractors and the Karhunen-Loève Decomposition.” Trends and Perspectives in Applied Mathematics, 1994, doi:10.1007/978-1-4612-0859-4_4.
LibreCat | DOI
 

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

1994 | Conference Paper | LibreCat-ID: 13059
Hellebrand, Sybille, and Hans-Joachim Wunderlich. “Synthese Schneller Selbsttestbarer Steuerwerke.” {Tagungsband Der GI/GME/ITG-Fachtagung \& Rechnergestützter Entwurf Und Architektur Mikroelektronischer Systeme}, 1994, pp. 3–11.
LibreCat
 

1994 | Report | LibreCat-ID: 13024
Hellebrand, Sybille, et al. Synthesis for Off-Line Testability. 1994.
LibreCat
 

1994 | Misc | LibreCat-ID: 13085
Hellebrand, Sybille, et al. Synthesis for Testability - the ARCHIMEDES Approach. 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 13013
Hellebrand, Sybille, and Hans-Joachim Wunderlich. “Synthesis of Self-Testable Controllers.” {European Design and Test Conference (EDAC/ETC/EUROASIC)}, {IEEE (Comput. Soc. Press)}, 1994, pp. 580–85, doi:10.1109/edtc.1994.326815.
LibreCat | DOI
 

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

1994 | Dissertation | LibreCat-ID: 15497
Hagengruber, Ruth. Tommaso Campanella. Eine Philosophie der Ähnlichkeit. Academia, 1994.
LibreCat
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: MLA

Export / Embed