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.
405 Publications
2000 | Conference Paper | LibreCat-ID: 39461
Flake, Stephan, et al. Structured English for Model Checking Specification. 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 39681
Morrien, Rita. “Nach dem Sturm: Mütterlichkeit, Sexualität und Ansätze einer kritischen Relektüre der christlichen Schöpfungs- und Heilsgeschichte bei Clara Viebig und Gabriele Reuter.” Jahrbuch zur Literatur der Weimarer Republik , vol. 5, 2000, pp. 145–65.
LibreCat
2000 | Journal Article | LibreCat-ID: 39680
Morrien, Rita. “‘O du ewige, unbegreifliche Schönheit [...], wie roh gehn auch mit dir die Menschen um’ – Die Poesie der Gewalt in Ludwig Tiecks Vittoria Accorombona (1840).” Aurora, vol. 60, 2000, pp. 147–62.
LibreCat
2000 | Journal Article | LibreCat-ID: 38393
Hinz, S., et al. “Optical NRZ 2 x 10Gbit/s Polarisation Division Multiplex Transmission with Endless Polarisation Control Driven by Correlation Signals.” ELECTRONICS LETTERS, vol. 36, no. 16, 2000, pp. 1402–03, doi:10.1049/el:20001002.
LibreCat
| DOI
2000 | Book (Editor) | LibreCat-ID: 36301
Böhme, Peter, et al., editors. Von der Notwendigkeit der Erziehungswissenschaft: Begründungsversuche und Reflexion. Luchterhand Verlag, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39435
Müller, Wolfgang, et al. “A Visual Framework for the Scripting of Parallel Agents.” Proceedings of the IEEE Symposium on Visual Languages, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39439
Bhatt, P. C. P., and Wolfgang Müller. “A Methodology for the Protocol-Centered Design of Agent-Based Systems.” Proceedings of IECON 2000, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39442
Bhatt, P. C. P., and Wolfgang Müller. “Morphic Nets: Model Based Design Diagrams.” Proceedings of UKPEW 2000, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39464
Flake, Stephan, et al. “An Advanced Visual Capture for Model Checking Specifications.” Proceedings of AVI 2000, 2000.
LibreCat
2000 | Book (Editor) | LibreCat-ID: 39706
Morrien, Rita, and Ina Brueckel, editors. Bei Gefahr des Untergangs. Phantasien des Aufbrechens. Königshausen & Neumann, 2000.
LibreCat