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.

12489 Publications


1994 | Book Chapter | LibreCat-ID: 15608
@inbook{Hagengruber_1994, place={New York}, title={Platons “Timaios”, eine Anleitung zur wissenschaftlichen Hypothesenbildung?}, volume={13}, booktitle={Cosmographica et Geographica. Algorismus. Studien zur Geschichte der Mathematik und der Naturwissenschaften}, publisher={Springer}, author={Hagengruber, Ruth}, editor={Fritscher, Bernhard and Brey, GerhardEditors}, year={1994}, pages={75–96} }
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 15610
@inbook{Hagengruber_1994, place={Barcelona}, title={Die Theorie des Punktes aus der Philosophie der Ähnlichkeit bei Tommaso Campanella}, booktitle={ 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}, publisher={Bellaterra}, author={Hagengruber, Ruth}, editor={Gómez Pin, VictorEditor}, year={1994}, pages={101–107} }
LibreCat | Files available
 

1994 | Journal Article | LibreCat-ID: 1659
@article{Krimphove_1994, title={Das zweite Finanzmarktförderungsgesetz - ein Beitrag zur “Europäisierung” des Wertpapierrechts }, number={Heft 1}, journal={Juristenzeitung (JZ)}, author={Krimphove, Dieter}, year={1994}, pages={244 ff.} }
LibreCat
 

1994 | Journal Article | LibreCat-ID: 1661
@article{Krimphove_1994, title={Europejskie prawo pracy}, number={2}, journal={Monitor Prawniczy}, author={Krimphove, Dieter}, year={1994}, pages={42 ff.} }
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 3263
@inproceedings{Rensink_Wehrheim_1994, series={Lecture Notes in Computer Science}, title={Weak Sequential Composition in Process Algebras}, DOI={10.1007/978-3-540-48654-1_20}, booktitle={{CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings}, author={Rensink, Arend and Wehrheim, Heike}, editor={Jonsson, Bengt and Parrow, JoachimEditors}, year={1994}, pages={226--241}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

1994 | Book Chapter | LibreCat-ID: 7513
@inbook{Engels_Groenewegen_1994, place={Taunton}, title={SOCCA: Specifications of Coordinated and Cooperative Activities}, booktitle={Software Process Modelling and Technology}, publisher={Research Studies Press}, author={Engels, Gregor and Groenewegen, Luuk}, year={1994}, pages={71–102} }
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7828
@inproceedings{Ebert_Engels_1994, place={Berlin/Heidelberg}, title={Structural and Behavioural Views on OMT-Classes}, volume={858}, booktitle={Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy)}, publisher={Springer}, author={Ebert, Jürgen and Engels, Gregor}, year={1994}, pages={142–157} }
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7830
@inproceedings{Engels_Ehrig_1994, series={Technical Report }, title={Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective}, volume={B-19}, booktitle={Proceedings Colloquium on Graph Transformation and its Application in Computer Science}, publisher={Universitat de les Illes Balears, Departament de Ci}, author={Engels, Gregor and Ehrig, Hartmut}, year={1994}, collection={Technical Report } }
LibreCat
 

1994 | Report | LibreCat-ID: 8193
@book{Ebert_Engels_1994, title={Observable or Invocable Behaviour - You Have to Choose}, publisher={Vakgroep Informatica, Rijksuniversiteit Leiden}, author={Ebert, Jürgen and Engels, Gregor}, year={1994} }
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8092
@inproceedings{Krauter_Hanitsch_Campbell_Wenham_1994, title={Optical Modelling, Simulation and Improvement of PV Module Encapsulation}, booktitle={Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1198–1201}, author={Krauter, Stefan and Hanitsch, Rolf and Campbell, P. and Wenham, S.R. }, year={1994} }
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8263
@inproceedings{Andries_Engels_1994, place={Berlin/Heidelberg}, series={LNCS}, title={Syntax and Semantics of Hybrid Database Languages}, volume={776}, DOI={http://dx.doi.org/10.1007/3-540-57787-4_2}, booktitle={Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany)}, publisher={Springer}, author={Andries, Marc and Engels, Gregor}, year={1994}, pages={19–36}, collection={LNCS} }
LibreCat | DOI
 

1994 | Book Review | LibreCat-ID: 17774
@article{Peckhaus_1994, title={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)}, volume={4}, journal={Modern Logic}, author={Peckhaus, Volker}, year={1994}, pages={449–454} }
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 17837
@inbook{Peckhaus_1994, title={The Axiomatic Method and Ernst Schröder’s Algebraic Approach to Logic [Abstract]}, volume={15, Nr. 5 (August 1994)}, booktitle={Abstract of Papers Presented to the American Mathematical Society}, author={Peckhaus, Volker}, year={1994}, pages={447} }
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 17488
@inbook{Peckhaus_1994, place={Boston u. a.}, title={Hilbert’s Axiomatic Programme and Philosophy}, booktitle={The History of Modern Mathematics, Bd. 3: Images, Ideas, and Communities}, publisher={Academic Press}, author={Peckhaus, Volker}, editor={Knobloch, Eberhard and Rowe, David E.Editors}, year={1994}, pages={91–112} }
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 19415
@inbook{Eke_1994, place={Berlin}, title={Heiner Müller}, booktitle={Deutsche Dichter des 20. Jahrhunderts}, publisher={Erich Schmidt}, author={Eke, Norbert Otto}, editor={Steinecke, HartmutEditor}, year={1994}, pages={726–741} }
LibreCat
 

1994 | Dissertation | LibreCat-ID: 19624
@book{Wanka_1994, place={Universität Paderborn}, title={Paralleles Sortieren auf mehrdimensionalen Gittern}, author={Wanka, Rolf}, year={1994} }
LibreCat | Files available
 

1994 | Book | LibreCat-ID: 3333
@book{Kleine Büning_Lettmann_1994, series={Leitfäden und Monographien der Informatik}, title={Aussagenlogik - Deduktion und Algorithmen}, DOI={10.1007/978-3-322-84809-3}, publisher={Teubner}, author={Kleine Büning, Hans and Lettmann, Theodor}, year={1994}, collection={Leitfäden und Monographien der Informatik} }
LibreCat | DOI
 

1994 | Journal Article | LibreCat-ID: 11796
@article{Haeb-Umbach_Ney_1994, title={Improvements in beam search for 10000-word continuous-speech recognition}, journal={IEEE Transactions on Speech and Audio Processing}, author={Haeb-Umbach, Reinhold and Ney, Hermann}, year={1994} }
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 11878
@inproceedings{Ney_Steinbeiss_Aubert_Haeb-Umbach_1994, title={Progress in Large-Vocabulary, Continuous Speech Recognition}, booktitle={Artifical Intelligence, Progress and Prospects of Speech Research and Technology, Munich}, author={Ney, Hermann and Steinbeiss, Volker and Aubert, Xavier L. and Haeb-Umbach, Reinhold}, year={1994} }
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 13014
@inproceedings{Hellebrand_Wunderlich_1994, place={San Jose, CA, USA}, title={An Efficient Procedure for the Synthesis of Fast Self-Testable Controller Structures}, DOI={10.1109/iccad.1994.629752}, booktitle={{ACM/IEEE International Conference on Computer-Aided Design (ICCAD’94)}}, publisher={{IEEE}}, author={Hellebrand, Sybille and Wunderlich, Hans-Joachim}, year={1994}, pages={110–116} }
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: BibTeX

Export / Embed