<--- Back to Details
First PageDocument Content
Bacteria / Type three secretion system / Transformation / Molecular biology / Biotechnology / Secretion / Immune system / Gregor Mendel Institute / Biology / Microbiology / Institute of Molecular Biotechnology
Date: 2013-12-08 15:37:31
Bacteria
Type three secretion system
Transformation
Molecular biology
Biotechnology
Secretion
Immune system
Gregor Mendel Institute
Biology
Microbiology
Institute of Molecular Biotechnology

Add to Reading List

Source URL: www.imba.oeaw.ac.at

Download Document from Source Website

File Size: 597,34 KB

Share Document on Facebook

Similar Documents

Formal methods / Theoretical computer science / Software engineering / Logic in computer science / Software development / Semigroup action / Refinement / Predicate transformer semantics / Program transformation / Postcondition / Finite-state machine / Formal verification

Requirement Enforcement by Transformation Automata Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA

DocID: 1xW2y - View Document

vaud.digital​, la plateforme de référence pour les acteurs de la transformation digitale du canton de Vaud Critères d’éligibilité ​(juin 2018) ● Entités (accélérateurs, instituts de recherche, grandes ent

DocID: 1xVVt - View Document

KONFERENZREIHE DIGITALE TRANSFORMATION FINTECH 2018 PARADIGMENWECHSEL OPEN BANKING 15. März 2018

DocID: 1xUCF - View Document

Mathematics / Theoretical computer science / Elementary mathematics / Compiler optimizations / Static single assignment form / Logic programming / Scope / Unification / Term / FO / Variable / Singular spectrum analysis

Under consideration for publication in Theory and Practice of Logic Programming 1 Horn Clauses as an Intermediate Representation for Program Analysis and Transformation∗

DocID: 1xUvR - View Document

Mathematical logic / Mathematics / Logic / Type theory / Model theory / Hierarchy / Interpretation / Axiom / Sheaf / Theory / Implementation of mathematics in set theory / ZermeloFraenkel set theory

Dtre|A Semi-Automatic Transformation System Lee Blaine and Allen Goldberg Kestrel Institute, 3260 Hillview Avenue, Palo Alto, California 94304, USA Abstract

DocID: 1xUre - View Document