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.

14308 Publications


1996 | Conference Paper | LibreCat-ID: 2443
@inproceedings{Simon_Wierum_1996, place={Berlin / Heidelberg}, series={Lecture Notes in Computer Science (LNCS)}, title={Sequential Performance versus Scalability: Optimizing Parallel LU-Decomposition}, volume={1067}, DOI={10.1007/3-540-61142-8_606}, booktitle={Proc. Int. Conf. on High-Performance Computing and Networking (HPCN-Europe)}, publisher={Springer}, author={Simon, Jens and Wierum, Jens-Michael}, year={1996}, pages={627–632}, collection={Lecture Notes in Computer Science (LNCS)} }
LibreCat | DOI
 

1996 | Book Chapter | LibreCat-ID: 6229
@inbook{Weber_Kabst_1996, place={Bedford}, title={Flexibility in Germany}, booktitle={Working Time and Contract Flexibility in the E.U., Cranfield Center for European Human Resource Management}, author={Weber, W and Kabst, R}, editor={Brewster, CEditor}, year={1996}, pages={20–57} }
LibreCat
 

1996 | Book | LibreCat-ID: 6534
@book{Bendfeld_Gärtner_Winkelmann_Ortjohann_1996, title={Windatlas für die Stadt Steinheim}, publisher={Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung}, author={Bendfeld, Jörg and Gärtner, Sven Olaf and Winkelmann, Thomas and Ortjohann, Egon}, year={1996} }
LibreCat
 

1996 | Report | LibreCat-ID: 6399
@book{Weber_Kabst_1996, title={ Personalwesen im europäischen Vergleich – Ergebnisbericht 1995, Paderborn 1996.}, author={Weber, W and Kabst, Rüdiger}, year={1996} }
LibreCat
 

1996 | Conference (Editor) | LibreCat-ID: 7796
@book{Engels_Ehrig_Rozenberg_Skowron_1996, place={Amsterdam}, series={Fundamenta Informaticae}, title={Special Issue on Graph Transformations}, volume={26}, number={3–4}, publisher={IOS Press}, year={1996}, collection={Fundamenta Informaticae} }
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 7835
@inproceedings{Heckel_1996, series={Dagstuhl-Seminar-Report}, title={Behavioral Constraints for Loose Graph Transformation Systems}, number={155}, booktitle={Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science}, publisher={Technical University of Berlin}, author={Heckel, Reiko}, year={1996}, pages={12–13}, collection={Dagstuhl-Seminar-Report} }
LibreCat
 

1996 | Journal Article | LibreCat-ID: 7405
@article{Heckel_Corradini_Ehrig_Löwe_1996, title={Horizontal and Vertical Structuring of Typed Graph Transformation Systems}, volume={6}, number={6}, journal={Mathematical Structures in Computer Science}, author={Heckel, Reiko and Corradini, Andrea and Ehrig, Hartmut and Löwe, Michael}, year={1996}, pages={613–648} }
LibreCat
 

1996 | Report | LibreCat-ID: 8198
@book{Busatto_Engels_1996, title={Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1.}, publisher={Vakgroep Informatica, Rijksuniversiteit Leiden}, author={Busatto, Giorgio and Engels, Gregor}, year={1996} }
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 8105
@inbook{Krauter_1996, place={Düsseldorf}, title={Lernen im Internet am Beispiel der Solarenergie}, booktitle={Bildung im Netz}, publisher={ VDI–Verlag}, author={Krauter, Stefan}, editor={Beste, D. and Kälke, M.Editors}, year={1996}, pages={115–120} }
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 8275
@inproceedings{Heckel_Conrad_Egger_Hiemer_1996, place={Bremen, Germany}, title={Automatic Integration of Safety Invariants into Z Specifications}, volume={1}, booktitle={Proceedings of the Workshop on Tools for System Development and Verifcation}, publisher={Shaker Verlag}, author={Heckel, Reiko and Conrad, Mirko and Egger, Gottfried and Hiemer, Jörg}, year={1996}, pages={70–83} }
LibreCat | Download (ext.)
 

1996 | Book Chapter | LibreCat-ID: 8403
@inbook{Kremer_1996, title={Existenzgründung}, booktitle={Meisterprüfung - Lernen für die Praxis. Unternehmensführung im Handwerk 1. Dozentenhandbuch für Teil lll der Meisterprüfung - Existenzgründung, Marketing }, author={Kremer, H.-Hugo}, editor={Kremer, H.-Hugo and Stickling, E.Editors}, year={1996}, pages={1–30} }
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 17419
@inproceedings{Grigoriev_Karpinski_Meyer auf der Heide_Smolensky_1996, series={Lecture Notes in Computer Science}, title={A lower bound for randomized algebraic decision trees}, volume={65453}, booktitle={Proc. of 28th ACM-STOC}, publisher={Eurographics Symposium on Parallel Graphics and Visualization}, author={Grigoriev, Dima and Karpinski, Marek and Meyer auf der Heide, Friedhelm and Smolensky, Roman}, year={1996}, pages={612–621}, collection={Lecture Notes in Computer Science} }
LibreCat
 

1996 | Encyclopedia Article | LibreCat-ID: 17642
@inbook{Peckhaus_1996, place={Stuttgart/Weimar}, title={Wiener [Ludwig Christian]}, booktitle={Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z}, publisher={J.B. Metzler}, author={Peckhaus, Volker}, editor={Mittelstraß, JürgenEditor}, year={1996}, pages={693–694} }
LibreCat
 

1996 | Conference Abstract | LibreCat-ID: 17844
@inproceedings{Peckhaus_1996, place={o.O.u.J. (Jena)}, title={Die Wurzeln der deutschen Algebra der Logik}, booktitle={Deutsche Mathematiker-Vereinigung. Jahrestagung 1996. 15.–21. September 1996 in Jena}, author={Peckhaus, Volker}, year={1996}, pages={196} }
LibreCat
 

1996 | Book Review | LibreCat-ID: 17919
@article{Peckhaus_1996, title={Puhl, Klaus (Hg.), Philosophy of Mathematics. Proceedings of the 15th International Witt-genstein-Symposium, 16–23 August 1992, Kirchberg am Wechsel, Austria, Part 2, Hölder-Pichler-Tempsky: Wien 1993 (= Schriftenreihe der Wittgenstein-Gesellschaft; 20/II)}, number={Zbl. 836.00023}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 836.00023]}, author={Peckhaus, Volker}, year={1996} }
LibreCat
 

1996 | Book Review | LibreCat-ID: 17921
@article{Peckhaus_1996, title={Quesada, Daniel, “State of Affairs and the Evolution of Carnap’s Semantics”, Logique & Analyse Nouv. Sér. 36 (1993), 149–157}, number={Zbl. 836.01018}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 836.01018]}, author={Peckhaus, Volker}, year={1996} }
LibreCat
 

1996 | Book Review | LibreCat-ID: 17940
@article{Peckhaus_1996, title={Dathe, Uwe, „Gottlob Frege und Rudolf Eucken — Gesprächspartner in der Herausbildungsphase der modernen Logik“, History and Philosophy of Logic 16 (1995), 245–255}, number={Zbl. 846.01006}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 846.01006]}, author={Peckhaus, Volker}, year={1996} }
LibreCat
 

1996 | Book Review | LibreCat-ID: 17926
@article{Peckhaus_1996, title={Karl, Birgit, „Einführung des Begriffes ,Topologie‘ in die Mathematik durch J.B. Listing im Jahre 1847“, in: Czermak (Hg.) 1993 [9.4], 60–66}, number={Zbl. 840.01019}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 840.01019]}, author={Peckhaus, Volker}, year={1996} }
LibreCat
 

1996 | Book Review | LibreCat-ID: 17933
@article{Peckhaus_1996, title={Woleński, Jan, “Mathematical Logic in Poland 1900–1939: People, Circles, Institutions, Ideas”, Modern Logic 5 (1995), 363–405}, number={Zbl. 843.03001}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 843.03001]}, author={Peckhaus, Volker}, year={1996} }
LibreCat
 

1996 | Book Review | LibreCat-ID: 17938
@article{Peckhaus_1996, title={Hintikka, Jaakko, “Why Parallel Processing?”, in: Casati/Smith/White (Hgg.) 1994 [9.39], 265–272}, number={Zbl. 845.68039}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 845.68039]}, author={Peckhaus, Volker}, year={1996} }
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed