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.

12494 Publications


1995 | Journal Article | LibreCat-ID: 17491
Peckhaus, Volker. “Rüstow’s Thesis on Russell’s Paradox.” Modern Logic, vol. 5, 1995, pp. 167–69.
LibreCat
 

1995 | Book Review | LibreCat-ID: 17775
Peckhaus, Volker. “Grundprobleme der großen Philosophen. Philosophie der Neuzeit VI. Tarski, Reichenbach, Kraft, Gödel, Neurath, ed. Josef Speck, Vandenhoeck & Ruprecht: Göttingen 1992 (= Uni-Taschenbücher; 1654).” Modern Logic, vol. 5, 1995, pp. 356–59.
LibreCat
 

1995 | Book | LibreCat-ID: 17446
Peckhaus, Volker. Hermann Ulrici (1806–1884). Der Hallesche Philosoph und die englische Algebra der Logik. Mit einer Auswahl von Texten Ulricis zur Logik und einer Bibliographie seiner Schriften. Hallescher Verlag, 1995.
LibreCat
 

1995 | Dissertation | LibreCat-ID: 18691
Seng, Eva-Maria. Der evangelische Kirchenbau im 19. Jahrhundert, die Eisenacher Bewegung und der Architekt Christian Friedrich von Leins. Diss. masch., 1995.
LibreCat
 

1995 | Book | LibreCat-ID: 18696
Seng, Eva-Maria. Der evangelische Kirchenbau im 19. Jahrhundert, die Eisenacher Bewegung und der Architekt Christian Friedrich von Leins. (Wasmuth), 1995.
LibreCat
 

1995 | Book Review | LibreCat-ID: 19555
Eke, Norbert Otto. “Ingo Schmidt, Florian Vaßen. Unter Mitarbeit von Uwe Sänger sowie Roger Fornhoff, Anja Maria Prochaska und Hendrik Werner: Bibliographie Heiner Müller 1948-1992. Bielefeld 1993.” Wirkendes Wort, vol. 45, no. H. 2, 1995, pp. 357–59.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13469
Platzner, Marco, et al. “A Distributed Computer Architecture for Qualitative Simulation Based on a Multi-DSP and FPGAs.” Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed Processing , IEEE CS Press, 1995, pp. 311–18.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13471
Friedl, Gerald, et al. “A Special-Purpose Coprocessor for Qualitative Simulation.” Proceedings of the EURO-PAR’95 International Conference on Parallel Processing, Springer International Publishing, 1995, pp. 695–98.
LibreCat
 

1995 | Report | LibreCat-ID: 13027
Hellebrand, Sybille, et al. Evaluation of Self-Testable Controller Architectures Based on Realistic Fault Analysis. 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 13798
Schmidt, Wolf Gero, et al. “III-V(110) Surface Dynamics from Anab Initiofrozen-Phonon Approach.” Physical Review B, vol. 52, no. 3, 1995, pp. 2001–07, doi:10.1103/physrevb.52.2001.
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 13801
Schmidt, Wolf Gero, and G. P. Srivastava. “III-V(110)/Sb(1 ML): Structural and Dynamical Properties.” Surface Science, vol. 331–333, no. Part A, 1995, pp. 540–45, doi:10.1016/0039-6028(95)00304-5.
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 13851
Schmidt, Wolf Gero, and F. Bechstedt. “Exchange Reactions versus Adsorption Geometries for Se/GaAs(110).” Physical Review B, vol. 50, no. 23, 1995, pp. 17651–54, doi:10.1103/physrevb.50.17651.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 15294
Hüllermeier, Eyke. “Towards Modelling of Fuzzy Functions.” In Proceedings EUFIT-95 3rd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, edited by H.J. Zimmermann, 1995, pp. 150–54.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 15612
Hagengruber, Ruth. “Philosophinnen in der Frauenforschung. Ein Plädoyer für Vernunft und Wissenschaft.” Metis, vol. 5, no. 9, 1995, pp. 67–74.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 16704
Meyer auf der Heide, Friedhelm, and Berthold Vöcking. “A Packet Routing Protocol for Arbitrary Networks.” STACS 95, 1995, doi:10.1007/3-540-59042-0_81.
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 16874
Bäumker, Armin, et al. “Truly Efficient Parallel Algorithms: C-Optimal Multisearch for an Extension of the BSP Model.” Lecture Notes in Computer Science, 1995, doi:10.1007/3-540-60313-1_131.
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 2091
Krimphove, Dieter. “Kommentar § 5 c GWB (Einkaufskooperationen).” Gesetz Gegen Wettbewerbsbeschränkungen Und Europäisches Kartellrecht , edited by Hans Müller-Henneberg et al., 4th ed., Carl Heymanns Verlag KG, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 3037
Alt, Helmut, et al. “Approximate Matching of Polygonal Shapes.” Annals of Mathematics and Artificial Intelligence, vol. 13, no. 3, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 2577
Betz, Stefan. “Kostenorientierte Planung Der Entsorgungslogistik.” Zeitschrift Für Planung, vol. 6, 1995, pp. 321–39.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 7976
Kremer, H. Hugo. “Planung und Durchführung der Ausbildung.” Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk. Dozentenhandbuch für Teil IV der Meisterausbildung., edited by U. Braukmann et al., 1st ed., 1995, pp. 1–123.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 7832
Thoben, Wilfried, et al. “Record Linkage of Anonymous Data by Control Numbers.” Proceedings of the 18th Annual Conference of the Gesellschaft Für Klassifikation, Oldenburg (Germany), Springer, 1995, pp. 412–19.
LibreCat
 

1995 | Report | LibreCat-ID: 8195
Ebert, Jürgen, and Gregor Engels. Specialization of Object Life Cycle Definitions. University of Koblenz-Landau, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8099
Krauter, Stefan. “Actual Optical and Thermal Performance of PV-Modules.” Proceedings of the ISES Solar World Congress 1995, Harare (Simbabwe), 11.–15. September 1995, 1995.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 8354
Kremer, H. Hugo. “Existenzgründung.” Meisterprüfung - Lernen für die Praxis - Unternehmensführung 1, edited by U. Braukmann et al., 1st ed., 1995, pp. 19–94.
LibreCat
 

1995 | Book Review | LibreCat-ID: 17776
Peckhaus, Volker. “André Weil, Lehr- und Wanderjahre eines Mathematikers, aus dem Französischen von Theresia Übelhör, Birkhäuser Verlag: Basel/Boston/Berlin 1993.” Berichte zur Wissenschaftsgeschichte, vol. 18, 1995, pp. 256–57.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 17492
Peckhaus, Volker. “The Genesis of Grelling’s Paradox.” Logik Und Mathematik. Frege-Kolloquium Jena 1993, edited by Ingolf Max and Werner Stelzner, vol. 5, Walter de Gruyter, 1995, pp. 269–80.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 18630
Schindlmayr, Arno, and Rex William Godby. “Density-Functional Theory and the v-Representability Problem for Model Strongly Correlated Electron Systems.” Physical Review B, vol. 51, no. 16, American Physical Society, 1995, pp. 10427–35, doi:10.1103/PhysRevB.51.10427.
LibreCat | Files available | DOI | WoS | PubMed | Europe PMC
 

1995 | Book Chapter | LibreCat-ID: 19316
Seng, Eva-Maria. “Zwischen Kontinuität, Notkirche und Neuanfang: Evangelischer Kirchenbau in Württemberg 1925 - 1955.” Das Evangelische Württemberg zwischen Weltkrieg und Wiederaufbau, edited by Rainer Lächele and Jörg Thierfelder, 1995, pp. 234–59.
LibreCat
 

1995 | Book Review | LibreCat-ID: 19556
Eke, Norbert Otto. “Bürgerlichkeit im Umbruch. Studien zum deutschsprachigen Drama 1750-1800. Mit einer Bibliographie der Dramen der Oettingen-Wallersteinschen Bibliothek zwischen 1750 und 1800. Hg. von Helmut Koopmann. Tübingen 1993.” Zeitschrift für Germanistik, vol. NF V, no. H. 1, 1995, pp. 149–51.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 11786
Haeb-Umbach, Reinhold, et al. “Speech Recognition Algorithms for Voice Control Interfaces.” Philips Journal of Research, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 13011
Hellebrand, Sybille, et al. “Built-In Test for Circuits with Scan Based on Reseeding of Multiple-Polynomial Linear Feedback Shift Registers.” {IEEE Transactions on Computers}, vol. 44, no. 2, Institute of Electrical and Electronics Engineers ({IEEE}), 1995, pp. 223–33, doi:10.1109/12.364534.
LibreCat | DOI
 

1995 | Report | LibreCat-ID: 13028
Hellebrand, Sybille, et al. Partitioning of CMOS-Circuits for On-Chip IDDQ-Testing. 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13472
Platzner, Marco, et al. “Parallel Qualitative Simulation.” Proceedings of the EUROSIM Congress, Elsevier, 1995, pp. 231–36.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13484
Hranitzky, Robert, and Marco Platzner. “Design and Implementation of Adaptive Digital Filters on a Multi-TMS320C40 System.” Proceedings of the 6th International Conference on Signal Processing Applications & Technology (ICSPAT), 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 13799
Schmidt, Wolf Gero, and Friedhelm Bechstedt. “Se/GaAs(110): Energetics and Structure.” Surface Science, vol. 331–333, no. Part A, 1995, pp. 557–63, doi:10.1016/0039-6028(95)00317-7.
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 13852
Schmidt, Wolf Gero, and F. Bechstedt. “Se/GaAs(110): Atomic and Electronic Structure.” Physical Review B, vol. 50, no. 23, 1995, pp. 17280–91, doi:10.1103/physrevb.50.17280.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 15295
Hüllermeier, Eyke. “Rule-Based Modelling in Fuzzy Simulation.” In Proceedings ISFL-95 International Symposium on Logic, Zürich, ICSC Academic Press, 1995, pp. B49–56.
LibreCat
 

1995 | Book | LibreCat-ID: 1602
Krimphove, Dieter, and Carsten Brehmer. Die Gründung Einer GmbH. Vol. Nr. 13, FHTW Schriftenreihe, 1995.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 16236
Hüllermeier, Eyke. “Konjunkturzyklen Aufgrund von Investitionsinterdependenzen:  Simulation Und Empirische Überprüfung.” Moderne Makroökonomie-Eine Kritische Bestandsaufnahme, edited by J. Flemmig, Metropolis, 1995, pp. 413–54.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 16705
Czumaj, Artur, et al. “Shared Memory Simulations with Triple-Logarithmic Delay.” Lecture Notes in Computer Science, 1995, doi:10.1007/3-540-60313-1_133.
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 16717
Meyer auf der Heide, Friedhelm, and Matthias Westermann. “Hot-Potato Routing on Multi-Dimensional Tori.” Graph-Theoretic Concepts in Computer Science, 1995, doi:10.1007/3-540-60618-1_77.
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 2561
Betz, Stefan. “Die Berücksichtigung von technischem Fortschritt im Konzept der investitionstheoretisch fundierten Abschreibung.” Zeitschrift für Betriebswirtschaft, vol. 65, 1995, pp. 425–44.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 2573
Betz, Stefan. “Gemeinkostencontrolling auf Basis der Prozesskostenrechnung.” Kostenrechnungspraxis, vol. 39, 1995, pp. 135–44.
LibreCat
 

1995 | Report | LibreCat-ID: 3038
Blömer, Johannes, et al. An XOR-Based Erasure-Resilient Coding Scheme. 1995.
LibreCat | Files available
 

1995 | Book | LibreCat-ID: 3386
Gries, Thomas. Wachstum, Humankapital Und Die Dynamik Der Komparativen Vorteile. Mohr (Siebeck), 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 7833
Heckel, Reiko. “Embedding of Conditional Graph Transformations.” Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science, no. B-19, Universitat de les Illes Balears, 1995.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 8076
Euler, D., et al. “Grundfragen Der Berufsbildung.” Meisterprüfung - Lernen Für Die Praxis, Ausbilden Im Handwerk. Dozentenhandbuch Für Teil IV Der Meisterausbildung., edited by U. Braukmann et al., 1st ed., 1995, pp. 1–23.
LibreCat
 

1995 | Report | LibreCat-ID: 8196
Engels, Gregor, and Andy Schürr. Encapsulated Hierarchical Graphs, Graph Types, and Meta Types. Vakgroep Informatica, Rijksuniversiteit Leiden, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8266
Groenewegen, Luuk, and Gregor Engels. “Coordination by Behavioural Views and Communication Patterns.” Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands), vol. 913, Springer, 1995, pp. 189–92, doi:http://dx.doi.org/10.1007/3-540-59205-9_56.
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 16611
Golubitsky, Martin, et al. “The Constrained Liapunov-Schmidt Procedure and Periodic Orbits.” Normal Forms and Homoclinic Chaos, 1995, doi:10.1090/fic/004/05.
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 16510
Aston, Philip J., and Michael Dellnitz. “Symmetry Breaking Bifurcations of Chaotic Attractors.” International Journal of Bifurcation and Chaos, 1995, pp. 1643–76, doi:10.1142/s021812749500123x.
LibreCat | DOI
 

1995 | Book Review | LibreCat-ID: 17777
Peckhaus, Volker. “‘Russell y las “Paradojas”’ [Rez. v. Alejandro R. Garciadiego, Bertrand Russell and the Origins of the Set-theoretic ‘Paradoxes’, Birkhäuser Verlag: Basel/Boston/Berlin 1992].” Mathesis (México), vol. 11, 1995, pp. 285–90.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 17842
Peckhaus, Volker. “Kurt Grelling.” Modern Logic Calendar 1995, 1995, p. März.
LibreCat
 

1995 | Book | LibreCat-ID: 18701
Seng, Eva-Maria. Kirchenbau zwischen Politik, Kunst und Liturgie. Theorie und Wirklichkeiten im Evangelischen Kirchenbau des 19. Jahrhunderts. Jahresgabe des Vereins für christliche Kunst in Württemberg 1995. Wasmuth, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 16243
Dohmeier-Fischer, Silvia, et al. “Rearrangement by Intermediate Ion/Neutral Complexes during the McLafferty Fragmentation of Unsaturated Ketones.” European Journal of Mass Spectrometry, 3, 1995, doi:10.1255/ejms.154.
LibreCat | DOI
 

1995 | Dissertation | LibreCat-ID: 19627
Czumaj, Artur. Parallel Algorithmic Techniques: PRAM Algorithms and PRAM Simulations. 1995.
LibreCat | Files available
 

1995 | Dissertation | LibreCat-ID: 19634
Ameur, Foued. Space-Bounded Learning Algorithms. 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 11768
Gamm, Stephan, et al. “The Usability Engineering of a Voice-Controlled Answering Machine.” International Symposium on Human Factors in Telecommunications, Melbourne, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 11787
Haeb-Umbach, Reinhold, et al. “Automatic Transcription of Unknown Words in a Speech Recognition System.” ICASSP, Detroit, 1995.
LibreCat | Download (ext.)
 

1995 | Conference Paper | LibreCat-ID: 13012
Hellebrand, Sybille, et al. “Pattern Generation for a Deterministic BIST Scheme.” {ACM/IEEE International Conference on Computer Aided Design (ICCAD’95)}, {IEEE (Comput. Soc. Press)}, 1995, pp. 88–94, doi:10.1109/iccad.1995.479997.
LibreCat | DOI
 

1995 | Misc | LibreCat-ID: 13086
Hellebrand, Sybille, et al. Pattern Generation for a Deterministic BIST Scheme. 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13473
Platzner, Marco, and Bernhard Rinner. “Improving Performance of the Qualitative Simulator QSIM - Design and Implementation of a Specialized Computer Architecture.” Proceedings of the PDCS International Conference on Parallel and Distributed Computing Systems, ISCA, 1995, pp. 494–501.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 15272
Domik-Kienegger, Gitta, and GS Owen. “Education for Visualization-Activities of the Acm-Siggraph Education Committee.” Proceedings of the Third Eurographics Workshop on Graphics and Visualization, 1995.
LibreCat
 

1995 | Book | LibreCat-ID: 1603
Krimphove, Dieter. Rechtliche Rahmenbedingungen Des Deutschen Und Internationalen Börsentermingeschäftes Ein Leitfaden Für Banken, Sparkassen, Kreditinstitute, Anlagevermittler Und Kunden Mit Checklisten Und Hinweisen Zur Durchführung Einer Ordnungsgemäßen Anlageberatung  . Vol. Nr. 14, FHTW Schriftenreihe, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 16706
Meyer auf der Heide, Friedhelm, et al. “Optimal Trade-Offs between Size and Slowdown for Universal Parallel Networks.” Proceedings of the Seventh Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’95, 1995, doi:10.1145/215399.215430.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 2447
Röttger, Markus, et al. “Implementation of a Parallel and Distributed Mapping Kernel for PARIX.” Proc. Int. Conf. on High-Performance Computing and Networking, vol. 919, Springer, 1995, pp. 781–86, doi:10.1007/BFb0046714.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 2207
Meyer auf der Heide, Friedhelm, and Christian Scheideler. “Space-Efficient Routing in Vertex-Symmetric Networks (Extended Abstract).” SPAA, 1995, pp. 137--146.
LibreCat | Files available
 

1995 | Book | LibreCat-ID: 2675
Betz, Stefan. Erfolgscontrolling Unter Besonderer Berücksichtigung Produktionswirtschaftlicher Aspekte. 1995.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 8077
Euler, D., et al. “Grundfragen der Berufsbildung.” Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk, edited by D. Euler et al., 1st ed., 1995, pp. 13–42.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8267
Corradini, Andrea, and Reiko Heckel. “A Compositional Approach to Structuring and Refinement of Typed Graph Grammars.” Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), vol. 2, Elsevier, 1995, pp. 46–55.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 16542
Dellnitz, M., and I. Melbourne. “A Note on the Shadowing Lemma and Symmetric Periodic Points.” Nonlinearity, 1995, pp. 1067–75, doi:10.1088/0951-7715/8/6/010.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 17482
Czumaj, Artur, et al. “Simulating Shared Memory in Real Time: On the Computation Power of Reconfigurable Meshes.” Proceedings of the 2nd IEEE Workshop on Reconfigurable Architectures, 1995, pp. 46--59.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 16566
Breslauer, Dany, et al. “Transforming Comparison Model Lower Bounds to the Parallel-Random-Access-Machine.” Information Processing Letters, 1995, pp. 103–10, doi:10.1016/s0020-0190(97)00032-x.
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 19414
Eke, Norbert Otto. “Zeit/Räume – Aspekte der Zeiterfahrung bei Heiner Müller.” Heiner Müller – Rückblicke, Perspektiven. Vorträge des Pariser Kolloquiums 1993, edited by Theo Buck et al., Lang, 1995, pp. 131–52.
LibreCat
 

1995 | Dissertation | LibreCat-ID: 19630
Wachsmann, Alf. Eine Bibliothek von Basisdiensten Für Parallelrechner: Routing, Synchronisation, Gemeinsamer Speicher. 1995.
LibreCat
 

1995 | Dissertation | LibreCat-ID: 19623
Stemann, Volker. Contention Resolution in Hashing Based Shared Memory Simulations. 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 2187
Meyer auf der Heide, Friedhelm, and Christian Scheideler. “Routing with Bounded Buffers and Hot-Potato Routing in Vertex-Symmetric Networks.” ESA, 1995, pp. 341--354, doi:10.1007/3-540-60313-1_154.
LibreCat | Files available | DOI
 

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 | Report | LibreCat-ID: 13025
Hellebrand, Sybille, et al. Chip Level Test Planning for Controlling the Tradeoff between Hardware Overhead and Test Time. 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 13854
Schmidt, Wolf Gero, and GP Srivastava. “First Principles Calculations of Interface Phonons of an Epitaxial Sb Monolayer on GaAs(110) and InP(110).” Solid State Communications, vol. 89, no. 4, 1994, pp. 345–48, doi:10.1016/0038-1098(94)90597-5.
LibreCat | DOI
 

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 | Book Chapter | LibreCat-ID: 15610
Hagengruber, Ruth. “Die Theorie des Punktes aus der Philosophie der Ähnlichkeit bei Tommaso Campanella.” 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, edited by Victor Gómez Pin, Bellaterra, 1994, pp. 101–07.
LibreCat | Files available
 

1994 | Journal Article | LibreCat-ID: 1659
Krimphove, Dieter. “Das Zweite Finanzmarktförderungsgesetz - Ein Beitrag Zur ‘Europäisierung’ Des Wertpapierrechts .” Juristenzeitung (JZ), no. Heft 1, 1994, p. 244 ff.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 1661
Krimphove, Dieter. “Europejskie Prawo Pracy.” Monitor Prawniczy, no. 2, 1994, p. 42 ff.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 3263
Rensink, Arend, and Heike Wehrheim. “Weak Sequential Composition in Process Algebras.” {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, edited by Bengt Jonsson and Joachim Parrow, 1994, pp. 226--241, doi:10.1007/978-3-540-48654-1_20.
LibreCat | DOI
 

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: 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 | Conference Paper | LibreCat-ID: 7830
Engels, Gregor, and Hartmut Ehrig. “Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective.” Proceedings Colloquium on Graph Transformation and Its Application in Computer Science, vol. B-19, Universitat de les Illes Balears, Departament de Ci, 1994.
LibreCat
 

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

1994 | Conference Paper | LibreCat-ID: 8092
Krauter, Stefan, et al. “Optical Modelling, Simulation and Improvement of PV Module Encapsulation.” Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1198–1201, 1994.
LibreCat
 

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 | Book Review | LibreCat-ID: 17774
Peckhaus, Volker. “Erik Heijerman/H. Walter Schmitz (Eds.), Significs, Mathematics and Semiotics. The Signific Movement in the Netherlands. Proceedings of the International Conference Bonn 19–21 November 1986, Nodus Publicationen: Münster 1991 (= Materialien Zur Geschichte Der Sprachwissenschaft Und Der Semiotik; 5).” Modern Logic, vol. 4, 1994, pp. 449–54.
LibreCat
 

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 | Book Chapter | LibreCat-ID: 17488
Peckhaus, Volker. “Hilbert’s Axiomatic Programme and Philosophy.” The History of Modern Mathematics, Bd. 3: Images, Ideas, and Communities, edited by Eberhard Knobloch and David E. Rowe, Academic Press, 1994, pp. 91–112.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 19415
Eke, Norbert Otto. “Heiner Müller.” Deutsche Dichter des 20. Jahrhunderts, edited by Hartmut Steinecke, Erich Schmidt, 1994, pp. 726–41.
LibreCat
 

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

1994 | Book | LibreCat-ID: 3333
Kleine Büning, Hans, and Theodor Lettmann. Aussagenlogik - Deduktion und Algorithmen. Teubner, 1994, doi:10.1007/978-3-322-84809-3.
LibreCat | DOI
 

1994 | Journal Article | LibreCat-ID: 11796
Haeb-Umbach, Reinhold, and Hermann Ney. “Improvements in Beam Search for 10000-Word Continuous-Speech Recognition.” IEEE Transactions on Speech and Audio Processing, 1994.
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 | Conference Paper | LibreCat-ID: 13014
Hellebrand, Sybille, and Hans-Joachim Wunderlich. “An Efficient Procedure for the Synthesis of Fast Self-Testable Controller Structures.” {ACM/IEEE International Conference on Computer-Aided Design (ICCAD’94)}, {IEEE}, 1994, pp. 110–16, doi:10.1109/iccad.1994.629752.
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed