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.
13849 Publications
2000 | Conference Paper | LibreCat-ID: 8329
J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Ein Konzept zur anwendungsbezogenen UML-Semantikbeschreibung durch dynamische Metamodellierung,” 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
2000 | Conference Paper | LibreCat-ID: 8331
R. Heckel, M. Llabrés, H. Ehrig, and F. Orejas, “Concurrency of Double-Pullback Graph Transitions,” in Proceedings of workshop on Graph Transformation Systems (GraTra; satellite event of the ETAPS 2000), Berlin (Germany), 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8336
R. Depke, R. Heckel, and J. Küster, “Deploying Agents in an Electronic Banking Environment,” 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
2000 | Conference Paper | LibreCat-ID: 8343
R. Heckel and S. Sauer, “Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML,” in Proceedings of the 7th GI-Workshop GROOM, 2000, vol. 20, no. 2, pp. 43–44.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8920
W. Sextro, “The Calculation of the Forced Response of Shrouded Blades with Friction Contacts and Its Experimental Verification,” in International Gas Turbine \& Aeroengine Congress \& Exhibition, ASME, 2000, pp. 1–8.
LibreCat
2000 | Book Chapter | LibreCat-ID: 17525
V. Peckhaus, “Kantianer oder Neukantianer? Über die Schwierigkeiten, Frege der Philosophie seiner Zeit zuzuordnen,” in Gottlob Frege — Werk und Wirkung. Mit den unveröffentlichten Vorschlägen für ein Wahlgesetz von Gottlob Frege, G. Gabriel and U. Dathe, Eds. Paderborn: mentis, 2000, pp. 191--209.
LibreCat
2000 | Conference Paper | LibreCat-ID: 18150
M. Ziegler and C. Sohler, “Computing Cut Numbers,” in Proceedings of the 12th Canadian Conference on Computational Geometry (CCCG’00), 2000, pp. 73–79.
LibreCat
2000 | Book Review | LibreCat-ID: 18345
V. Peckhaus, “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]. 2000.
LibreCat
2000 | Book Review | LibreCat-ID: 18338
V. Peckhaus, “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,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 927.68015]. 2000.
LibreCat
2000 | Book Review | LibreCat-ID: 18340
V. Peckhaus, “Landini, Gregory, Russell’s Hidden Substitutional Theory, Oxford University Press: Oxford 1998,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 933.03002]. 2000.
LibreCat
2000 | Book Review | LibreCat-ID: 18357
V. Peckhaus, “Mancosu, Paolo, ‘Between Russell and Hilbert: Behmann on the Foundations of Mathematics’, Bulletin of Symbolic Logic 5 (1999), 303–330,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 942.030029]. 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 18446
K. Lorys, R. Wanka, B. Oesterdiekhoff, and M. Kutylowski, “Periodification Scheme: Constructing Sorting Networks with Constant Period,” Journal of the ACM, vol. 45, pp. 944–967, 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 18617
A. Schindlmayr, “Decay properties of the one-particle Green function in real space and imaginary time,” Physical Review B, vol. 62, no. 19, pp. 12573–12576, 2000.
LibreCat
| Files available
| DOI
| WoS
2000 | Book Chapter | LibreCat-ID: 19196
E.-M. Seng, “Architektur und Ausstattung von Schloß Augustusburg als politisches Vermächtnis eines ‘Guten Regiments’ und ‘Guter Ordnung,’” in Bau + Kunst, Festschrift zum 65. Geburtstag von Jürgen Paul, G. Lupfer, K. Rudert, and P. Sigel, Eds. Dresden, 2000, pp. 296–309.
LibreCat
2000 | Book Chapter | LibreCat-ID: 19398
N. O. Eke, “Körper-Schrift. Heiner Müllers Anthropologie des Körpers,” in Heiner Müller: Probleme und Perspektiven. Bath-Symposion 1998, vol. 48, I. Wallace, D. Tate, and G. Labroisse, Eds. 2000, pp. 69–88.
LibreCat
2000 | Book Chapter | LibreCat-ID: 19401
N. O. Eke, “Der Kritiker in der Kritik. Willibald Alexis, das Junge Deutschland und Alexis’ autobiographische Fragmente Erinnerungen aus meinem Leben,” in Willibald Alexis (1798-1871). Ein Autor des Vor- und Nachmärz, W. Beutin and P. Stein, Eds. Bielefeld: Aisthesis, 2000, pp. 55–80.
LibreCat
2000 | Journal Article | LibreCat-ID: 19709
P. Büker, “Das Fremde spüren - dem Anderen begegnen. Elisabeth Reuter: Soham. Eine Geschichte vom Fremdsein,” Praxis Deutsch , vol. 27, H. 162, pp. 31–36, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 2150
A. Czumaj and C. Scheideler, “A new algorithm approach to the general Lovász local lemma with applications to scheduling and satisfiability problems (extended abstract),” in STOC, 2000, pp. 38--47.
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
2000 | Conference Paper | LibreCat-ID: 20996
O. Hahn, M. Eis, and G. Meschut, “Erhöhung der der Bauteilsteifigkeit durch Optimierung von Unterfütterungsklebungen,” in Tagungsband zur Swiss Bondung ´00, Rapperswil (CH), 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 21002
O. Hahn, M. Koyro, and G. Meschut, “Kleben in Kombination mit Fügen durch Umformen,” der praktiker , vol. 9, pp. 356–361, 2000.
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 | Journal Article | LibreCat-ID: 10183
E. Steffen, “A refinement of Vizing’s theorem,” Discrete Mathematics, vol. 218, pp. 289–291, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 11869
M. Lieb and R. Haeb-Umbach, “LDA derived cepstral trajectory filters in adverse environmental conditions,” in IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2000), 2000, vol. 2, pp. II1105-II1108 vol.2.
LibreCat
| DOI
| Download (ext.)
2000 | Conference Paper | LibreCat-ID: 11871
M. Loog and R. Haeb-Umbach, “Multi-class Linear Dimension Reduction by Generalized Fisher Criteria,” in International Conference on Spoken Language Processing (ICSLP 2000), 2000.
LibreCat
| Download (ext.)
2000 | Conference Paper | LibreCat-ID: 15063
E. Hüllermeier, “Change detection in heuristic search,” in Proceedings AAAI 2000, 17th National Conference on Artificial Intelligence, Austin, Texas, 2000, pp. 898–903.
LibreCat
2000 | Conference Paper | LibreCat-ID: 14844
E. Hüllermeier, “Similarity-based inference as evidential reasoning,” in In Proceedings ECAI-2000, 14th European Conference on Artificial Inteligence, Berlin, Germany, 2000, pp. 50–54.
LibreCat
2000 | Book (Editor) | LibreCat-ID: 1634
A. Clermont, W. Schmeisser, and D. Krimphove, Eds., Personalführung und Organisation. München: Verlag Vahlen, 2000.
LibreCat
2000 | Book | LibreCat-ID: 1608
D. Krimphove, S. U. Pieper, and A. Schollmeier, Europarecht - Das Casebook, 2nd ed. Köln: Carl Heymanns Verlag KG, 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 16198
E. Hüllermeier, M. Kraft, and P. Weise, “Evaluation and specification of a synergetic business cycle model with German data,” Homo Oeconomicus XVI, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 1920
H. Karl, A. Polze, and M. Werner, “Predictable Network Computing using Message-driven Scheduling,” in Proc. the Workshop on Run-Time Systems for Parallel Programming, 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 2586
S. Betz, “Qualitätskostencontrolling auf Basis des Half-Life-Konzepts,” Betrieb und Wirtschaft, vol. 54, pp. 749–755, 2000.
LibreCat
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 Abstract | LibreCat-ID: 6014
D. Calaminus, E. Klöpfer, D. Kundisch, and P. Wolfersberger, “Ein Contentmodell für den Multichannel Vertrieb von Finanzdienstleistungen,” in 3. FANTagung 2000, Siegen, Germany, 2000.
LibreCat
2000 | Book Chapter | LibreCat-ID: 6223
A. Friedrich, R. Kabst, M. Rodehuth, and W. Weber, “Job Rotation: An Empirical Analysis on the Utilization and Strategic Integration in European Companies,” in New Challenges for European Human Resource Management, C. Brewster, W. Mayrhofer, and M. Morley, Eds. Houndmills/Basingstoke: Macmillan Press, 2000, pp. 56–71.
LibreCat
2000 | Conference Paper | LibreCat-ID: 6691
J. Bendfeld et al., “MODEL FOR EVALUATING MPP METHODS FOR GRID-CONNECTED PV PLANTS,” in Proceedings of the 16th European Photovoltaic Solar Energy Congress and Exhibition, 1-5 May 2000, Glasgow United Kingdom, 2000.
LibreCat
2000 | Book Chapter | LibreCat-ID: 7543
H.-H. Kremer and K. Wilbers, “Telekooperatives Lehren und Lernen - Erfahrungen aus dem virtuellen Seminar ‘WiPäd München - Köln,’” in Perspektiven der Berufs- und Wirtschaftspädagogik. Forschungsberichte der Sektion Berufs- und Wirtschaftspädagogik der Deutschen Gesellschaft für Erziehungswissenschaft - Frühjahrstagung 2000, G. A. Straka, R. Bader, and P. F. E. Sloane, Eds. Opladen, 2000, pp. 159–170.
LibreCat
2000 | Book Chapter | LibreCat-ID: 7550
H.-H. Kremer and P. F. E. Sloane, “Präzisierung: Fächer- und lernortübergreifende Ausbildungskonzepte,” in Fächer- und lernortübergreifender Unterricht (FäLoU). Beiträge im Kontext des DFG-Schwerpunktprogramms “Lehr-Lern-Prozesse in der kaufmännischen Erstausbildung,” P. F. E. Sloane, Ed. Markt Schwaben, 2000, pp. 15–32.
LibreCat
2000 | Book Chapter | LibreCat-ID: 7555
H.-H. Kremer and P. F. E. Sloane, “Präzisierung: Entwicklungswege und -beispiel,” in Fächer- und lernortübergreifender Unterricht (FäLoU). Beiträge im Kontext des DFG-Schwerpunktprogramms “Lehr-Lern-Prozesse in der kaufmännischen Erstausbildung,” P. F. E. Sloane, Ed. Markt Schwaben, 2000, pp. 33–44.
LibreCat
2000 | Book Chapter | LibreCat-ID: 7562
H.-H. Kremer and P. F. E. Sloane, “DFG-Projekt ‘FäLoU’: Evaluationskonzept,” in Fächer- und lernortübergreifender Unterricht (FäLoU). Beiträge im Kontext des DFG-Schwerpunktprogramms “Lehr-Lern-Prozesse in der kaufmännischen Erstausbildung,” P. F. E. Sloane, Ed. Markt Schwaben, 2000, pp. 81–83.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7872
G. Engels and R. Heckel, “Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution,” in Proceedings of the 27th International Colloquium on Automata, Languages and Programming (ICALP 2000), Geneva (Switzerland), 2000, vol. 1853, pp. 127–150.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 7877
K. Mehner and A. Wagner, “Visualizing the Synchronization of Java-Threads with UML,” in Proceedings of the IEEE International Symposium on Visual Languages (VL 2000), Seattle (Washington), 2000, pp. 199–206.
LibreCat
2000 | Book Chapter | LibreCat-ID: 7670
F. Bliemel and A. Eggert, “Stärkt Customer Care die Kundenbeziehung? Eine kausalanalytische Untersuchung aus Kundensicht,” in Jahrbuch für Dienstleistungsmanagement 2000 - Kundenbeziehungen im Dienstleistungsbereich, M. Bruhn and B. Stauss, Eds. Wiesbaden: Gabler, 2000, pp. 197–211.
LibreCat
2000 | Journal Article | LibreCat-ID: 7396
G. Engels and R. Heckel, “Graph Transformation and Visual Modeling Techniques,” Bulletin of the EATCS, no. 71, pp. 186–202, 2000.
LibreCat
2000 | Conference (Editor) | LibreCat-ID: 7790
H. Ehrig, G. Engels, H.-J. Kreowksi, and G. Taentzer, Eds., Special Issue: Selected Papers of GRATRA 2000, vol. 44, no. 2. Amsterdam, The Netherlands: Elsevier, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8919
L. Panning, W. Sextro, and K. Popp, “Optimization of Interblade Friction Damper,” in International Gas Turbine \& Aeroengine Congress \& Exhibition, ASME, 2000, pp. 1–8.
LibreCat
2000 | Book Chapter | LibreCat-ID: 8457
H.-H. Kremer, “Didaktische Theorie implementieren - Innovationen gestalten,” in Sozialökonomische Theorie - sozialökonomisches Handeln. Konturen und Perspektiven der Wirtschafts- und Sozialpädagogik, D. Euler, H.-C. Jongebloed, and P. F. E. Sloane, Eds. Kiel, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8332
G. Busatto, G. Engels, K. Mehner, and A. Wagner, “A Framework for Adding Packages to Graph Transformation Approaches,” in Selected Papers of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT ’98), Paderborn (Germany), 2000, vol. 1764, pp. 352–367.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8337
R. Depke, R. Heckel, and J. Küster, “Rollenbasierte Modellierung autonomer Agenten,” 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
2000 | Conference Paper | LibreCat-ID: 8344
R. Heckel and S. Sauer, “Strengthening the Semantics of UML Collaboration Diagrams,” in Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), 2000, no. 0006, pp. 63–69.
LibreCat
2000 | Journal Article | LibreCat-ID: 16345
F. Meyer auf der Heide and R. Wanka, “Von der Hollerith-Maschine zum Parallelrechner - Die alltägliche Aufgabe des Sortierens als Fortschrittsmotor für die Informatik,” ForschungsForum Paderborn, pp. 112–116, 2000.
LibreCat
| Files available
2000 | Book Chapter | LibreCat-ID: 17526
V. Peckhaus, “The Contextualism of Philosophy,” in The Sociology of Philosophical Knowledge, vol. 48, M. Kusch, Ed. Dordrecht/Boston/London: Kluwer Academic Publishers, 2000, pp. 179–191.
LibreCat
2000 | Book Review | LibreCat-ID: 18341
V. Peckhaus, “Müller, Ralf, Die dynamische Logik des Erkennens von Charles S. Peirce, Königshausen & Neumann: Würzburg 1999,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 934.01004]. 2000.
LibreCat
2000 | Book Review | LibreCat-ID: 18358
V. Peckhaus, “Zach, Richard, ‘Completeness before Post: Bernays, Hilbert, and the Development of Propositional Logic’, Bulletin of Symbolic Logic 5 (1999), 331–366,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 942.03002]. 2000.
LibreCat
2000 | Book Review | LibreCat-ID: 18360
V. Peckhaus, “Glashoff, Klaus, „Das Rad der Gründe — Der Hetucakradamara von Dignaga“, Mitt. Math. Ges. Hamb. 18 (1999), 75–104,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 946.01004]. 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 16496
F. Meyer auf der Heide, B. Vöcking, and M. Westermann, “Caching in networks,” in SODA ’00: Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms, 2000, pp. 430–439.
LibreCat
2000 | Book (Editor) | LibreCat-ID: 19084
A. Allkemper and N. O. Eke, Eds., Deutsche Dramatiker des 20. Jahrhunderts. Berlin: Erich Schmidt, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 19402
N. O. Eke, “Vormärz/Nachmärz. – Bruch oder Kontinuität? Nachfragen an die Begriffsgeschichte,” in Vormärz – Nachmärz. Bruch oder Kontinuität? Vorträge des Symposions des Forum Vormärz Forschung e.V. vom 19.-21. November 1998 an der Universität Paderborn, 2000, pp. 11–30.
LibreCat
2000 | Book Chapter | LibreCat-ID: 19399
N. O. Eke, “Thomas Brasch,” in Deutsche Dramatiker des 20. Jahrhunderts, A. Allkemper and N. O. Eke, Eds. Berlin: Erich Schmidt, 2000, pp. 746–763.
LibreCat
2000 | Book Review | LibreCat-ID: 19546
N. O. Eke, “Horst Domdey: Produktivkraft Tod. Das Drama Heiner Müllers. Köln u.a.: Böhlau, 1998,” Germanistik, vol. 41, no. H. 1. pp. 294–295, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 2149
A. Brinkmann, K. Salzwedel, and C. Scheideler, “Efficient, distributed data placement strategies for storage area networks (extended abstract),” in SPAA, 2000, pp. 119--128.
LibreCat
| Files available
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 | Journal Article | LibreCat-ID: 20997
O. Hahn et al., “Prüfung und Berechnung geklebter Blech-Profil-Verbindungen aus Aluminium,” Schweißen und Schneiden, vol. 50, no. 5, pp. 266–271, 2000.
LibreCat
1999 | Journal Article | LibreCat-ID: 10189
E. Steffen, “Non-bicritical critical snarks,” Graphs Comb., vol. 15, pp. 473–480, 1999.
LibreCat
1999 | Journal Article | LibreCat-ID: 10191
S. Grünewald and E. Steffen, “Chromatic-index-critical graphs of even order,” J. Graph Theory, vol. 30, pp. 27–36, 1999.
LibreCat
1999 | Journal Article | LibreCat-ID: 16199
E. Hüllermeier, “Numerical methods for fuzzy initial value problems,” International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, vol. 7, no. 5, pp. 439–461, 1999.
LibreCat
1999 | Journal Article | LibreCat-ID: 15711
C. Schulte, H. Selke, and C. Huth, “Kooperative Arbeitsplattformen - CSCW-Systeme in Lehr- und Lernkontexten,” LOG IN, vol. 19, no. 3/4, p. 40, 1999.
LibreCat
1999 | Book Chapter | LibreCat-ID: 2056
D. Krimphove and S. Seitz, : “Personalcontrolling und Recht - Fallbeispiele und deren juristische Lösung -,” in Personalinformationssysteme & Personalcontrolling, W. Schmeisser, A. Clermont, and A. Protz, Eds. Neuwied: Hermann Luchterhand Verlag, 1999, p. 363 ff.
LibreCat
1999 | Journal Article | LibreCat-ID: 1666
D. Krimphove, “Das neue europäische Schadenersatzrecht,” Österreichische Juristenzeitschrift (ÖJZ), no. Heft 9, p. 321 ff., 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 2436
M. Brune, A. Reinefeld, and J. Varnholt, “A Resource Description Environment for Distributed Computing Systems,” in Proc. Int. Symp. High-Performance Distributed Computing (HPDC), 1999.
LibreCat
1999 | Misc | LibreCat-ID: 6135
U. Hanel, R. Kabst, W. Mayrhofer, and W. Weber, Personalmanagement in Europa - Ein Vergleich auf der Basis empirischer Daten, vol. 51(1). 1999, pp. 32–36.
LibreCat
1999 | Conference Paper | LibreCat-ID: 6673
J. Bendfeld, G. Bettenwort, E. Ortjohann, and J. Voss, “Layout for a wind-power-driven, reverse osmosis installation for desalting brackish water in operation on an island,” in Proceedings of the 1999 European Wind Energy Conference, 1-5 March 1999 Nice, France, pp975-978, 1999.
LibreCat
1999 | Book Chapter | LibreCat-ID: 7518
R. Heckel, G. Engels, H. Ehrig, and G. Taentzer, “A View-based Approach to System Modeling Based on Open Graph Transformation Systems,” in Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools, Singapore: World Scientific, 1999, pp. 639–668.
LibreCat
1999 | Journal Article | LibreCat-ID: 7400
A. Cherchago and V. Finaev, “Formalization of the development process for a software-hardware reflexodiagnostic tool,” Scientific bulletin of Academy of Information Technologies in Education, Science and Balneology, vol. 3, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7859
R. Heckel, “Modeling Agent-Based Systems with Graph Transformation and UML,” in Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems, 1999, no. 258.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8117
M. J. Salhi, S. Krauter, R. Lemoine, C. Triebel, S. Schroer, and R. G. Araújo, “Combined Photovoltaic and Solar Thermal Systems for Facade Integration and Building Insulation,” in Proceedings of the ISES Solar World Congress, Jerusalem (Israel), .4.–9. Juli 1999, II-88., 1999.
LibreCat
1999 | Report | LibreCat-ID: 8206
G. Engels, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, P. Koopman, and P. Jan t’Hoen, A Formalisation of SOCCA using Z, part 1: The Type Level Concepts. Leiden Institute of Advanced Computer Science, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8321
S. Sauer and G. Engels, “UML-basierte Modellierung von Multimediaanwendungen,” in Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI), März 1999 in Karlsruhe, 1999, pp. 155–170.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8326
G. Engels and S. Sauer, “MVC-Based Modeling Support for Embedded Real-Time Systems,” in Proceedings of OMER Workshop, Herrsching, Germany, 1999, no. 01, pp. 11–14.
LibreCat
1999 | Journal Article | LibreCat-ID: 8460
H.-H. Kremer and P. F. E. Sloane, “Lernfelder - Motor didaktischer Innovationen,” Kölner Zeitschrift für Wirtschaft und Pädagogik, no. 26, pp. 37–60, 1999.
LibreCat
1999 | Journal Article | LibreCat-ID: 8465
H.-H. Kremer and P. F. E. Sloane, “Der implizite Lerner in multimedialen Lernarrangements,” Kölner Zeitschrift für Wirtschaft und Pädagogik, no. 25, pp. 117–144, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8910
W. Sextro, “Experimental verification of a non-Hertzian contact model,” in International conference on computational methods in contact mechanics, 1999, pp. 181–190.
LibreCat