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.

9165 Publications


2000 | Journal Article | LibreCat-ID: 10606
@article{Eisenring_Platzner_2000, title={Synthesis of Interfaces and Communication in Reconfigurable Embedded Systems}, volume={147}, DOI={10.1049/ip-cdt:20000496}, journal={IEE Proceedings -- Computers & Digital Techniques}, publisher={IET}, author={Eisenring, Michael and Platzner, Marco}, year={2000}, pages={159–165} }
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 13763
@inbook{Bernholc_Briggs_Bungaro_Buongiorno Nardelli_Fattebert_Rapcewicz_Roland_Schmidt_Zhao_2000, series={217}, title={Large-Scale Applications of Real-Space Multigrid Methods to Surfaces, Nanotubes and Quantum Transport}, volume={1}, DOI={10.1002/3527603107.ch33}, booktitle={Computer Simulation of Materials at Atomic Level}, publisher={physica status solidi (b)}, author={Bernholc, J. and Briggs, E. L. and Bungaro, C. and Buongiorno Nardelli, M. and Fattebert, J. -L. and Rapcewicz, K. and Roland, C. and Schmidt, Wolf Gero and Zhao, Q.}, year={2000}, pages={685–701}, collection={217} }
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 13756
@article{Pulci_Lüdge_Schmidt_Bechstedt_2000, title={First-principles study of (2×1) and (2×2) phosphorus-rich InP(001) surfaces}, volume={464}, DOI={10.1016/s0039-6028(00)00729-9}, journal={Surface Science}, author={Pulci, Olivia and Lüdge, Kathy and Schmidt, Wolf Gero and Bechstedt, F}, year={2000}, pages={272–282} }
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 14999
@inbook{Volbracht_Domik_2000, title={Developing effective navigation techniques in virtual 3d environments}, booktitle={Virtual environments 2000}, publisher={Springer}, author={Volbracht, Sabine and Domik, Gitta}, year={2000}, pages={55–64} }
LibreCat
 

2000 | Journal Article | LibreCat-ID: 15389
@article{Henning_Daur_Prange_Dierks_Hauptmann_2000, title={In-line concentration measurement in complex liquids using ultrasonic sensors}, DOI={10.1016/s0041-624x(99)00190-0}, journal={Ultrasonics}, author={Henning, Bernd and Daur, Peter-Christoph and Prange, Stefan and Dierks, Karsten and Hauptmann, Peter}, year={2000}, pages={799–803} }
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 15808
@inproceedings{Dubois_Hüllermeier_Prade_2000, title={Flexible control of case-based prediction in the framework of possibility theory}, booktitle={In Proceedings RàPC-2000, Raisonnement à partir de Cas, Toulouse, France}, author={Dubois, D. and Hüllermeier, Eyke and Prade, H.}, year={2000}, pages={7–16} }
LibreCat
 

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: 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: 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 | Book | LibreCat-ID: 1608
@book{Krimphove_Pieper_Schollmeier_2000, place={Köln}, edition={2}, title={Europarecht - Das Casebook}, publisher={Carl Heymanns Verlag KG}, author={Krimphove, Dieter and Pieper, Stefan Ulrich and Schollmeier, Andres}, year={2000} }
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed