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.

287 Publications


2000 | Journal Article | LibreCat-ID: 2586
@article{Betz_2000, title={Qualitätskostencontrolling auf Basis des Half-Life-Konzepts}, volume={54}, journal={Betrieb und Wirtschaft}, author={Betz, Stefan}, year={2000}, pages={749–755} }
LibreCat
 

2000 | Journal Article | LibreCat-ID: 26004
@article{Schulz_Tiemann_Fröba_Jäger_2000, title={NMR Characterization of Mesostructured Aluminophosphates}, DOI={10.1021/jp000337n}, journal={The Journal of Physical Chemistry B}, author={Schulz, M. and Tiemann, Michael and Fröba, M. and Jäger, C.}, year={2000}, pages={10473–10481} }
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 26005
@article{Tiemann_Fröba_Rapp_Funari_2000, title={Nonaqueous Synthesis of Mesostructured Aluminophosphate/Surfactant Composites:  Synthesis, Characterization, and In-Situ SAXS Studies}, DOI={10.1021/cm991165d}, journal={Chemistry of Materials}, author={Tiemann, Michael and Fröba, M. and Rapp, G. and Funari, S. S.}, year={2000}, pages={1342–1348} }
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 26006
@inbook{Tiemann_Fröba_Rapp_Funari_2000, title={In-situ small angle x-ray scattering (SAXS) studies on the formation of mesostructured aluminophosphate / surfactant composite materials}, DOI={10.1016/s0167-2991(00)80258-x}, booktitle={Nanoporous Materials II, Proceedings of the 2nd Conference on Access in Nanoporous Materials}, author={Tiemann, Michael and Fröba, M. and Rapp, G. and Funari, S.S.}, year={2000} }
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 3247
@article{Fischer_Wehrheim_2000, title={Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method}, journal={Bulletin of the {EATCS}}, author={Fischer, Clemens and Wehrheim, Heike}, year={2000}, pages={92--101} }
LibreCat
 

2000 | Journal Article | LibreCat-ID: 3248
@article{Wehrheim_2000, title={Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications}, DOI={10.1007/s001650070026}, number={3}, journal={Formal Asp. Comput.}, author={Wehrheim, Heike}, year={2000}, pages={147--164} }
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 3249
@inproceedings{Fischer_Wehrheim_2000, series={Lecture Notes in Computer Science}, title={Behavioural Subtyping Relations for Object-Oriented Formalisms}, DOI={10.1007/3-540-45499-3_33}, booktitle={Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings}, author={Fischer, Clemens and Wehrheim, Heike}, editor={Rus, TeodorEditor}, year={2000}, pages={469--483}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 3250
@inproceedings{Wehrheim_2000, series={Lecture Notes in Computer Science}, title={Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods}, DOI={10.1007/3-540-46428-X_23}, booktitle={Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings}, author={Wehrheim, Heike}, editor={S. E. Maibaum, T.Editor}, year={2000}, pages={334--348}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 3251
@inproceedings{Wehrheim_2000, series={{IFIP} Conference Proceedings}, title={Behavioural Subtyping and Property Preservation}, DOI={10.1007/978-0-387-35520-7_11}, booktitle={Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}}, author={Wehrheim, Heike}, editor={F. Smith, Scott and L. Talcott, CarolynEditors}, year={2000}, pages={213--231}, collection={{IFIP} Conference Proceedings} }
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 3602
@inbook{Harteis_2000, place={Opladen}, title={Beschäftigte im Spannungsfeld ökonomischer und pädagogischer Prinzipien betrieblicher Personal-und Organisationsentwicklungsentwicklung}, booktitle={Kompendium Weiterbildung}, publisher={Leske+Budrich}, author={Harteis, Christian}, editor={Harteis, Christian and Heid, Helmut and Kraft, SusanneEditors}, year={2000}, pages={209--217} }
LibreCat
 

Filters and Search Terms

year=2000

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed