- 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
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-583Relationships between pushdown automata with counters and complexity classes
In: Mathematical systems theory, Jg. 9.1975 H. No. 3, S. 248-264The ring machine
In: Computers and artificial intelligence, Jg. 1987, S. 195-208Simulating 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-158Transformational methods and their application to complexity problems
In: Acta Informatica, Jg. 6.1976, S. 95-108Two-way multihead automata over a one-letter alphabet
In: R.A.I.R.O Informatique théorique, Jg. 14.1980, S. 67-82Transition metal complexes with imine-phenolate and imino-benzosemiquinone ligands
synthesis, characterization and their catalytic reactivity2003Coherence and cohesion in early immersion students' L2 narratives
Implications for cognitive and linguistic development2010Plural processing in native speakers and learners of English
challenging the notion of strictly grammatical plural processing2010Approaching system level design
In: VHDL for simulation, synthesis and formal proofs of hardware, Jg. 1992, S. 259-276A concept for the editing of hardware resulting in an automatic hardware editor
In: 14th Design Automation Conference, New Orleans, Jg. 1977, S. 187-193The concurrent programming language CAP and the -processor oriented CAP CAD-system
In: Microprocessors and their applications / Symposium on Microprocessing and Microprogramming <5, 1979, Göteborg>, Jg. 1979, S. 249-258Design aids for highly distributed hardware
In: Concurrent languages in distributed systems / Workshop on Hardware Supported Implementation on Concurrent Languages in Distributed Systems <1984, Bristol>, Jg. 1985, S. 135-149DIGITEST II : an integrated structural and behavioural language
In: International Symposium on Computer Hardware Description Languages and their Applications, New York, 3, Jg. 1975, S. 38-44DIGITEST: a structural language based on algebraic models of the logic topology and the time behaviour of digital circuits
In: Proceedings of 2nd Workshop on Computer Hardware Description Languages, Darmstadt, Jul. 1974, Jg. 1974, S. 126-128Five valued quasi Boolean functions
In: Fifth European Meeting on Cybernetics and Systems Research / European Meeting on Cybernetics and Systems Research <5, 1980, Wien>, Jg. 35.1980, S. 2-5The hardware description language DACAPO III
In: Fundamentals and standards in hardware description languages, Jg. 1993, S. 395-409Hierarchical modular description of VLSI systems
In: Workshop report / VLSI and Software Engineering Workshop <1982, Port Chester, NY>, Jg. 1983, S. 112-116The implementation of the computer hardware description language CAP and its applications
In: Proceedings / International Symposium on Hardware Description Languages and their Applications <1979, Palo Alto, CA>, Jg. 1979, S. 138-144Mixed level modelling and simulation of VLSI systems
In: Logic design and simulation, Jg. 1986, S. 95-134Modelling aspects of system level design
In: Proceedings / EURO-DAC '93, Jg. 1993, S. 534-539A multilevel cybernetic model of the design process
In: Methodologies for computer system design / Working Conference on Methodologies for Computer System Design <1983, Lille>, Jg. 1985, S. 87-103Multilevel simulation techniques
In: VLSI and computers / First International Conference on Computer Technology, Systems and Applications, Hamburg, May 11-15, 1987, COMPEURO 87, Jg. 1.1987, S. 188-192Petri net based description, analysis and simulation of concurrent processes
In: ACM SIGDA Newsletters, Jg. 1977, S. 15-27Structured parallel programming with a highly concurrent programming language
In: Atti del Congresso dell'AICA / Associazione Italiana per il Calcolo Automatico, Jg. 1980, S. 279-294Synthesis related aspects of simulation
In: The synthesis approach to digital system design, Jg. 1992, S. 303-334System level design
In: Fundamentals and standards in hardware description languages, Jg. 1993, S. 109-151An universal hardware editor based on an algebraic model of the time-behaviour of digital circuits
In: Discrete Systems = Diskretnye Sistemy, Vol. 5: Section GH : analysis and simulation , IFAC-Symposium Discrete Systems : (Dresden) : 1977.03.14-19, Jg. 1977, S. 36-451-Aza-adamantanes from phloroglucinols
In: Journal of the Chemical Society, Jg. 1983, S. 532-533Bacteriochlorophyll b. determination of its configuration by nuclear Overhauser effect difference spectroscopy
In: Journal of chemical research, Jg. 1981, S. 116-117Foliated rho-invariants
[2010]An associative memory with neural architecture and its VLSI implementation
In: Proceedings of the twenty-fourth annual Hawaii International Conference on System Sciences / Hawaii International Conference on System Sciences <24, 1991, Kauai, Hawaii>, Jg. 1, S. 212-218A hybrid knowledge processing architecture
In: Second International Conference on Intelligent Systems Engineering / International Conference on Intelligent Systems Engineering <2, 1994, Harburg, Hamburg>, Jg. 1994, S. 372-377Microelectronic implementation of neural networks
In: Proceedings / Workshop on Neural Networks, Jg. 1993, S. 77-86VLSI design of an associative memory based on distributed storage of information
In: VLSI design of neural networks, Jg. 1991, S. 153-168VLSI implementation of an associative memory based on distributed storage of information
In: Neural networks, Jg. 1990, S. 267-276Data distribution algorithms for storage networks
Paderborn : Heinz-Nixdorf-Inst., 2004An extension of the theory of diffusion and heat conduction within Lagrange-formalism
In: Periodica Polytechnica : Physics and Nuclear Sciences, Jg. 1994, S. 49-59
Michel plays Petrucciani
In: Der evangelische Erzieher, Jg. 1992, S. 426-431Application of magnetic multiple resonance techniques to the study of point defects in solids
In: Electronic Magnetic Resonance of the Solid State (CSC symposium series : 1 ), Jg. 1987, S. 503-519