Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
58 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Publikation

Sprache

58 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Symbolic Reasoning About Quantum Circuits in Coq
    Shi, Wen-Jun ; Cao, Qin-Xiang ; et al.
    In: Journal of Computer Science and Technology, Jg. 36 (2021-12-01), Heft 6, S. 1291-1306
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Formalizing non-interference for a simple bytecode language in Coq
    Kammuller, Florian
    In: Formal Aspects of Computing, Jg. 20 (2008-05-01), Heft 3, S. 259-275
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Coq formalization of the higher-order recursive path ordering
    Koprowski, Adam
    In: Applicable Algebra in Engineering, Communication and Computing, Jg. 20 (2009-12-01), Heft 5-6, S. 379-425
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    An Intuitionistic Proof of a Discrete Form of the Jordan Curve Theorem Formalized in Coq with Combinatorial Hypermaps
    Dufourd, Jean-Francois
    In: Journal of Automated Reasoning, Jg. 43 (2009-06-01), Heft 1, S. 19-51
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Mechanizing common knowledge logic using COQ
    Lescanne, Pierre
    In: Annals of Mathematics and Artificial Intelligence, Jg. 48 (2006-09-01), Heft 1-2, S. 15-43
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves
    Rideau, Laurence ; Serpette, Bernard Paul ; et al.
    In: Journal of Automated Reasoning, Jg. 40 (2008-05-01), Heft 4, S. 307-326
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Leaf Litter Consumption by Macroarthropods and Burial of their Faeces Enhance Decomposition in a Mediterranean Ecosystem
    Coulis, Mathieu ; Hättenschwiler, Stephan ; et al.
    In: Ecosystems, Jg. 19 (2016-09-01), Heft 6, S. 1104-1115
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Expression, Purification, Crystallisation and X-ray Crystallographic Analysis of a Truncated Form of Human Src Homology 2 Containing Inositol 5-Phosphatase 2 : Article
    Le Coq, Johanne ; Heredia Gallego, Luis ; et al.
    In: The Protein Journal, Jg. 35 (2016-06-01), Heft 3, S. 225-230
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Replication of Eubenangee virus inCulicoides nubeculosus (Mg.) andCulicoides variipennis (Coq.)
    Mellor, P. S. ; Jennings, M.
    In: Archives of Virology, Jg. 65 (1980-09-01), Heft 3, S. 203
    academicJournal
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Two-Dimensional Extension of the Reservoir Technique for Some Linear Advection Systems
    Alouges, Francois ; Coq, Gerard ; et al.
    In: Journal of Scientific Computing, Jg. 31 (2007-06-01), Heft 3, S. 419-458
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Environmental enrichment alters organizational features of the forepaw representation in the primary somatosensory cortex of adult rats
    Coq, Jacques-Olivier ; Xerri, Christian
    In: Experimental Brain Research, Jg. 121 (1998-06-15), Heft 2, S. 191-204
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Topological segregation in small bimetallic particles
    Goursot, A. ; Coq, B. ; et al.
    In: Zeitschrift fur Physik D Atoms, Molecules and Clusters, Jg. 18 (1991-03-01), Heft 1, S. 367-370
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Litter composition rather than plant presence affects decomposition of tropical litter mixtures
    Coq, Sylvain ; Weigel, Jean ; et al.
    In: Plant and Soil, Jg. 343 (2011-06-01), Heft 1-2, S. 273
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Layered double hydroxides: precursors for multifunctional catalysts
    Tichit, Didier ; Gerardin, Corine ; et al.
    In: Topics in Catalysis, Jg. 39 (2006-09-01), Heft 1, S. 89
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Mechanism for the reduction of NOx on Rh/sulfated titanias
    Figueras, F. ; Flores, J. L. ; et al.
    In: Topics in Catalysis, Jg. 39 (2006-09-01), Heft 1, S. 59
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Coherent matter wave inertial sensors for precision measurements in space
    Le Coq, Y. ; Retter, J.A. ; et al.
    In: Applied Physics B: Lasers and Optics, Jg. 84 (2006-09-01), Heft 4, S. 627
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Insights into structural proteins of 936-type virulent lactococcal bacteriophages
    Crutz-Le Coq, A. M. ; Cantele, F. ; et al.
    In: Archives of Virology, Jg. 151 (2006-06-01), Heft 6, S. 1039
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Production and Characterization of Adsorbent Materials from an Industrial Waste
    Rio, S. ; Faur-Brasquet, C. ; et al.
    In: Adsorption, Jg. 11 (2005-07-01), Heft 1, S. 793
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Influence of the precursors on the properties of alumina supported rhodium particles
    Coq, B. ; Figueras, F. ; et al.
    In: Zeitschrift fur Physik D Atoms, Molecules and Clusters, Jg. 14 (1989-03-01), Heft 1, S. 579-582
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Verification of Real Time Operating System Exception Management Based on SPARCv8
    Ma, Zhi ; Qiao, Lei ; et al.
    In: Journal of Computer Science and Technology, Jg. 36 (2021-12-01), Heft 6, S. 1367-1387
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -