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.

13543 Publications


1998 | Book Review | LibreCat-ID: 18304
Peckhaus, V. (1998). Macintyre, Angus/Wilkie, A.J., “On the Decidability of the Real Exponential Field”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 441–467. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 896.03012].
LibreCat
 

1998 | Book Review | LibreCat-ID: 18239
Peckhaus, V. (1998). Maddy, Penelope, “Wittgenstein’s Anti-Philosophy of Mathematics”, in: Puhl (Hg.) 1993 [9.5], 52–72. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 878.03006].
LibreCat
 

1998 | Book Review | LibreCat-ID: 18303
Peckhaus, V. (1998). McCarty, David, “Completeness for Intuitionistic Logic”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 301–334. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 896.03007].
LibreCat
 

1998 | Book Review | LibreCat-ID: 18234
Peckhaus, V. (1998). McGinn, Marie, Wittgenstein and the Philosophical Investigations, Routledge: London 1997. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 878.03002].
LibreCat
 

1998 | Book Review | LibreCat-ID: 18309
Peckhaus, V. (1998). Mints, Gregory, “Normal Forms for Sequent Derivations”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 469–492. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 897.03053].
LibreCat
 

1998 | Book Chapter | LibreCat-ID: 13060
Hellebrand, S., Wunderlich, H.-J., & Hertwig, A. (1998). Mixed-Mode BIST Using Embedded Processors. In Mixed-Mode BIST Using Embedded Processors. In: M. Nicolaidis, Y. Zorian, D. K. Pradhan (Eds.): On-Line Testing for VLSI, Boston: Kluwer Academic Publishers 1998: {Kluwer Academic Publishers}.
LibreCat
 

1998 | Journal Article | LibreCat-ID: 13061
Hellebrand, S., Wunderlich, H.-J., & Hertwig, A. (1998). Mixed-Mode BIST Using Embedded Processors. {Journal of Electronic Testing Theory and Applications - JETTA}, 12(1/2), 127–138.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8286
Gadducci, F., Heckel, R., & Koch, M. (1998). Model Checking Graph-Interpreted Temporal Formulas. In Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany). Paderborn.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8905
Hemsel, T., Krome, J., Littmann, W., & Wallaschek, J. (1998). Modellierung piezoelektrischer Stapel- und Vielschichtaktoren für dynamischen Betrieb. In Proceedings 2. Polnisch-Deutscher Workshop “Werkzeuge der Mechatronik.” Ilmenau, Deutschland.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18295
Peckhaus, V. (1998). Morley, Michael, “Two Insights”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 79–80. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 894.01014].
LibreCat
 

1998 | Report | LibreCat-ID: 18145
Ziegler, M., Fischer, M., & Lukovszki, T. (1998). Multimediale Entdeckungsreisen unserer Welt mit dem Internet.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18233
Peckhaus, V. (1998). Murawski, Roman, “On the Philosophical Meaning of Reverse Mathematics”, in: Czermak (Hg.) 1993 [9.4], 173–184. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 878.00006].
LibreCat
 

1998 | Book Chapter | LibreCat-ID: 19206
Seng, E.-M., & Saage, R. (1998). Naturalisierte Utopien zwischen literarischer Fiktion und frühneuzeitlicher Gartenkunst. In M. T. Greven, H. Münkler, & R. Schmalz-Bruns (Eds.), Bürgersinn und Kritik, Festschrift für Udo Bermbach zum 60. Geburtstag (pp. 207–238). Baden Baden.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18297
Peckhaus, V. (1998). Nerode, Anil, “An Appreciation of Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 81–88. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 895.01006].
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 13063
N. Yarmolik, V., V. Klimets, Y., Hellebrand, S., & Wunderlich, H.-J. (1998). New Transparent RAM BIST Based on Self-Adjusting Output Data Compression. In {Design \& Diagnostics of Electronic Circuits \& Systems} (pp. 27–33). Szczyrk, Poland.
LibreCat
 

1998 | Book Chapter | LibreCat-ID: 4604
Abberger, K., Feng, Y., & Heiler, S. (1998). Nonparametric Smoothing and Quantile Estimation in Time Series. In G. Bol, Gholamreza Nakhaeizadeh , & K.-H. Vollmer (Eds.), Risk Measurement, Econometrics and Neural Networks. Contributions to Economics. (pp. 1–16). Heidelberg: Physica-Verlag HD.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 15303
Hüllermeier, E. (1998). Numerical solutions for fuzzy initial value problems. In P. Borne, M. Ksouri, & A. El Kamel (Eds.), in Proceedings CESA-98, IMACS Multiconference on Computaional Engineering in Systems Applications, Symposium on Applied Mathematics and Optimization, Nabeul-Hammamet, Tunesia.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18223
Peckhaus, V. (1998). Odifreddi, Piergiorgio (ed.), Kreiseliana: about and around Georg Kreisel, A.K. Peters: Wellesley, MA 1996. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 873.00010/894.03002].
LibreCat
 

