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.

13548 Publications


1995 | Conference Paper | LibreCat-ID: 7833
Heckel R. Embedding of Conditional Graph Transformations. In: Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science. Technical Report. Universitat de les Illes Balears; 1995.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 8076
Euler D, Kremer H-H, Theis M. Grundfragen der Berufsbildung. In: Braukmann U, Euler D, Kremer H-H, Theis M, eds. Meisterprüfung - Lernen Für Die Praxis, Ausbilden Im Handwerk. Dozentenhandbuch Für Teil IV Der Meisterausbildung. 1st ed. Düsseldorf; 1995:1-23.
LibreCat
 

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

1995 | Conference Paper | LibreCat-ID: 8266
Groenewegen L, Engels G. Coordination by Behavioural Views and Communication Patterns. In: Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands). Vol 913. LNCS. Berlin/Heidelberg: Springer; 1995:189-192. doi:http://dx.doi.org/10.1007/3-540-59205-9_56
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 16611
Golubitsky M, Marsden J, Stewart I, Dellnitz M. The constrained Liapunov-Schmidt procedure and periodic orbits. In: Normal Forms and Homoclinic Chaos. Providence, Rhode Island; 1995. doi:10.1090/fic/004/05
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 16510
Aston PJ, Dellnitz M. Symmetry Breaking Bifurcations of Chaotic Attractors. International Journal of Bifurcation and Chaos. 1995:1643-1676. doi:10.1142/s021812749500123x
LibreCat | DOI
 

1995 | Book Review | LibreCat-ID: 17777
Peckhaus V. “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). 1995;11:285-290.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 17842
Peckhaus V. Kurt Grelling. In: Modern Logic Calendar 1995. ; 1995:März.
LibreCat
 

1995 | Book | LibreCat-ID: 18701
Seng E-M. 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. Tübingen: Wasmuth; 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 16243
Dohmeier-Fischer S, Krämer N, Grützmacher H-F. Rearrangement by intermediate ion/neutral complexes during the McLafferty fragmentation of unsaturated ketones. European Journal of Mass Spectrometry. 1995. doi:10.1255/ejms.154
LibreCat | DOI
 

1995 | Dissertation | LibreCat-ID: 19627
Czumaj A. Parallel Algorithmic Techniques: PRAM Algorithms and PRAM Simulations. Universität Paderborn; 1995.
LibreCat | Files available
 

1995 | Dissertation | LibreCat-ID: 19634
Ameur F. Space-Bounded Learning Algorithms. Universität Paderborn; 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 11768
Gamm S, Haeb-Umbach R, Langmann D. The Usability Engineering of a Voice-Controlled Answering Machine. In: International Symposium on Human Factors in Telecommunications, Melbourne. ; 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 11787
Haeb-Umbach R, Beyerlein P, Thelen E. Automatic Transcription of Unknown Words in a Speech Recognition System. In: ICASSP, Detroit. ; 1995.
LibreCat | Download (ext.)
 

1995 | Conference Paper | LibreCat-ID: 13012
Hellebrand S, Reeb B, Tarnick S, Wunderlich H-J. Pattern Generation for a Deterministic BIST Scheme. In: {ACM/IEEE International Conference on Computer Aided Design (ICCAD’95)}. San Jose, CA, USA: {IEEE (Comput. Soc. Press)}; 1995:88-94. doi:10.1109/iccad.1995.479997
LibreCat | DOI
 

1995 | Misc | LibreCat-ID: 13086
Hellebrand S, Reeb B, Tarnick S, Wunderlich H-J. Pattern Generation for a Deterministic BIST Scheme. 2nd IEEE International Test Synthesis Workshop, Santa Barbara, CA; 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13473
Platzner M, Rinner B. Improving Performance of the Qualitative Simulator QSIM - Design and Implementation of a Specialized Computer Architecture. In: Proceedings of the PDCS International Conference on Parallel and Distributed Computing Systems. ISCA; 1995:494-501.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 15272
Domik-Kienegger G, Owen G. Education for Visualization-Activities of the acm-siggraph Education Committee. In: Proceedings of the Third Eurographics Workshop on Graphics and Visualization. ; 1995.
LibreCat
 

1995 | Book | LibreCat-ID: 1603
Krimphove D. 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. Berlin: FHTW Schriftenreihe; 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 16706
Meyer auf der Heide F, Storch M, Wanka R. Optimal trade-offs between size and slowdown for universal parallel networks. In: 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 M, Schroeder U-P, Simon J. Implementation of a Parallel and Distributed Mapping Kernel for PARIX. In: Proc. Int. Conf. on High-Performance Computing and Networking. Vol 919. Lecture Notes in Computer Science (LNCS). Berlin / Heidelberg: Springer; 1995:781-786. doi:10.1007/BFb0046714
LibreCat | DOI
 

1995 | Book | LibreCat-ID: 2675
Betz S. Erfolgscontrolling Unter Besonderer Berücksichtigung Produktionswirtschaftlicher Aspekte. Paderborn; 1995.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 8077
Euler D, Kremer H-H, Theis M. Grundfragen der Berufsbildung. In: Euler D, Kremer H-H, Theis M, eds. Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk. 1st ed. ; 1995:13-42.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8267
Corradini A, Heckel R. A Compositional Approach to Structuring and Refinement of Typed Graph Grammars. In: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy). Vol 2. Electronic Notes in Theoretical Computer Science . Elsevier; 1995:46-55.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 16542
Dellnitz M, Melbourne I. A note on the shadowing lemma and symmetric periodic points. Nonlinearity. 1995:1067-1075. doi:10.1088/0951-7715/8/6/010
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 17482
Czumaj A, Meyer auf der Heide F, Stemann V. Simulating shared memory in real time: On the computation power of reconfigurable meshes. In: Proceedings of the 2nd IEEE Workshop on Reconfigurable Architectures. ; 1995:46--59.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 16566
Breslauer D, Czumaj A, Dubhashi DP, Meyer auf der Heide F. Transforming comparison model lower bounds to the parallel-random-access-machine. Information Processing Letters. 1995:103-110. doi:10.1016/s0020-0190(97)00032-x
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 19414
Eke NO. Zeit/Räume – Aspekte der Zeiterfahrung bei Heiner Müller. In: Buck T, Valentin J-M, Kenfgens N, Vogel D, eds. Heiner Müller – Rückblicke, Perspektiven. Vorträge des Pariser Kolloquiums 1993. Frankfurt a. M.: Lang; 1995:131-152.
LibreCat
 

1995 | Dissertation | LibreCat-ID: 19630
Wachsmann A. Eine Bibliothek von Basisdiensten Für Parallelrechner: Routing, Synchronisation, Gemeinsamer Speicher. Universität Paderborn; 1995.
LibreCat
 

1995 | Dissertation | LibreCat-ID: 19623
Stemann V. Contention Resolution in Hashing Based Shared Memory Simulations. Universität Paderborn; 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 2187
Meyer auf der Heide F, Scheideler C. Routing with Bounded Buffers and Hot-Potato Routing in Vertex-Symmetric Networks. In: ESA. Lecture Notes in Computer Science. ; 1995:341--354. doi:10.1007/3-540-60313-1_154
LibreCat | Files available | DOI
 

1995 | Conference Paper | LibreCat-ID: 2207
Meyer auf der Heide F, Scheideler C. Space-Efficient Routing in Vertex-Symmetric Networks (Extended Abstract). In: SPAA. ; 1995:137--146.
LibreCat | Files available
 

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: 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 | 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 | 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 | 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 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 | 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: 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 | 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 | Book Review | LibreCat-ID: 17774
Peckhaus V. 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. 1994;4:449-454.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 17837
Peckhaus V. 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). ; 1994:447.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 17488
Peckhaus V. Hilbert’s Axiomatic Programme and Philosophy. In: Knobloch E, Rowe DE, eds. The History of Modern Mathematics, Bd. 3: Images, Ideas, and Communities. Boston u. a.: Academic Press; 1994:91-112.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 19415
Eke NO. Heiner Müller. In: Steinecke H, ed. Deutsche Dichter des 20. Jahrhunderts. Berlin: Erich Schmidt; 1994:726-741.
LibreCat
 

1994 | Dissertation | LibreCat-ID: 19624
Wanka R. Paralleles Sortieren Auf Mehrdimensionalen Gittern. Universität Paderborn; 1994.
LibreCat | Files available
 

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

1994 | Journal Article | LibreCat-ID: 11796
Haeb-Umbach R, Ney H. 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 H, Steinbeiss V, Aubert XL, Haeb-Umbach R. Progress in Large-Vocabulary, Continuous Speech Recognition. In: Artifical Intelligence, Progress and Prospects of Speech Research and Technology, Munich. ; 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 13014
Hellebrand S, Wunderlich H-J. An Efficient Procedure for the Synthesis of Fast Self-Testable Controller Structures. In: {ACM/IEEE International Conference on Computer-Aided Design (ICCAD’94)}. San Jose, CA, USA: {IEEE}; 1994:110-116. doi:10.1109/iccad.1994.629752
LibreCat | DOI
 

