- Alle Titel
- Klassifikation (DDC)
- Informatik, Informationswissenschaft, allgemeine Werke
- Informatik, Wissen, Systeme
- Bibliografien
- Bibliotheks- und Informationswissenschaften
- Enzyklopädien, Faktenbücher
- Zeitschriften, fortlaufende Sammelwerke
- Verbände, Organisationen, Museen
- Publizistische Medien, Journalismus, Verlagswesen
- Allgemeine Sammelwerke, Zitatensammlungen
- Handschriften, seltene Bücher
A Symbolic Java Virtual Machine for Test Case Generation
Müller, Roger A. ; Lembeck, Christoph ; Kuchen, Herbert2.8.2004Synchronized pushdown systems for pointer and data-flow analysis
Späth, Johannes ; Bodden, Eric ; Ali, KarimElektronische Ressource, Paderborn, 2019Synthesis related aspects of simulation
Rammig, Franz JosefIn: The synthesis approach to digital system design, Jg. 1992, S. 303-3342009Synthesizing cognition in neuromorphic electronic systems
Neftci, E. ; Binas, J. ; Rutishauser, U. ; Chicca, Elisabetta ; Indiveri, G. ; Douglas, R. J.In: Proceedings of the National Academy of Sciences of the United States of America, Jg. 110 H. 37, S. E3468-E34762013System level design
Rammig, Franz JosefIn: Fundamentals and standards in hardware description languages, Jg. 1993, S. 109-1512009System level simulation concepts
Rammig, Franz JosefIn: Modelling and Simulation: proceedings of the 1990 European Simulation Multiconference, June 10-13, Jg. 1990, S. 717-7222009System-Level Analysis of Network Interfaces for Hierarchical MPSoCs
Ax, Johannes ; Sievers, Gregor ; Flasskamp, Martin ; Kelly, Wayne ; Jungeblut, Thorsten ; Porrmann, Mario2015A system-level design framework for networked driving simulation
Abdelgawad, Kareem ; Gausemeier, Jürgen ; Trächtler, AnsgarElektronische Ressource, Paderborn : Heinz Nixdorf Institut, Universität Paderborn, 2018A systematic analysis and hardening of the Java security architecture
Holzinger, Philipp Albert ; Bodden, EricElektronische Ressource, Paderborn, 2019Systematic configuration and automatic tuning of neuromorphic systems
Sheik, S. ; Stefanini, F. ; Neftci, E. ; Chicca, Elisabetta ; Indiveri, G.2011Systematic Construction of Finite State Automata Using VLSI Spiking Neurons
Neftci, Emre ; Binas, Jonathan ; Chicca, Elisabetta ; Indiveri, Giacomo ; Douglas, Rodney ; Prescott, Tony J. (Hrsg.) ; Lepora, Nathan F. (Hrsg.) ; Mura, Anna (Hrsg.) ; Verschure, Paul F. M. J. (Hrsg.)In: Biomimetic and Biohybrid Systems, Jg. 7375, S. 382-3832012Systematic development and re-use of model transformations
Besova, Galina ; Engels, Gregor ; Suhl, Leena2015A Systematic Investigation of Blocking Strategies for Real-time Classification of Social Media Content into Events
Reuter, Timo ; Cimiano, Philipp2012A systematic method for configuring VLSI networks of spiking neurons
Neftci, E. ; Chicca, Elisabetta ; Indiveri, G. ; Douglas, R. J.In: Neural Computation, Jg. 23 H. 10, S. 2457-24972011Systematik zum innovationsorientierten Intellectual Property Management
Eckelt, Daniel ; Gausemeier, Jürgen ; Zimmer, DetmarElektronische Ressource, Paderborn : Heinz Nixdorf Institut, Universität Paderborn, 2017Systematik zur Entwicklung von Digitalisierungsstrategien für Industrieunternehmen
Lipsmeier, André ; Dumitrescu, Roman ; Gausemeier, Jürgen ; Henke, MichaelElektronische Ressource, Paderborn, 2021Systematik zur Erarbeitung modellbasierter Entwicklungsaufträge
Echterhoff, Olga ; Gausemeier, Jürgen (Hrsg.)Elektronische Ressource, Paderborn : Heinz Nixdorf Institut, Universität Paderborn, 2018