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.

13800 Publications


1996 | Book (Editor) | LibreCat-ID: 16702
Meyer auf der Heide F, Monien B, eds. Automata, Languages and Programming, 23rd International Colloquium, ICALP96. Berlin, Heidelberg; 1996. doi:10.1007/3-540-61440-0
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 8275
Heckel R, Conrad M, Egger G, Hiemer J. Automatic Integration of Safety Invariants into Z Specifications. In: Proceedings of the Workshop on Tools for System Development and Verifcation. Vol 1. Bremen, Germany: Shaker Verlag; 1996:70-83.
LibreCat | Download (ext.)
 

1996 | Book Review | LibreCat-ID: 17932
Peckhaus V. Bealer, George, “Toward a New Theory of Content”, in: Casati/Smith/White (Hgg.) 1994 [9.39], 179–191. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84203022]. 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 7835
Heckel R. Behavioral Constraints for Loose Graph Transformation Systems. In: Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science. Dagstuhl-Seminar-Report. Technical University of Berlin; 1996:12-13.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 16895
Gutkauf B, Domik-Kienegger G. Benutzermodellierung als Basis für adaptive multimediale Präsentations- und Interaktionssysteme. In: Proceedigns 4. GI Workshop Adaptivität  Und Benutzermodellierung in Interaktiven Softwaresystemen. ; 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17915
Peckhaus V. Bolzano, Bernard, Miscellanea mathematica 10, hg. v. Bob van Rootselar/Anna van der Lugt, Frommann-Holzboog: Stuttgart-Bad Cannstatt 1995 (Bernard Bolzano-Gesamtausgabe; II.B.6.2). Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 83301035]. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17943
Peckhaus V. Breger, Herbert, “Tacit Knowledge in Mathematical Theory”, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 79–90. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84700008]. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17956
Peckhaus V. Casati, Roberto/Smith, Barry/White, Graham (Hgg.), Philosophy of the Cognitive Sciences. Proceedings of the 16th International Wittgenstein-Symposium, 15–22 August 1993, Kirchberg am Wechsel, Austria, Hölder-Pichler-Tempsky: Wien 1994 (= Schriftenreihe der Wittgenstein-Gesellschaft; 21). Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84900032]. 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 3262
Goltz U, Wehrheim H. Causal Testing. In: Penczek W, Szalas A, eds. Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings. Lecture Notes in Computer Science. ; 1996:394--406. doi:10.1007/3-540-61550-4_165
LibreCat | DOI
 

1996 | Book Review | LibreCat-ID: 17954
Peckhaus V. Code, Murray, “Understanding, Intuition, and the Philosophy of Mathematics”, in: Czermak (Hg.) 1993 [9.4], 335–342. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84900018]. 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 2184
Meyer auf der Heide F, Scheideler C. Communication in Parallel Systems. In: SOFSEM. Vol 1175. Lecture Notes in Computer Science. Springer; 1996:16--33.
LibreCat | Files available
 

1996 | Conference Paper | LibreCat-ID: 8273
Engels G, Zamperoni A. Comprehensive Support for Change: Generic, Multi-dimensional (Software) Engineering Frameworks (position paper). In: Proceedings of the Workshop on Requirements Engineering in a Changing World (Satellite Event of the Conference on Advanced Information Systems Engineering (CAISE 1996)), Crete (Greece). ; 1996:42-44.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 16816
Domik-Kienegger G. Computer Visualization - Concepts, Trends and Current Research. In: G. Jeffery K, Kr{\’{a}}l J, Bartosek M, eds. {SOFSEM} ’96: Theory and Practice of Informatics, 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996, Proceedings. Vol 1175. Lecture Notes in Computer Science. Springer; 1996:178-196. doi:10.1007/BFb0037404
LibreCat | DOI
 

1996 | Report | LibreCat-ID: 17418
Czumaj A, Meyer auf der Heide F, Stemann V. Contention Resolution in Hashing Based Shared Memory Simulations.; 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 10197
Steffen E. Counterexamples to a conjecture about bottlenecks in non-Tait-colourable cubic graphs. Discrete Mathematics. 1996;161:315.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17918
Peckhaus V. Czermak, Johannes (Hg.), Philosophy of Mathematics. Proceedings of the 15th International Wittgenstein-Symposium, 16–23 August 1992, Kirchberg am Wechsel, Austria, Part 1, Hölder-Pichler-Tempsky: Wien 1993 (= Schriftenreihe der Wittgenstein-Gesellschaft; 20/I). Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 83600022]. 1996.
LibreCat
 

1996 | Conference Abstract | LibreCat-ID: 17843
Peckhaus V. Das Problem des ersten Schrittes in der modernen Axiomatik [Abstract]. In: Binder C, ed. IV. Österreichisches Symposion zur Geschichte der Mathematik. Neuhofen an der Ybbs, 5. bis 11. November 1995. 999 Jahre Österreich — ein Teil der globalen Entwicklung der Mathematik. Kurzfassungen der Vorträge, Nachtragsband. Wien; 1996:142-145.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17940
Peckhaus V. Dathe, Uwe, „Gottlob Frege und Rudolf Eucken — Gesprächspartner in der Herausbildungsphase der modernen Logik“, History and Philosophy of Logic 16 (1995), 245–255. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84601006]. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17950
Peckhaus V. De Caro, Mario, “Galileo’s Mathematical Platonism”, in: Czermak (Hg.) 1993 [9.4], 13–22. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84900015]. 1996.
LibreCat
 

1996 | Report | LibreCat-ID: 8198
Busatto G, Engels G. Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1. Vakgroep Informatica, Rijksuniversiteit Leiden; 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17924
Peckhaus V. Degen, J.W., “Two Formal Vindications of Logicism”, in: Czermak (Hg.) 1993 [9.4], 243–250. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 83803004]. 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 1663
Krimphove D. Der “Diplom Wirtschaftsjurist (FH)” oder die Reform der Juristenausbildung von Unten? Zeitschrift für Rechtspolitik (ZRP). 1996;(Heft 7):249 ff.
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 19311
Seng E-M. Der evangelische Kirchenbau im 19. Jahrhundert, die Eisenacher Bewegung und der Architekt Christian Friedrich von Leins. In: Blätter für württembergische Kirchengeschichte, 96. Jg. . Vol 96. Jg. 1996. Blätter für württembergische Kirchengeschichte. ; 1996:119-126.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 2183
Meyer auf der Heide F, Scheideler C. Deterministic Routing with Bounded Buffers: Turning Offline into Online Protocols. In: FOCS. ; 1996:370--379.
LibreCat | Files available
 

1996 | Book Review | LibreCat-ID: 17952
Peckhaus V. Detlefsen, Michael, “The Kantian Character of Hilbert’s Formalism”, in: Czermak (Hg.) 1993 [9.4], 195–205. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84900016]. 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 13791
Scholze A, Schmidt WG, Bechstedt F. Diamond (111) and (100) surface reconstructions. Thin Solid Films. 1996;281-282:256-259. doi:10.1016/0040-6090(96)08646-4
LibreCat | DOI
 

1996 | Journal Article | LibreCat-ID: 13795
Scholze A, Schmidt WG, Käckell P, Bechstedt F. Diamond (111) and (100) surface: ab initio study of the atomic and electronic structure. Materials Science and Engineering: B. 1996;37(1-3):158-161. doi:10.1016/0921-5107(95)01477-2
LibreCat | DOI
 

1996 | Book Chapter | LibreCat-ID: 19312
Seng E-M. Die Dresdner Frauenkirche in der evangelischen Kirchenbaudiskussion des19. Jahrhunderts. In: Die Dresdner Frauenkirche. Jahrbuch zu ihrer Geschichte und zu ihrem archäologischen Wiederaufbau. Bd. 2. Vol Bd. 2. Weimar; 1996:147-164.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 2578
Betz S. Die Gestaltung der Leistungstiefe als strategisches Problem. Die Betriebswirtschaft. 1996;56:339-412.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 19412
Eke NO. Die Revolution, der Schrecken und das Neue. Konzepte von Legitimität und historischer Gewalt in deutschen Revolutionsdramen um 1800. In: Schöwerling R, Steinecke H, Tiggesbäumker G, eds. Literatur und Erfahrungswandel 1789-1830. Beiträge des 2. Internationalen Corvey-Symposions 8.-12. Juni 1993 in Paderborn. München: Fink; 1996:121-156.
LibreCat
 

1996 | Conference Abstract | LibreCat-ID: 17844
Peckhaus V. Die Wurzeln der deutschen Algebra der Logik. In: Deutsche Mathematiker-Vereinigung. Jahrestagung 1996. 15.–21. September 1996 in Jena. o.O.u.J. (Jena); 1996:196.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 13793
Schmidt WG, Scholze A, Bechstedt F. Dimerized, buckled, or ideal chains on the diamond (111)2 × 1 surface? Surface Science. 1996;351:183-188. doi:10.1016/0039-6028(95)01270-2
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 8897
Popp K, Sextro W. Dynamical Behaviour of a Bladed Disk with Friction Dampers. In: The 2nd European Nonlinear Oscillation Conference - Proceedings of EUROMECH. Vol 1. Prag; 1996:157-183.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17947
Peckhaus V. Echeverria, Javier, “Observations, Problems and Conjectures in Number Theory — The History of the Prime Number Theorem”, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 230–252. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84800008]. 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 16700
Karp RM, Luby M, Meyer auf der Heide F. Efficient PRAM simulation on a distributed memory machine. Algorithmica. 1996:517-542. doi:10.1007/bf01940878
LibreCat | DOI
 

1996 | Book Chapter | LibreCat-ID: 8373
Euler D, Kremer H-H. Einführung für den Dozenten. In: Braukmann U, Diettrich A, Euler D, Kremer H-H, Sloane PFE, eds. Meisterprüfung - Lernen für die Praxis. Unternehmensführung im  Handwerk 1. Dozentenhandbuch für Teil lll der Meisterprüfung. Personalwirtschaft. . Düsseldorf; 1996:9-32.
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 8418
Euler D, Kremer H-H. Einführung für den Dozenten. In: Kremer H-H, Stickling E, eds. Meisterprüfung - Lernen für die Praxis. Unternehmensführung im Handwerk 1. Dozentenhandbuch für Teil lll der Meisterprüfung - Existenzgründung, Marketing. Düsseldorf; 1996:1-30.
LibreCat
 

1996 | Book | LibreCat-ID: 1605
Krimphove D. Europäisches Arbeitsrecht. München: Franz Vahlen; 1996.
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 8403
Kremer H-H. Existenzgründung. In: Kremer H-H, Stickling E, eds. Meisterprüfung - Lernen für die Praxis. Unternehmensführung im Handwerk 1. Dozentenhandbuch für Teil lll der Meisterprüfung - Existenzgründung, Marketing . ; 1996:1-30.
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 8419
Kremer H-H. Existenzgründung. In: Braukmann U, Diettrich A, Kremer H-H, Sloane PFE, Stickling E, eds. Meisterprüfung - Lernen für die Praxis - Unternehmensführung 1. 2nd ed. Düsseldorf; 1996:19-94.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 2182
Meyer auf der Heide F, Scheideler C, Stemann V. Exploiting Storage Redundancy to Speed up Randomized Shared Memory Simulations. Theor Comput Sci. 1996;(2):245--281. doi:10.1016/0304-3975(96)00032-1
LibreCat | DOI
 

1996 | Book Chapter | LibreCat-ID: 16703
Berenbrink P, Meyer auf der Heide F, Stemann V. Fault-tolerant shared memory simulations. In: STACS 96. Berlin, Heidelberg; 1996. doi:10.1007/3-540-60922-9_16
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 11767
Gamm S, Haeb-Umbach R, Langmann D. Findings with the Design of a Command-Based Speech Interface for a Voice Mail System. In: IEEE Workshop on Interactive Voice Technology for Telecommunications Applications. ; 1996.
LibreCat | Download (ext.)
 

1996 | Book Chapter | LibreCat-ID: 6229
Weber W, Kabst R. Flexibility in Germany. In: Brewster C, ed. Working Time and Contract Flexibility in the E.U., Cranfield Center for European Human Resource Management. Bedford; 1996:20-57.
LibreCat
 

1996 | Misc | LibreCat-ID: 19047
Peckhaus V. Fotografie: Peter Singer (Erlangen, 22.6.1993), die tageszeitung v. 8.5.1996.; 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17928
Peckhaus V. Franchella, Miriam, “Griss’ Contribution to Intuitionism”, in: Czermak (Hg.) 1993 [9.4], 119–126. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84001026]. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17913
Peckhaus V. Franchella, Miriam, “L.E.J. Brouwer: Toward Intuitionistic Logic”, Historia Mathematica 22 (1995), 304–322. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 83301017]. 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 11853
Langmann D, Haeb-Umbach R. FRESCO: The French Telephone Speech Data Collection - Part of the European SpeechDat(M) Project. In: ICSLP, Philadelphia. ; 1996.
LibreCat | Download (ext.)
 

1996 | Journal Article | LibreCat-ID: 19314
Seng E-M, Saage R. Geometrische Muster zwischen frühneuzeitlicher Utopie und russischer Avantgarde. Zeitschrift für Geschichtswissenschaft, Heft 8,. 1996;(Heft 8):677-602.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 13783
Schmidt WG, Bechstedt F. Geometry and electronic structure of GaAs(001)(2×4) reconstructions. Physical Review B. 1996;54(23):16742-16748. doi:10.1103/physrevb.54.16742
LibreCat | DOI
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: AMA

Export / Embed