Sistema de gestão da informação dos mecanismos de regulação genómica do organismo Saccharomyces cerevisiae /
by Monteiro, Pedro Tiago Gonçalves
Authors: Oliveira, Arlindo Manuel Limede de,--Orientador | Freitas, Ana Teresa Correia de,--Co-orientadora | Universidade Técnica de Lisboa.--Instituto Superior Técnico.--Departamento de Engenharia Informática Published by : UTL, Instituto Superior Técnico, (Lisboa :) Subject(s): Model checking | Temporal logica | Formal verification | Qualitative simulation | Biological regulatory networks | Systems biology | Information Systems and Computer Engineering --Master's degree --Theses Year: 2005| Item type | Location | Call number | Copy | Status | Date due |
|---|---|---|---|---|---|
 Tese |
IST - Biblioteca do Tagus Park IST-TP-Depósito | 17-11.61759 (Browse shelf) | 0 | Apenas consulta local | |
| IST - Sala de Estudo de Informática IST-Bib Eng Informatica | DIS.MSC.MON.2486 (Browse shelf) | 0 | Apenas consulta local | ||
| Tese |
Reitoria - SDP SDP-Teses | TM043 IST EIC11 2005 (Browse shelf) | 1 | Sem empréstimo |
Dissertação para obtenção do Grau de Mestre em Engenharia Informática e de Computadores
Click on an image to view it in the image viewer