1994 | Misc | LibreCat-ID: 13083
Venkataraman S, Rajski J, Hellebrand S, Tarnick S. Effiziente Testsatzkodierung Für Prüfpfad-Basierte Selbsttestarchitekturen. 6th ITG/GI/GME Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”, Vaals, The Netherlands; 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 13468
Platzner M, Steger C, Weiss R. Experimental Evaluation of Multi-DSP Architectures in High Performance Applications. In: Proceedings of the 7th Mediterranean Electrotechnical Conference. IEEE Press; 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 13855
Schmidt WG, Wenzien B, Bechstedt F. Coverage-dependent bonding of Sb on GaAs (110). Surface Science. 1994;307-309(Part A):235-240. doi:10.1016/0039-6028(94)90400-6
LibreCat | DOI
 

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 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 | Book | LibreCat-ID: 6528
Bendfeld J, Ernst A, Ortjohann E. Windatlas für das PESAG-Versorgungsgebiet. Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung, Februar 1994; 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 6530
Bendfeld J, Ernst A, Ortjohann E, Langrock B, Scholz N. Flächendeckende Windpotentialbestimmung in einer Binnenlandregion mit ausgeprägter Orographie. In: Renergie 94 - Windenergienutzung im Binnenland, Solarenergienutzung in Deutschland. Renergie 94 - Windenergienutzung im Binnenland, Solarenergienutzung in Deutschland. ; 1994.
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
 

1994 | Conference Paper | LibreCat-ID: 8093
Strauss P, Onneken K, Krauter S, Hanitsch R. 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. ; 1994.
LibreCat
 

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

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

1994 | Book Chapter | LibreCat-ID: 16544
Dellnitz M, Scheurle J. Eigenvalue Movement for a Class of Reversible Hamiltonian Systems with Three Degrees of Freedom. In: Dynamics, Bifurcation and Symmetry. Dordrecht; 1994. doi:10.1007/978-94-011-0956-7_9
LibreCat | DOI
 

1994 | Journal Article | LibreCat-ID: 17489
Peckhaus V. Wozu Algebra der Logik? Ernst Schröders Suche nach einer universalen Theorie der Verknüpfungen. Modern Logic. 1994;4:357-381.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 19416
Eke NO. „Lieber Niembsch“ oder: Der Dichter im Gehäus. Anmerkungen zu Manfred Karges Spiel mit Biographie und Geschichte um den Autor im „Stadium der Verrücktheit“. Lenau-Forum. 1994;20(Folge 1-4):109-129.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 11879
Ney H, Steinbeiss V, Haeb-Umbach R, Tran BH. An Overview of the Philips Research System for Large Vocabulary Continuous Speech Recognition. International Journal on Pattern Recognition and Artificial Intelligence. 1994.
LibreCat
 

1994 | Misc | LibreCat-ID: 13084
Hellebrand S, Wunderlich H-J. Ein Verfahren Zur Testfreundlichen Steuerwerkssynthese. 6th ITG/GI/GME Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”, Vaals, The Netherlands; 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 13856
Schmidt WG, Wenzien B, Bechstedt F. Chemisorption of antimony on GaAs(110). Physical Review B. 1994;49(7):4731-4744. doi:10.1103/physrevb.49.4731
LibreCat | DOI
 

1994 | Book Chapter | LibreCat-ID: 15509
Hagengruber R. Parallelen um den Punkt zwischen Campanella und Leibniz. In: Heinekamp A, Hein I, Stiftung Niedersachsen, eds. Leibniz und Europa. Vol 1. VI. Internationaler Leibniz-Kongress. ; 1994:309-315.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 16728
Dietzfelbinger M, Karlin A, Mehlhorn K, Meyer auf der Heide F, Rohnert H, Tarjan RE. Dynamic Perfect Hashing: Upper and Lower Bounds. SIAM Journal on Computing. 1994:738-761. doi:10.1137/s0097539791194094
LibreCat | DOI
 

1994 | Journal Article | LibreCat-ID: 16817
Domik-Kienegger G. Visualization education. Comput Graph. 1994;18(3):277-280. doi:10.1016/0097-8493(94)90026-4
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 2452
Simon J. Leistung eines Parallelrechners auf Basis des PowerPC-Prozessors. In: Parallele Datenverarbeitung Aktuell: TAT ’94. Transputer and Occam Engineering Series. Amsterdam: IOS Press; 1994:38-45.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 3068
Gries T, Hentschel C, Wigger B. Endogenous Growth and R&D Models - A Critical Appraisal of Recent Developments. Jahrbücher für Nationalökonomie und Statistik. 1994;213/1:64-84.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 7407
Löhr-Richter P, Engels G. Visuelles Spezifizieren von komplexen Aktionen auf Datenbankstrukturen. GI-Datenbank Rundbrief. 1994;13:33-35.
LibreCat
 

