- Alle Titel
- Klassifikation (DDC)
- Besondere Sammlungen
- Veröffentlichungen der Universität
- Erzbischöfliche Akademische Bibliothek Paderborn
- Amtliche Mitteilungen. Verkündungsblatt der Universität Paderborn.
- Socioeconomics of personnel papers
- Wirtschaftspädagogische Beiträge
- Verlagsschriftenreihe des Heinz Nixdorf Instituts
- Sammlung J. A. Schmoll gen. Eisenwerth
- Studien der Paderborner Komparatistik
- Paderborner Schriften zur sonderpädagogischen Förderung
- The Encyclopedia of Concise Concepts by Women Philosophers
- Sammlung Ralf-Günter Stefan
- Sonstiges
- Paderborner Historische Mitteilungen
- Sammlung Höxter
- Bibliothekskatalog der Paderborner Kapuziner von 1761
- Zeitzeugen der Digitalisierung
- Erwin Quedenfeldt: Einzelbilder vom Mittelrhein
- Erwin Quedenfeldt: Einzelbilder von der Mosel
- vom 8.11.2011
Endomorphisms of words in a quiver
In: Journal of combinatorial theory, Series A, Jg. 1993, S. 216-245
Group theoretical aspects of Gödel's cosmological model
In: Jahrbuch der Gödel Gesellschaft, Jg. 1991, S. 3-11Infinitesimally generated subsemigroups of motion groups
In: Rocky Mountain Journal of Mathematics, Jg. 1991, S. 865-878Invariant Lorentzian orders on simply connected Lie groups
In: Arkiv för Matematik, Jg. 1988, S. 107-115Maps between tree and band modules
In: Journal of algebra, Jg. 1991, S. 186-194Maximal semigroups and the support of Gauss-semigroups
In: Probability and Bayesian statistics : [based on the proceedings of the International Symposium on Probability and Bayesian Statistics, held September 23 - 26, Jg. 1987, S. 257-262A note on Howe's oscillator semigroup
In: Annales de l'Institut Fourier, Jg. 1989, S. 663-688A note on infinite string modules
In: Representations of algebras (Conference proceedings / Canadian Mathematical Society : 14), Jg. 1993, S. 309-312On the four terms in the middle theorem for almost split sequences
In: Archiv der Mathematik, Jg. 1994, S. 501-505On the number of almost split sequences with indecomposable middle term
In: The bulletin of the London Mathematical Society, Jg. 1994, S. 422-426Propagation of discontinuities in wave fields
In: Proceedings on "Model Optimization in Exploration Geophysics" (6th International Seminar, Berlin, February 1988), Jg. 1989, S. 31-39Radon transform on halfplanes via group theory
In: Noncompact lie groups and some of their applications (NATO ASI series : Series C, Mathematical and physical sciences : 429), Jg. 1994, S. 141-146Spectrally ordered Lie algebras
In: Proceedings of the XVI International Colloquium, held at Varna, Bulgaria, June 15 - 20, 1987 (Lecture notes in physics : 313), Jg. 1988, S. 11-16
- vom 22.10.2011
Characterizations of time-bounded computations by limited primitive recursion
In: Automata, languages and programming, Jg. 2.1974, S. 280-293A recursive and a grammatical characterization of the exponential-time languages
In: Theoretical Computer Science, Jg. 3.1976 H. 3, S. 61-74Relationships between pushdown automata with counters and complexity classes
In: Mathematical systems theory, Jg. 9.1975 H. No. 3, S. 248-264
- vom 21.10.2011
Strategic human resource management and the employment of the severely disabled
the case of the Federal Republic of GermanyIn: Services Administration & amp : Management (SAM), Universität Trier, Jg. 1989, S. 1-18
- vom 19.10.2011
- vom 18.10.2011
- vom 14.10.2011
Attribute grammars as a specification method
In: Attribute grammars, applications and systems (Lecture notes in computer science : 545), Jg. 1991, S. 16-47ENDOR study of hydrogen atoms in KCl-crystals
In: Journal de Physique, Colloques C 4, Jg. 1967, S. C 4-146An extension of the theory of diffusion and heat conduction within Lagrange-formalism
In: Periodica Polytechnica : Physics and Nuclear Sciences, Jg. 1994, S. 49-59Implementation of visit-oriented attribute evaluators
In: Attribute grammars, applications and systems (Lecture notes in computer science : 545), Jg. 1991, S. 114-139Integrable nonlinear evolution equations with time-dependent coefficients
In: Journal of Mathematical Physics, Jg. 1993, S. 5140-5158Integrating a deductive database system with a Warren Abstract Machine
In: Proceedings of the International Symposium "Computational Intelligence 90", Jg. 1991, S. 19-24A modified trellis coding technique for partial response channels
In: IEEE transactions on communications, Jg. 1992, S. 513-520On transactions in logic programming languages
In: Logic programming : proceedings of the Eighth International Conference [on Logic Programming, held in Paris, France, June 24 - 28, 1991]The ring machine
In: Computers and artificial intelligence, Jg. 1987, S. 195-208Traveltimes in common midpoint sections of anisotropic media
In: Soviet Geology and Geophysics, Jg. 1991, S. 120-126
- vom 6.10.2011
About the derivation languages of grammars and machines
In: Automata, languages and programming, Jg. 4.1977, S. 337-351Integrated predicative synchronization implemented in a federated DBMS
In: Tenth Annual International Phoenix Conference on Computers and Communications, Jg. 1991, S. 123-129Relationships between pushdown automata and tape-bounded turing machines
In: Automata, languages and programming, Jg. 1973, S. 575-583A semantics for the integration of database modifications and transaction brackets into a logic programming language
In: Information systems and artificial intelligence / Workshop on Information Systems and Artificial Intelligence, Jg. 1990, S. 1-10
- vom 5.10.2011
Abstract interfaces for compiler generating tools
In: Compiler compilers and high speed compilation, Jg. 1989, S. 103-114Attribute grammars system in a compiler construction environment
In: Attribute grammars, applications and systems, Jg. 1991, S. 380-400Attribute inheritance implemented on top of a relational database system
In: Data engineering / International Conference on Data Engineering <6, 1990, Los Angeles, Calif.>, Jg. 1990, S. 503-509Compilation for instruction parallel processors
In: Compiler compilers, Jg. 1990, S. 179-192Executable specifications for language implementation
In: Programming language implementation and logic programming, Jg. 1993, S. 1-11Improving the concurrency of integrity checks and write operations
In: Proceedings / ICDT '90, Third International Conference on Database Theory, Paris, France, December 12 - 14, 1990, Jg. 1990, S. 259-273An inference engine for function free logic programs
In: Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, Jg. 1990, S. 885-890Lifetime analysis for attributes
In: Acta Informatica, Jg. 24.1987 H. 6, S. 633-652A tool kit for knowledge based production planning systems
In: Database and expert systems applications, Jg. 1990, S. 84-89
- vom 4.10.2011
The GAG-system : A tool for compiler construction
In: Methods and tools for compiler construction, Jg. 1984, S. 165-181Ordered attributed grammars
In: Acta Informatica, Jg. 13.1980 H. 3, S. 229-256
- vom 1.10.2011
Elementary actions on an extended entity-relationship database
In: Graph grammars and their application to computer science, Jg. 1991, S. 344-362
- vom 30.9.2011
On the hierarchy of the Landau-Lifshitz equation
In: Physica, Jg. 13D, S. 387-394Pool boiling
In: VDI heat atlas, Jg. 1993, S. Ha1-Ha25A question on inductive limits of weighted locally convex function spaces
In: Atas do décimo primeiro Colóquio Brasileiro de Matemática : Realizado em Pocos de Caldas, MG de 11 a 23 de julho de 1977, Vol. I - Rio de Janeiro: IMPA 1978, Jg. 1977, S. 213-226