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


2000 | Conference Paper | LibreCat-ID: 3249
Fischer, C., & Wehrheim, H. (2000). Behavioural Subtyping Relations for Object-Oriented Formalisms. In T. Rus (Ed.), Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings (pp. 469--483). https://doi.org/10.1007/3-540-45499-3_33
LibreCat | DOI
 

2000 | Book | LibreCat-ID: 3674
Harteis, C. (2000). Berufliche Weiterbildung heute und morgen: zukünftige Kompetenzanforderungen an Bildungspersonal und Nachwuchsrekrutierung. München: Neuer Merkur.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 3602
Harteis, C. (2000). Beschäftigte im Spannungsfeld ökonomischer und pädagogischer Prinzipien betrieblicher Personal-und Organisationsentwicklungsentwicklung. In C. Harteis, H. Heid, & S. Kraft (Eds.), Kompendium Weiterbildung (pp. 209--217). Opladen: Leske+Budrich.
LibreCat
 

2000 | Book Review | LibreCat-ID: 18345
Peckhaus, V. (2000). Boolos, George; Heck, Richard G. jun., “Die Grundlagen der Arithmetik, §§ 82–3”, in: Matthias Schirn (Hg.), The Philosophy of Mathematics Today. Papers from a Conference, Munich, Germany, June 28–July 4, 1993, Clarendon Press: Oxford 1998, 407–428. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 935.03008].
LibreCat
 

2000 | Journal Article | LibreCat-ID: 10182
Brinkmann, G., Choudum, S. A., Grünewald, S., & Steffen, E. (2000). Bounds for the independence number of critical graphs. Bull. London Math. Soc., 32, 137–140.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 6015
Kundisch, D. (2000). Buyer Search Behavior on an Electronic Commodity Market: Consumer’s Decision for a Sequential or Simultaneous Search Method. In S. H. Kim, O. Sheng, J. K. Lee, A. B. Whinston, & B. Schmid (Eds.), Proceedings of the International Conference on Electronic Commerce 2000 (ICEC) (pp. 88–93). Seoul, Korea.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 16496
Meyer auf der Heide, F., Vöcking, B., & Westermann, M. (2000). Caching in networks. In SODA ’00: Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms (pp. 430–439).
LibreCat
 

2000 | Dissertation | LibreCat-ID: 19621
Westermann, M. (2000). Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints. Universität Paderborn.
LibreCat | Files available
 

2000 | Conference Paper | LibreCat-ID: 15063
Hüllermeier, E. (2000). Change detection in heuristic search. In Proceedings AAAI 2000, 17th National Conference on Artificial Intelligence, Austin, Texas (pp. 898–903).
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 3023
Blömer, J. (2000). Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices. In Automata, Languages and Programming (pp. 248–259). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/3-540-45022-x_22
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 2147
Czumaj, A., & Scheideler, C. (2000). Coloring non-uniform hypergraphs: a new algorithmic approach to the general Lovász local lemma. In SODA (pp. 30--39).
LibreCat | Files available
 

2000 | Journal Article | LibreCat-ID: 2148
Czumaj, A., & Scheideler, C. (2000). Coloring nonuniform hypergraphs: A new algorithmic approach to the general Lovász local lemma. Random Struct. Algorithms, 17(3–4), 213--237.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 19620
Rieping, I. (2000). Communication in Parallel Systems-Models, Algorithms and Implementations. Universität Paderborn.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 16497
Meyer auf der Heide, F., Kutyłowski, M., & Ragde, P. (2000). Complexity Theory and Algorithms. In Euro-Par 2000 Parallel Processing. Berlin, Heidelberg. https://doi.org/10.1007/3-540-44520-x_59
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 18150
Ziegler, M., & Sohler, C. (2000). Computing Cut Numbers. In Proceedings of the 12th Canadian Conference on Computational Geometry (CCCG’00) (pp. 73–79).
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 18146
Ziegler, M., & Brattka, V. (2000). Computing the Dimension of Linear Subspaces. In SOFSEM 2000: Theory and Practice of Informatics (Vol. 1963, pp. 450–458). Berlin, Heidelberg: Springer. https://doi.org/10.1007/3-540-44411-4_34
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8331
Heckel, R., Llabrés, M., Ehrig, H., & Orejas, F. (2000). Concurrency of Double-Pullback Graph Transitions. In Proceedings of workshop on Graph Transformation Systems (GraTra; satellite event of the ETAPS 2000), Berlin (Germany).
LibreCat
 

2000 | Journal Article | LibreCat-ID: 17010
Czumaj, A., Meyer auf der Heide, F., & Stemann, V. (2000). Contention Resolution in Hashing Based Shared Memory Simulations. SIAM Journal on Computing, 1703–1739. https://doi.org/10.1137/s009753979529564x
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 7522
Engels, G., Groenewegen, L., & Kappel, G. (2000). Coordinated Collaboration of Objects. In Proceedings of Advances in Object-Oriented Modeling (pp. 307–332). The MIT Press.
LibreCat
 

2000 | Book Review | LibreCat-ID: 18337
Peckhaus, V. (2000). da Silva, Jairo José, “Husserl’s Phenomenology and Weyl’s Predicativism”, Synthese 110 (1997), 277–296. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 927.01014].
LibreCat
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: APA

Export / Embed