1998 | Book Review | LibreCat-ID: 18307
Peckhaus, V. (1998). Odifreddi, Piergiorgio, “Kreisel’s Church”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 389–415. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 897.03005].
LibreCat
 

1998 | Dissertation | LibreCat-ID: 18445
Oesterdiekhoff, B. (1998). On Periodic Comparator Networks. Universität Paderborn.
LibreCat
 

1998 | Dissertation | LibreCat-ID: 7587
Heckel, R. (1998). Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18300
Peckhaus, V. (1998). Parikh, Rohit, “Some Reminiscences of Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 89–96. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 895.01010].
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 3257
Huhn, M., Niebert, P., & Wehrheim, H. (1998). Partial Order Reductions for Bisimulation Checking. In V. Arvind & R. Ramanujam (Eds.), Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings (pp. 271--282). https://doi.org/10.1007/978-3-540-49382-2_26
LibreCat | DOI
 

1998 | Book Chapter | LibreCat-ID: 15615
Hagengruber, R. (1998). Philosophinnen. In E. De Sotelo (Ed.), Feministische Hochschuldidaktik. Materialien der Koblenzer Frauenstudien (pp. 185–246). Münster: Lit-Verlag.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 6538
Bendfeld, J., Bröker, C., Carvalho, P. M. C. de, Menne, K., Ortjohann, E., Temme, L., & Voß, J. (1998). Photovoltaik- und windkraftbetriebene Umkehrosmoseanlage im Inselbetrieb. In DGS/ISES, 11. Intern. Sonnenforum 1998. Köln.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18299
Peckhaus, V. (1998). Platek, Richard A., “Kreisel, Generalized Recursion Theory, Stanford and Me”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 97–102. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 895.01008].
LibreCat
 

1998 | Journal Article | LibreCat-ID: 3621
Harteis, C., & Prenzel, M. (1998). Qualifications needed by educational staff working in the field of further education in the industrial sector-Results of a Delphi-study carried out in an industrial enterprise. ZEITSCHRIFT FUR PADAGOGIK, 44(4), 583--601.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 16563
Cole, R., Maggs, B. M., Meyer auf der Heide, F., Mitzenmacher, M., Richa, A. W., Schröder, K., … Vöcking, B. (1998). Randomized protocols for low-congestion circuit routing in multistage interconnection networks. In Proceedings of the thirtieth annual ACM symposium on Theory of computing  - STOC ’98. https://doi.org/10.1145/276698.276790
LibreCat | DOI
 

1998 | Journal Article | LibreCat-ID: 10607
Platzner, M. (1998). Reconfigurable Computer Architectures. E&i Elektrotechnik Und Informationstechnik, 115, 143–148.
LibreCat
 

1998 | Journal Article | LibreCat-ID: 13771
Shkrebtii, A. I., Esser, N., Richter, W., Schmidt, W. G., Bechstedt, F., Fimland, B. O., … Del Sole, R. (1998). Reflectance Anisotropy of GaAs(100): Theory and Experiment. Physical Review Letters, 81(3), 721–724. https://doi.org/10.1103/physrevlett.81.721
LibreCat | DOI
 

1998 | Journal Article | LibreCat-ID: 7694
Tscheuschner, R. D., Hoch, S., Leschinsky, E., Meier, C., Theis, S., & Wieck, A. D. (1998). Robustness of the Quantum Hall Effect, Sample Size Versus Sample Topology, and Quality Control Management of III–V Molecular Beam Epitaxy. International Journal of Modern Physics B, 12(11), 1147–1170. https://doi.org/10.1142/s0217979298000636
LibreCat | DOI
 

1998 | Book Review | LibreCat-ID: 18271
Peckhaus, V. (1998). Rodych, Victor, “Wittgenstein on Mathematical Meaningfulness, Decidability, and Application”, Notre Dame Journal of Formal Logic 38 (1997), Nr. 2, 195–224. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 891.00007].
LibreCat
 

1998 | Journal Article | LibreCat-ID: 16503
Meyer auf der Heide, F., Schröder, K., & Schwarze, F. (1998). Routing on networks of optical crossbars. Theoretical Computer Science, 196, 181–200. https://doi.org/10.1016/s0304-3975(97)86791-6
LibreCat | DOI
 

1998 | Conference Paper | LibreCat-ID: 2009
Brune, M., Gehring, J., Keller, A., & Reinefeld, A. (1998). RSD - Resource and Service Description. In Proc. Int. Conf. on High-Performance Computing Systems (HPCS). Edmonton, Canada. https://doi.org/10.1007/978-1-4615-5611-4_18
LibreCat | DOI
 

1998 | Book Review | LibreCat-ID: 18222
Peckhaus, V. (1998). Russell, Bertrand, Introduction to Mathematical Philosophy. With a New Introduction by John G. Slater, Reprint der Ausgabe von 1919, Routledge: London/New York 1993. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 877.03001; Erstdruck Mit Falscher Bibliographischer Angabe Zbl. 865.03001].
LibreCat
 

1998 | Book Chapter | LibreCat-ID: 3396
Gries, T., Jungblut, S., & Meyer, H. (1998). Russland vor der Schuldenfalle? In Vestnik Sankt Peterskogo Universiteta – Seraja Ekonomiceskaja, St. Petersburg.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18298
Peckhaus, V. (1998). Sacks, Gerald E., “Kreisel, Generalized Recursion Theory and I”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 103–108. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 895.01007].
LibreCat
 

1998 | Book Review | LibreCat-ID: 18232
Peckhaus, V. (1998). Sandu, Gabriel, “IF First-Order Logic, Kripke, and 3-Valued Logic”, in: J. Hintikka, The Principles of Mathematics Revisited, Cambridge 1996, 254–270. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 877.03011].
LibreCat
 

1998 | Book Review | LibreCat-ID: 18269
Peckhaus, V. (1998). Schroeder-Heister, Peter, “Frege and the Resolution Calculus”, History and Philosophy of Logic 18 (1997), 95–108. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 889.03002].
LibreCat
 

1998 | Book Review | LibreCat-ID: 18245
Peckhaus, V. (1998). Schulz, Klaus-Dieter, Die These von Church. Zur erkenntnistheoretischen und sprachphilosophischen Bedeutung der Rekursionstheorie, Peter Lang: Frankfurt a.M. u.a. 1997. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 881.03002].
LibreCat
 

1998 | Journal Article | LibreCat-ID: 8466
Kremer, H.-H., & Schwetz, U. (1998). Selbstgesteuerte Weiterbildung von Ausbildern. Eine betriebspädagogische Studie. Kölner Zeitschrift für Wirtschaft und Pädagogik, (25), 189–193.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 13008
Hellebrand, S., Wunderlich, H.-J., & N. Yarmolik, V. (1998). Self-Adjusting Output Data Compression: An Efficient BIST Technique for RAMs. In {IEEE Design, Automation and Test in Europe (DATE’98)} (pp. 173–179). Paris, France: {IEEE (Comput.Soc)}. https://doi.org/10.1109/date.1998.655853
LibreCat | DOI
 

1998 | Conference (Editor) | LibreCat-ID: 7793
Engels, G., Ehrig, H., Orejas, F., & Wirsing, M. (Eds.). (1998). Semi-Formal and Formal Specification Techniques (Vol. 218). Schloss Dagstuhl, Leibniz Center for Informatics.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8282
Heckel, R., Hoffmann, B., Knirsch, P., & Kuske, S. (1998). Simple Modules for Grace. In Selected papers of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany) (Vol. 1764, pp. 215–224). Berlin/Heidelberg: Springer.
LibreCat
 

1998 | Journal Article | LibreCat-ID: 10193
Brinkmann, G., & Steffen, E. (1998). Snarks and reducibility. Ars Combinatoria, 50, 292–296.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18212
Peckhaus, V. (1998). Spalt, Detlef D., „Exaktheit als Konstante, Begriffe im Wandel des mathematischen Denkens. Zur Analysis im 19. und 20. Jahrhundert“, in: Czermak (Hg.) 1993 [9.4], 45–59. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 876.00012].
LibreCat
 

1998 | Journal Article | LibreCat-ID: 2012
Brune, M., Gehring, J., Keller, A., & Monien, B. (1998). Specifying Resources and Services in Metacomputing Environments. Parallel Computing, 24, 1751–1776. https://doi.org/10.1016/S0167-8191(98)00076-3
LibreCat | DOI
 

1998 | Journal Article | LibreCat-ID: 18620
Schindlmayr, A., Pollehn, T. J., & Godby, R. W. (1998). Spectra and total energies from self-consistent many-body perturbation theory. Physical Review B, 58(19), 12684–12690. https://doi.org/10.1103/PhysRevB.58.12684
LibreCat | Files available | DOI | WoS
 

1998 | Dissertation | LibreCat-ID: 19639
Vöcking, B. (1998). Static and Dynamic Data Management in Networks. Universität Paderborn.
LibreCat | Files available
 

1998 | Conference Paper | LibreCat-ID: 8281
Corradini, A., Große-Rhode, M., & Heckel, R. (1998). Structured Transition Systems as Lax Coalgebras. In Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal) (Vol. 11). Elsevier.
LibreCat
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: APA

Export / Embed