en
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.
13851 Publications
2000 | Conference Paper | LibreCat-ID: 7876
Graphtransitionsregeln zur Beschreibung der Semantik von UML
J. Hendrik Hausmann, in: Proceedings of the Informatiktage 2000, Bad Schussenried (Germany), Konradin Verlag, Leinfelden - Echterdingen, 2000, pp. 103–107.
LibreCat
J. Hendrik Hausmann, in: Proceedings of the Informatiktage 2000, Bad Schussenried (Germany), Konradin Verlag, Leinfelden - Echterdingen, 2000, pp. 103–107.
2000 | Book Chapter | LibreCat-ID: 8456
Lern- und Maßnahmeerfolg "Fächer- und Lernortübergreifender Lehr- Lernarrangements" - Erste Projektergebnisse
H.-H. Kremer, P.F.E. Sloane, in: F.J. Kaiser (Ed.), Berufliche Bildung in Deutschland für das 21. Jahrhundert, Nürnberg, 2000, pp. 135–144.
LibreCat
H.-H. Kremer, P.F.E. Sloane, in: F.J. Kaiser (Ed.), Berufliche Bildung in Deutschland für das 21. Jahrhundert, Nürnberg, 2000, pp. 135–144.
2000 | Conference Paper | LibreCat-ID: 8329
Ein Konzept zur anwendungsbezogenen UML-Semantikbeschreibung durch dynamische Metamodellierung
J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceedings of the Workshop Des Arbeitskreises GROOM Der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Software-Systeme, Münster (Germany), 2000.
LibreCat
J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceedings of the Workshop Des Arbeitskreises GROOM Der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Software-Systeme, Münster (Germany), 2000.
2000 | Conference Paper | LibreCat-ID: 8331
Concurrency of Double-Pullback Graph Transitions
R. Heckel, M. Llabrés, H. Ehrig, F. Orejas, in: Proceedings of Workshop on Graph Transformation Systems (GraTra; Satellite Event of the ETAPS 2000), Berlin (Germany), 2000.
LibreCat
R. Heckel, M. Llabrés, H. Ehrig, F. Orejas, in: Proceedings of Workshop on Graph Transformation Systems (GraTra; Satellite Event of the ETAPS 2000), Berlin (Germany), 2000.
2000 | Conference Paper | LibreCat-ID: 8336
Deploying Agents in an Electronic Banking Environment
R. Depke, R. Heckel, J. Küster, in: Proceedings of the Workshop on Agents in Industry (Agents 2000; Satellite Event of the 4th International Conference on Autonomous Agents), Barcelona (Spain), 2000.
LibreCat
R. Depke, R. Heckel, J. Küster, in: Proceedings of the Workshop on Agents in Industry (Agents 2000; Satellite Event of the 4th International Conference on Autonomous Agents), Barcelona (Spain), 2000.
2000 | Conference Paper | LibreCat-ID: 8343
Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML
R. Heckel, S. Sauer, in: Proceedings of the 7th GI-Workshop GROOM, University of Koblenz-Landau, 2000, pp. 43–44.
LibreCat
R. Heckel, S. Sauer, in: Proceedings of the 7th GI-Workshop GROOM, University of Koblenz-Landau, 2000, pp. 43–44.
2000 | Journal Article | LibreCat-ID: 8918
On some regularities in dynamic response of cyclic periodic structures
T. Krzyzynski, K. Popp, W. Sextro, Chaos, Solitons \& Fractals 11 (2000) 1597–1609.
LibreCat
| DOI
T. Krzyzynski, K. Popp, W. Sextro, Chaos, Solitons \& Fractals 11 (2000) 1597–1609.
2000 | Conference Paper | LibreCat-ID: 8920
The Calculation of the Forced Response of Shrouded Blades with Friction Contacts and Its Experimental Verification
W. Sextro, in: International Gas Turbine \& Aeroengine Congress \& Exhibition, ASME, Munich, Germany, 2000, pp. 1–8.
LibreCat
W. Sextro, in: International Gas Turbine \& Aeroengine Congress \& Exhibition, ASME, Munich, Germany, 2000, pp. 1–8.
2000 | Book Chapter | LibreCat-ID: 16553
A Conjecture on the Existence of Isolated Eigenvalues of the Perron-Frobenius Operator
M. Dellnitz, G. Froyland, S. Sertl, in: Equadiff 99, 2000.
LibreCat
| DOI
M. Dellnitz, G. Froyland, S. Sertl, in: Equadiff 99, 2000.
2000 | Book Chapter | LibreCat-ID: 16616
Rigorous discretization of subdivision techniques
O. Junge, in: Equadiff 99, 2000.
LibreCat
| DOI
O. Junge, in: Equadiff 99, 2000.
2000 | Book Chapter | LibreCat-ID: 17018
The computation of an unstable invariant set inside a cylinder containing a knotted flow
M. Dellnitz, O. Junge, M. Rumpf, R. Strzodka, in: Equadiff 99, 2000, pp. 1053--1059.
LibreCat
| DOI
M. Dellnitz, O. Junge, M. Rumpf, R. Strzodka, in: Equadiff 99, 2000, pp. 1053--1059.
2000 | Book Chapter | LibreCat-ID: 17525
Kantianer oder Neukantianer? Über die Schwierigkeiten, Frege der Philosophie seiner Zeit zuzuordnen
V. Peckhaus, in: G. Gabriel, U. Dathe (Eds.), Gottlob Frege — Werk und Wirkung. Mit den unveröffentlichten Vorschlägen für ein Wahlgesetz von Gottlob Frege, mentis, Paderborn, 2000, pp. 191--209.
LibreCat
V. Peckhaus, in: G. Gabriel, U. Dathe (Eds.), Gottlob Frege — Werk und Wirkung. Mit den unveröffentlichten Vorschlägen für ein Wahlgesetz von Gottlob Frege, mentis, Paderborn, 2000, pp. 191--209.
2000 | Conference Paper | LibreCat-ID: 18150
Computing Cut Numbers
M. Ziegler, C. Sohler, in: Proceedings of the 12th Canadian Conference on Computational Geometry (CCCG’00), 2000, pp. 73–79.
LibreCat
M. Ziegler, C. Sohler, in: Proceedings of the 12th Canadian Conference on Computational Geometry (CCCG’00), 2000, pp. 73–79.
2000 | Book Review | LibreCat-ID: 18345
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
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 935.03008] (2000).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 935.03008] (2000).
2000 | Book Review | LibreCat-ID: 18338
Arsac, Jacques, «Les langages de programmation: une moderne Babel», C.R. Académie des Sciences (Paris). La vie des Sciences 13, Nr. 1 (1996), 25–37
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 927.68015] (2000).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 927.68015] (2000).
2000 | Book Review | LibreCat-ID: 18340
Landini, Gregory, Russell’s Hidden Substitutional Theory, Oxford University Press: Oxford 1998
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 933.03002] (2000).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 933.03002] (2000).
2000 | Book Review | LibreCat-ID: 18357
Mancosu, Paolo, “Between Russell and Hilbert: Behmann on the Foundations of Mathematics”, Bulletin of Symbolic Logic 5 (1999), 303–330
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 942.030029] (2000).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 942.030029] (2000).
2000 | Journal Article | LibreCat-ID: 18446
Periodification Scheme: Constructing Sorting Networks with Constant Period
K. Lorys, R. Wanka, B. Oesterdiekhoff, M. Kutylowski, Journal of the ACM 45 (2000) 944–967.
LibreCat
K. Lorys, R. Wanka, B. Oesterdiekhoff, M. Kutylowski, Journal of the ACM 45 (2000) 944–967.
2000 | Journal Article | LibreCat-ID: 18617
Decay properties of the one-particle Green function in real space and imaginary time
A. Schindlmayr, Physical Review B 62 (2000) 12573–12576.
LibreCat
| Files available
| DOI
| WoS
A. Schindlmayr, Physical Review B 62 (2000) 12573–12576.
2000 | Book Chapter | LibreCat-ID: 19196
Architektur und Ausstattung von Schloß Augustusburg als politisches Vermächtnis eines “Guten Regiments” und “Guter Ordnung”
E.-M. Seng, in: G. Lupfer, K. Rudert, P. Sigel (Eds.), Bau + Kunst, Festschrift zum 65. Geburtstag von Jürgen Paul, Dresden, 2000, pp. 296–309.
LibreCat
E.-M. Seng, in: G. Lupfer, K. Rudert, P. Sigel (Eds.), Bau + Kunst, Festschrift zum 65. Geburtstag von Jürgen Paul, Dresden, 2000, pp. 296–309.