- 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 22.10.2011
Characterizations of time-bounded computations by limited primitive recursion
In: Automata, languages and programming, Jg. 2.1974, S. 280-293
A recursive and a grammatical characterization of the exponential-time languages
In: Theoretical Computer Science, Jg. 3.1976 H. 3, S. 61-74
Relationships 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
Erfahren, was wirklich in der Firma los ist
In: Impulse : das Unternehmermagazin, Jg. 1987 H. 5, S. 211-213
Integraldarstellungen linearer Funktionale
In: Held at Oberwolfach, 15 - 21 June, 1975 : Lecture notes in mathematics : 541, Jg. 1976, S. 255-266
Keine Diskriminierung Schwerbehinderter erkennbar
betriebliche Personalpolitik und die Arbeitsmarktsituation SchwerbehinderterIn: Blickpunkt Wirtschaft : Nachrichten der Industrie- und Handelskammer Trier, Jg. 1992 H. 6, S. 10-13
Die Männer in der Mitte
In: Management Wissen, Jg. 1984 H. 11, S. 72-77
Seelische Gesundheit als Maßstab für sozialorganisatorische Gestaltung
In: Beiträge aus Wissenschaft und Praxis, Jg. 1985 H. 3, S. 1-24
Selbstbeurteilung im Rahmen der Personalentwicklung
In: Handbuch Mitarbeiterbeurteilung, Jg. 1992, S. 145-164
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
Wie muß Arbeit beschaffen sein, damit sie motiviert?
In: Beiträge aus Wissenschaft und Praxis, Jg. 1986, S. 14-26
- 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-47
Elektronen-Kern-Doppelresonanz-Untersuchung von U-Zentren in Kaliumchlorid
In: Zeitschrift für Physik, Jg. 1966, S. 107-141
ENDOR study of hydrogen atoms in KCl-crystals
In: Journal de Physique, Colloques C 4, Jg. 1967, S. C 4-146
An extension of the theory of diffusion and heat conduction within Lagrange-formalism
In: Periodica Polytechnica : Physics and Nuclear Sciences, Jg. 1994, S. 49-59
Implementation of visit-oriented attribute evaluators
In: Attribute grammars, applications and systems (Lecture notes in computer science : 545), Jg. 1991, S. 114-139
Integrable nonlinear evolution equations with time-dependent coefficients
In: Journal of Mathematical Physics, Jg. 1993, S. 5140-5158
Integrating a deductive database system with a Warren Abstract Machine
In: Proceedings of the International Symposium "Computational Intelligence 90", Jg. 1991, S. 19-24
A modified trellis coding technique for partial response channels
In: IEEE transactions on communications, Jg. 1992, S. 513-520
Moleküle - Bindungen und Reaktionen
In: Lehrbuch der Experimentalphysik, Jg. 4, S. 621-651
On 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]
Rechenfähigkeiten von Schulanfängern im Bereich von Addition und Subtraktion
In: Vorträge auf der 26. Bundestagung für Didaktik der Mathematik vom 10. bis 13.3.1992 in Weingarten, Württ. (Beiträge zum Mathematikunterricht : 1992), Jg. 1993, S. 447-450
Rechnen auf eigenen Wegen
Addition dreistelliger Zahlen zu Beginn des 3. SchuljahresIn: Grundschulunterricht, Jg. 1993, S. 5-7
The ring machine
In: Computers and artificial intelligence, Jg. 1987, S. 195-208
Traveltimes in common midpoint sections of anisotropic media
In: Soviet Geology and Geophysics, Jg. 1991, S. 120-126
- vom 11.10.2011
Dokumenten- und Publikationsservice der Universität Paderborn
Leitlinien (Policy)Version 1.0 vom 23.05.2008, Paderborn : Universitätsbibliothek Paderborn, 2008
- vom 8.10.2011
Studiengang "Populäre Musik und Medien" Universität Paderborn
BA-Absolventen-Befragung 2005/2007 ; eine vergleichende Zusammenfassung
- vom 6.10.2011
About the derivation languages of grammars and machines
In: Automata, languages and programming, Jg. 4.1977, S. 337-351
Integrated predicative synchronization implemented in a federated DBMS
In: Tenth Annual International Phoenix Conference on Computers and Communications, Jg. 1991, S. 123-129
Relationships between pushdown automata and tape-bounded turing machines
In: Automata, languages and programming, Jg. 1973, S. 575-583
A 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-114
Attribute grammars system in a compiler construction environment
In: Attribute grammars, applications and systems, Jg. 1991, S. 380-400
Attribute 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-509
Ein Beweisverfahren für Datenbankprädikate
In: Proc. of the German Workshop on Artificial Intelligence, GW AI-85, Informatik-Fachberichte 118, Jg. 9.1985, S. 164-175
Compilation for instruction parallel processors
In: Compiler compilers, Jg. 1990, S. 179-192
Executable specifications for language implementation
In: Programming language implementation and logic programming, Jg. 1993, S. 1-11
Improving 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-273
An inference engine for function free logic programs
In: Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, Jg. 1990, S. 885-890
Lifetime analysis for attributes
In: Acta Informatica, Jg. 24.1987 H. 6, S. 633-652

A tool kit for knowledge based production planning systems
In: Database and expert systems applications, Jg. 1990, S. 84-89
- vom 4.10.2011
Eigenschaften von Programmiersprachen
definiert durch attributierte GrammatikenIn: Programmiersprachen und Programmentwicklung, Jg. 6, S. 157-174
Erläuterungen zur attributierten Grammatik für PEARL
In: PEARL-Rundschau, Jg. 2.1981 H. 3, S. 19-31
The GAG-system : A tool for compiler construction
In: Methods and tools for compiler construction, Jg. 1984, S. 165-181
Ordered attributed grammars
In: Acta Informatica, Jg. 13.1980 H. 3, S. 229-256
Systematische Analyse semantischer Abhängigkeiten
In: Programmiersprachen / Fachtagung über Programmiersprachen, Jg. 4, S. 19-32
Ein Übersetzerbau-Praktikum
In: Programmiersprachen / Fachtagung über Programmiersprachen, Jg. 5, S. 121-135
- vom 1.10.2011
ALSI : Eine höhere Programmiersprache zur Transformation von ALGOL-68-Verbunden in SIMULA-Klassen
In: Fachtagung über Programmiersprachen, Jg. 3, S. 162-172
Benutzerschnittstelle und Architektur der integrierten Datenbankentwurfsumgebung CADDY
In: Abstracts des Workshops Grundlagen von Datenbanken, Jg. 1989, S. 1-2
