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.

14344 Publications


1999 | Journal Article | LibreCat-ID: 2583
@article{Betz_1999, title={Funktionales Erfolgscontrolling bei mehrstufiger Fertigung}, volume={51}, journal={Betriebswirtschaftliche Forschung und Praxis}, author={Betz, Stefan}, year={1999}, pages={35–47} }
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 3656
@inbook{Gallenberger_Gruber_Harteis_Heid_Kraft_1999, place={Wiesbaden}, title={Lehren und Lernen mit neuen Medien}, booktitle={Multimedia—Informationssysteme zwischen Bild und Sprache}, publisher={Gabler}, author={Gallenberger, Wolfgang and Gruber, Hans and Harteis, Christian and Heid, Helmut and Kraft, Susanne}, editor={Lehner, Franz and Braungart, Gerhard and Hitzenberger, LEditors}, year={1999}, pages={259--271} }
LibreCat
 

1999 | Journal Article | LibreCat-ID: 3687
@article{Gallenberger_Harteis_Kraft_1999, title={Zu den Bedingungen der Möglichkeit. Helmut Heid zum 65. Geburtstag}, volume={95}, number={1}, journal={Zeitschrift für Berufs-und Wirtschaftspädagogik}, author={Gallenberger, Wolfgang and Harteis, Christian and Kraft, Susanne}, year={1999}, pages={1–9} }
LibreCat
 

1999 | Journal Article | LibreCat-ID: 3252
@article{Wehrheim_1999, title={Partial order reductions for failures refinement}, DOI={10.1016/S1571-0661(05)80296-8}, journal={Electr. Notes Theor. Comput. Sci.}, author={Wehrheim, Heike}, year={1999}, pages={71--84} }
LibreCat | DOI
 

1999 | Book | LibreCat-ID: 3339
@book{Lettmann_Kleine Büning_1999, series={Cambridge tracts in theoretical computer science}, title={Propositional Logic : Deduction and Algorithms}, publisher={Cambridge Univ. Press}, author={Lettmann, Theodor and Kleine Büning, Hans}, year={1999}, collection={Cambridge tracts in theoretical computer science} }
LibreCat
 

1999 | Journal Article | LibreCat-ID: 7401
@article{Andries_Engels_Habel_Hoffmann_Kreowski_Kuske_Plump_Schürr_Taentzer_1999, title={Graph Transformation for Specification and Programming}, volume={34}, DOI={http://dx.doi.org/10.1016/S0167-6423(98)00023-9}, number={1}, journal={Science of Computer Programming}, author={Andries, Marc and Engels, Gregor and Habel, Annegret and Hoffmann, Berthold and Kreowski, Hans-Jörg and Kuske, Sabine and Plump, Detlef and Schürr, Andy and Taentzer, Gabriele}, year={1999}, pages={1–54} }
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 7850
@inproceedings{Corradini_Heckel_Montanari_1999, place={Berlin/Heidelberg}, series={LNCS}, title={Tile Transition Systems as Structured Coalgebras}, volume={1684}, booktitle={Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99)}, publisher={Springer}, author={Corradini, Andrea and Heckel, Reiko and Montanari, Ugo}, year={1999}, pages={13–38}, collection={LNCS} }
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 7519
@inbook{Heckel_Engels_Ehrig_Taentzer_1999, place={Singapore}, title={Classification and Comparison of Module Concepts for Graph Transformation Systems}, volume={2}, booktitle={Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools}, publisher={World Scientific}, author={Heckel, Reiko and Engels, Gregor and Ehrig, Hartmut and Taentzer, Gabriele}, year={1999}, pages={669–689} }
LibreCat
 

1999 | Conference (Editor) | LibreCat-ID: 7792
@book{Engels_Beiersdörfer_Schäfer_1999, place={Berlin/Heidelberg}, series={Informatik aktuell}, title={Informatik ’99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany)}, publisher={Springer}, year={1999}, collection={Informatik aktuell} }
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8118
@inproceedings{Krauter_Stephan_Bastos_1999, title={Set-up of a Laboratory for Research and Education in Solar Energy in Rio de Janeiro}, booktitle={Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, S. II-288}, author={Krauter, Stefan and Stephan, R. and Bastos, L.}, year={1999} }
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author
Citation Style: BibTeX

Export / Embed