English
Home
Suchen
Browsen
Einreichen
Sitemap
Schließen
Organisationseinheiten
Mathematisch-Naturwissenschaftliche Fakultät
Institut für Informatik und Computational Science
Filtern
Volltext vorhanden
nein
(15)
Autor*in
Schaub, Torsten H.
(3)
Gössel, Michael
(2)
Kunz, Wolfgang
(2)
Pradhan, D. K.
(2)
Schröder-Preikschat, Wolfgang
(2)
Tarnick, Steffen
(2)
Besnard, Philippe
(1)
Bogue, Ted
(1)
Chatterjee, M.
(1)
Courtois, Bernard
(1)
+ weitere
Erscheinungsjahr
1995 (15)
(entfernen)
Dokumenttyp
Wissenschaftlicher Artikel (15)
(entfernen)
Sprache
Englisch
(14)
Deutsch
(1)
Gehört zur Bibliographie
ja
(15)
Institut
Institut für Informatik und Computational Science
(15)
15
Treffer
1
bis
15
Export
BibTeX
CSV
RIS
XML
100
10
20
50
100
Sortieren nach
Jahr
Jahr
Titel
Titel
Autor*in
Autor*in
A new parity preserving multi-input signature analyser
(1995)
Sogomonyan, Egor S.
;
Gössel, Michael
BIST with negligible aliasing through random cover circuits
(1995)
Bogue, Ted
;
Jürgensen, Helmut
;
Gössel, Michael
A new approach for model-based recognition using colour regions
(1995)
Gohlke, Mario
Controllable self-checking checkers for conditional concurrent checking
(1995)
Tarnick, Steffen
Built-in test for circuits with scan based on reseeding of multiole polynomial linear feedback shift registers
(1995)
Hellebrand, Sybille
;
Rajski, Janusz
;
Tarnick, Steffen
;
Venkatraman, Srikanth
;
Courtois, Bernard
Molecular dynamics simulation of the association of model colloidal particles in two dimensions
(1995)
Havemann, Ulrich
;
Grivtsov, A. G.
;
Merkulenko, N. N.
Erfassung und Bewertung der Elektroenergiequalität in Netzen mit transienten Vorgängen
(1995)
Liers, Achim
;
Michel, Mathias
A new deterministic approach for the optimization of cable layouts for power supply systems
(1995)
Richter, Peter
Experience developing an object-oriented parallel operating system
(1995)
Schröder-Preikschat, Wolfgang
The next generation parallel architecture - multiple executing threads
(1995)
Schröder-Preikschat, Wolfgang
;
Giloi, Wolfgang K.
Novel verification framework combining structural and OBDD methods in a synthesis environment
(1995)
Reddy, S. M.
;
Kunz, Wolfgang
;
Pradhan, D. K.
ATPG-based Transformations for random-pattern testable logic synthesis
(1995)
Chatterjee, M.
;
Pradhan, D. K.
;
Kunz, Wolfgang
Lemma handling in default logic theorem provers
(1995)
Linke, Thomas
;
Schaub, Torsten H.
An approach to context-based default reasoning
(1995)
Besnard, Philippe
;
Schaub, Torsten H.
Default reasoning by deductive planning
(1995)
Thielscher, Michael
;
Schaub, Torsten H.
1
bis
15
Verstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu.
Unsere Datenschutzerklärung finden Sie hier.