Consulta: (autoria:"WOODCOCK, J.")
Registros recuperados: 5
Data/hora: 01/06/2024 11:30:57

MEYER, B.; WOODCOCK, J. Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions Springer eBooks. v.: digital Lecture Notes in Computer Science,4171
URL: https://dx.doi.org/10.1007/978-3-540-69149-5
Biblioteca(s): Ebooks.

SHANKAR, N.; WOODCOCK, J. Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings Springer eBooks. v.: digital Lecture Notes in Computer Science,5295
URL: https://dx.doi.org/10.1007/978-3-540-87873-5
Biblioteca(s): Ebooks.

BUCK, M.; CANNON, W.; WOODCOCK, J. Mutational analysis of upstream sequences required for transcriptional activation of the Klebsiella pneumoniae nifH promoter. Nucleic Acids Res., v.15, n.23, p.9945-9956, 1987.
Biblioteca(s): Embrapa Agrobiologia.

BUCK, M.; WOODCOCK, J.; CANNON, W.; MITCHENALL, L.; DRUMMOND, M. Positional requirements for the function of nif-specific upstream activator sequences. Mol. Gen. Genet., v.210, p.140-144, 1987.
Biblioteca(s): Embrapa Agrobiologia.

EVANS, D. H.; MCDICKEN, W. N.; SKIDMORE, R.; WOODCOCK, J. P. Doppler ultrasound: physics instrumentation and clinical applications. Chichester: J. Wiley, 1991. 297p.
Biblioteca(s): Embrapa Instrumentação.