1994 | Conference (Editor) | LibreCat-ID: 7798
Cuny J, Ehrig H, Engels G, Rozenberg G, eds. Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers. Vol 1073. Berlin/Heidelberg: Springer; 1994. doi:http://dx.doi.org/10.1007/3-540-61228-9
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 8094
Krauter S, Hanitsch R. Einfluß optischer und thermischer Parameter auf den Tageswirkungsgrad von photovoltaischen Modulen. In: Neuntes Internationales Sonnenforum, Berlin (Deutschland), 28. Juni – 1. Juli 1994, S. 495–502. ; 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8265
Engels G, Löhr P. Visual Specification of Complex Database Actions. In: Proceedings of the 2nd International East/West Database Workshop, Klagenfurt (Germany). Berlin/Heidelberg: Springer; 1994:303-314.
LibreCat
 

1994 | Book | LibreCat-ID: 17303
Fuchssteiner B, Gottheil K, Kemper A, et al. MuPAD: Multi Processing Algebra Data Tool; Tutorial. Basel-Boston-Berlin: Birkhäuser; 1994.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 17485
Peckhaus V. Bibliographie der Werke Kurt Grellings. In: Danneberg L, Kamlah A, Schäfer L, eds. Hans Reichenbach und die Berliner Gruppe. Braunschweig: Friedr. Vieweg & Sohn; 1994:74-86.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 17834
Peckhaus V. Ernst Schröder. In: Modern Logic Calendar 1994. ; 1994:November.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 17841
Peckhaus V. 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. 1994;13(September-Oktober 1994):2-3.
LibreCat
 

1994 | Misc | LibreCat-ID: 17896
Peckhaus V. Alexander Rüstow’s Thesis, Beitrag Für  Russell-L@mcmail.Cis.Mcmaster Am 17. Juni 1994 [Abdruck: Rüstow’s Thesis on Russell’s Paradox, History of Logic Newsletter, Nr. 13 (September–Oktober 1994), 2–3] [Revidierte Fassung: Rüstow’s Thesis on Russell’s Paradox”, Modern Logic 5 (1995), 167–169].; 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 17480
Peckhaus V. Logic in Transition: The Logical Calculi of Hilbert (1905) and Zermelo (1908). In: Prawitz D, Westerståhl D, eds. Logic and Philosophy of Science in Uppsala. Papers from the 9th International Congress of Logic, Methodology and Philosophy of Science. Vol 236. Synthese Library. Dordrecht/Boston/London: Kluwer; 1994:311-323.
LibreCat
 

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

1994 | Book Chapter | LibreCat-ID: 19417
Eke NO. Vergangene Zeiten. Anmerkungen zur Semantik des Umbruchs und zu den Bedeutungsstrukturen im historischen Erzählen der frühen Restaurationszeit (1815-1830). In: Eke NO, Steinecke H, eds. Geschichten aus (der) Geschichte. Zum Stand des historischen Erzählens im Deutschland der frühen Restaurationszeit. München: Fink; 1994:17-58.
LibreCat
 

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

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

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

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

1994 | Journal Article | LibreCat-ID: 16541
Dellnitz M, Melbourne I. Generic movement of eigenvalues for equivariant self-adjoint matrices. Journal of Computational and Applied Mathematics. 1994:249-259. doi:10.1016/0377-0427(94)90032-9
LibreCat | DOI
 

1994 | Book Chapter | LibreCat-ID: 17481
Peckhaus V. Von Nelson zu Reichenbach. Kurt Grelling in Göttingen und Berlin. In: Danneberg L, Kamlah A, Schäfer L, eds. Hans Reichenbach und die Berliner Gruppe. Braunschweig/Wiesbaden: Friedr. Vieweg & Sohn; 1994:53-73.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 17486
Peckhaus V. Benno Kerry. Beiträge zu seiner Biographie. History and Philosophy of Logic. 1994;15:1-8.
LibreCat
 

1994 | Book (Editor) | LibreCat-ID: 19088
Eke NO, Steinecke H, eds. Geschichten aus (der) Geschichte. Zum Stand des historischen Erzählens im Deutschland der frühen Restaurationszeit. München: Fink; 1994.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 19418
Eke NO, Steinecke H. Der historische Roman der frühen Restaurationszeit. Zur Einführung. In: Eke NO, Steinecke H, eds. Geschichten aus (der) Geschichte. Zum Stand des historischen Erzählens im Deutschland der frühen Restaurationszeit. München: Fink; 1994:7-16.
LibreCat
 

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

Filters and Search Terms

year<=2030 AND year>=1980

status=public

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed