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.
9332 Publications
2000 | Report | LibreCat-ID: 19733
O. Bonorden, I. Rieping, I. von Otte, and B. Juurlink, PUB-Library, Release 7.0, User Guide and Function Reference. 2000.
LibreCat
| Files available
2000 | Conference Paper | LibreCat-ID: 19849
M. Bednara, O. Beyer, J. Teich, and R. Wanka, “Tradeoff analysis and architecture design of a hybrid hardware/software sorter,” in Proc. Int. Conf. on Application Specific Systems, Architectures, and Processors (ASAP), 2000, pp. 299–308, doi: 10.1109/asap.2000.862400.
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 27987
A. Buyken et al., “Carbohydrate sources and glycaemic control in Type 1 diabetes mellitus. EURODIAB IDDM Complications Study Group.,” Diabet Med, vol. 17, no. 5, pp. 351–359, 2000, doi: 10.1046/j.1464-5491.2000.00283.x.
LibreCat
| DOI
| PubMed | Europe PMC
2000 | Mastersthesis | LibreCat-ID: 2433
C. Plessl and S. Maurer, Hardware/Software Codesign in Speech Compression Applications. Computer Engineering and Networks Lab, ETH Zurich, Switzerland, 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 3247
C. Fischer and H. Wehrheim, “Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method,” Bulletin of the {EATCS}, pp. 92--101, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 3249
C. Fischer and H. Wehrheim, “Behavioural Subtyping Relations for Object-Oriented Formalisms,” in Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, 2000, pp. 469--483.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 3250
H. Wehrheim, “Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods,” in 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, 2000, pp. 334--348.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 3251
H. Wehrheim, “Behavioural Subtyping and Property Preservation,” in 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}, 2000, pp. 213--231.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 20994
M. Eis and G. Meschut, “Minimierung von Bauteildeformationen beim Kleben durch Beachtung der konstruktiven und werkstofftechnischen Einflußgrößen,” in Tagungsband zur Veranstaltung EndForm 2000, Aachen, 2000, pp. 135–152.
LibreCat
2000 | Conference Paper | LibreCat-ID: 20995
O. Hahn, M. Koyro, and G. Meschut, “Eigenschaften von wärmearm gefügten Al-Rahmentragwerken mit IHU-Knotenelementen,” in Tagungsband zur Veranstaltung EndForm 2000, Aachen, 2000, pp. 225–241.
LibreCat
2000 | Report | LibreCat-ID: 21001
O. Hahn, G. Meschut, M. Eis, and G. Kötting, Analyse der Entstehung von Abzeichnungen an Klebungen dünnwandiger Bauteile. Düsseldorf: Verlag und Vertriebsgesellschaft mbH, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 21003
P. Bohling, S. Jüttner, M. Kaiser, G. Meschut, and S. Schumann, “Eigenschaften von thermisch und wärmearm gefügten Al-/Mg-Verbindungen für den strukturellen Karosserieleichtbau,” presented at the 7. Paderborner Symposium Fügetechnik 2000, Paderborn, 2000, pp. 199–210.
LibreCat
2000 | Conference Paper | LibreCat-ID: 21007
M. Koyro and G. Meschut, “Status und Weiterentwicklungsmöglichkeiten beim strukturellen Kleben bei Spaceframe-Konstruktionen,” in Tagungsband zur 4. Jahres- und 1. Europäischen Fachkonferenz “Kleben im Automobilbau,” Bad Nauheim, 2000, pp. 114–126.
LibreCat
2000 | Conference Paper | LibreCat-ID: 2146 | 
P. Berenbrink, A. Brinkmann, and C. Scheideler, “Distributed Path Selection for Storage Networks,” in PDPTA, 2000.
LibreCat
| Files available
2000 | Conference Paper | LibreCat-ID: 2147 |
A. Czumaj and C. Scheideler, “Coloring non-uniform hypergraphs: a new algorithmic approach to the general Lovász local lemma,” in SODA, 2000, pp. 30--39.
LibreCat
| Files available
2000 | Journal Article | LibreCat-ID: 2148
A. Czumaj and C. Scheideler, “Coloring nonuniform hypergraphs: A new algorithmic approach to the general Lovász local lemma,” Random Struct. Algorithms, vol. 17, no. 3–4, pp. 213--237, 2000.
LibreCat