- 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

Francisci Monacelli Eugubini J. U. D. Protonotarii Apostolici, olim Ecclesiæ Venusinæ, ac deinde Æsinatis Vicarii Generalis, &c. Formularium Legale Practicum Fori Ecclesiastici
In Quo Formulæ Expeditionum usufrequentium de his, quæ pertinent ad Officium Judicis nobile, continentur ; Opus Episcopis, Vicariis Generalibus, Aliisque Iurisdictionem quasi Episcopalem exercentibus: necnon Confessariis, Parochis, Cancellariis, cæterisque in dicto Foro versantibus, apprimè utile ac necessarium ; Cum Appendice Pluriorum Constitutionum Apostolicarum, & Decretorum Sacr. Congregationum, atque Instructione pro Visitantibus, in fine Operis adjectisVenetiis : Bortoli, 1706
Francisci Monacelli Eugubini J. U. D. Protonotarii Apostolici, olim Venusinæ, posteà Æsinatis, ac demùm Parmensis Ecclesiæ Vicarii Generalis, &c. Formularium [...] /
[4] : Formularii Legalis Practici Fori Ecclesiastici SupplementumIn Quo Non Solum Omnes Feré Formulæ, quæ in præcedentibus tribus Libris continentur, novis quamplurimis adnotationibus Legalibus Practicis, ac Sacrarum Congregationum Responsis roborantur; verùm etiam nonnullæ aliæ, quæ ad Operis complementum deficiebant, cum suis observationibus exponuntur. Episcopis Eorumque Vicariis Generalibus, cæterisque Prælatis Jurisdictionem quasi Episcopalem exercentibus; necnon Confessariis, Parochis, Regularibus, aliisque in eodem Foro versantibus valde utilè, & in Praxi maximè necessariumOpus Posthumum, 1732
Francisci Monacelli Eugubini J. U. D. Protonotarii Apostolici, olim Venusinæ, posteà Æsinatis, ac demùm Parmensis Ecclesiæ Vicarii Generalis, &c. Formularium legale practicum Fori Ecclesiastici
in quo formulae expeditionum usufrequentium de his, quae pertinent ... ; cum appendice plurium constitutionum apostolicarumVenetiis : ex typographia Balleoniana, 1732
Duo Tractatus
Alter De Optione Canonica: In Qvo De Ivre Optandi, Qvod partim ex consuetudine, partim ex statuto in omnibus jam ferè Ecclesius, tam Cathedralibus, quàm Collegiatus, & nonnullis quoq[ue] aliis Collegius viget, fusè nunc primùm & ordinatim agitur. Alter De Decimis: Tam Spiritvalibvs, Qvæ Ecclesiis ...; Duplici Indice, tum Quæstionum, tum rerum singularium locupletissimo ad quemque Tractatum adiectoEditio II. Correctior., Marburg : N. Hampel, 1628
About the derivation languages of grammars and machines
In: Automata, languages and programming, Jg. 4.1977, S. 337-351
The bandwidth-minimization problem for caterpillars with hair length 3 is NP-complete
In: SIAM journal on algebraic and discrete methods, Jg. 7.1986 H. 4, S. 505-512
Characterizations of time-bounded computations by limited primitive recursion
In: Automata, languages and programming, Jg. 2.1974, S. 280-293
The complexity of embedding graphs into binary trees
In: Fundamentals of computation theory, Jg. 5, S. 300-309
Deterministic two-way one-head pushdown automata are very powerful
In: Information processing letters, Jg. 18.1984, S. 239-242
How to find long paths efficiently
In: Annals of Discrete Mathematics, Jg. 25.1985, S. 239-254
The LBA-problem and the deterministic tape complexity of two-way one-counter languages over a one-letter alphabet
In: Acta Informatica, Jg. 8.1977, S. 371-382
On a subclass of pseudopolynomial problems
In: Mathematical Foundations of Computer Science, Jg. 9, S. 414-425
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 and tape-bounded turing machines
In: Automata, languages and programming, Jg. 1973, S. 575-583
Relationships between pushdown automata with counters and complexity classes
In: Mathematical systems theory, Jg. 9.1975 H. No. 3, S. 248-264
The ring machine
In: Computers and artificial intelligence, Jg. 1987, S. 195-208
Simulating binary trees on x-trees
In: 3rd Annual ACM Symposium on Parallel Algorithms and Architectures / Symposium on Parallel Algorithms and Architectures <3, 1991, Hilton Head Island, SC>, S. 147-158
Transformational methods and their application to complexity problems
In: Acta Informatica, Jg. 6.1976, S. 95-108
Two-way multihead automata over a one-letter alphabet
In: R.A.I.R.O Informatique théorique, Jg. 14.1980, S. 67-82
