Showing 41 - 41 results of 41 for search '"Control mechanisms."', query time: 0.01s
Refine Results
-
41
Formal analysis of a space-craft controller using SPIN. by Havelund, K.
Published in IEEE Transactions on software engineeringCall Number: loading...
Located: loading...Article loading...
Search Tools:
Refine Results
Page will reload when a filter is selected or excluded.- College of Science 7 results 7
- UP Baguio Main Library 4 results 4
- Diliman Main Library: Info. Services & Instruction Section 3 results 3
- College of Engineering Library II 2 results 2
- College of Home Economics 2 results 2
- College of Arts and Sciences Library 1 results 1
- College of Human Kinetics 1 results 1
- College of Science and Mathematics 1 results 1
- Diliman Main Library: Social Sciences Section 1 results 1
- Florentino B. Herrera, Jr. Medical Library (College of Medicine) 1 results 1
- National Institute for Science & Mathematics Education Development 1 results 1
- National Institute of Molecular Biology & Biotechnology 1 results 1
- UP Diliman Extension Program in Pampanga 1 results 1
- UP Tacloban Library 1 results 1
- UPV Main Library - Miagao 1 results 1
- see all…
- Cellular control mechanisms 22 results 22
- Electronic books 9 results 9
- Cell cycle 4 results 4
- Proteins 4 results 4
- Analytical chemistry 3 results 3
- Cell physiology 3 results 3
- Cellular signal transduction 3 results 3
- Denaturation 3 results 3
- Plant cellular control mechanisms 3 results 3
- Regulation 3 results 3
- Stress (Physiology) 3 results 3
- Technique 3 results 3
- Bioenergetics 2 results 2
- Biological control systems 2 results 2
- Cell Cycle 2 results 2
- Cell interaction 2 results 2
- Enzymes 2 results 2
- Metabolism 2 results 2
- Methodology 2 results 2
- Plant cell interaction 2 results 2
- Research 2 results 2
- Secretion 2 results 2
- physiology 2 results 2
- Biological systems 1 results 1
- Carcinogenesis 1 results 1
- Carrier proteins 1 results 1
- Cell Communication 1 results 1
- Cell Death 1 results 1
- Cell Division 1 results 1
- Cell Membrane 1 results 1
- see all…
- SpringerLink (Online service) 4 results 4
- Conn, P. Michael 3 results 3
- Wojtaszek, Przemyslaw 2 results 2
- Akkerman, Jan Willem Nikolaas 1 results 1
- Akkerman, Jan-Willem N. 1 results 1
- Balch, William Edward 1 results 1
- Barritt, Greg J. 1 results 1
- Brooks, Robert 1949- 1 results 1
- Buchanan, M. 1961- . (Mark) 1 results 1
- Carré, A. (Alain) 1 results 1
- Case, Kenneth E. 1 results 1
- Charles F. Kettering Foundation 1 results 1
- Clemens, Michael J. 1 results 1
- Cuenca, P. 1 results 1
- Der, Channing J. 1 results 1
- Deuchar, Elizabeth M. (Elizabeth Marion) 1 results 1
- Deyun Gao 1 results 1
- Edelman, Gerald M. 1 results 1
- English, John R. 1 results 1
- Fantes, Peter 1 results 1
- Geisler, Markus 1 results 1
- Gevros, P. 1 results 1
- Grinstein, Sergio 1950- 1 results 1
- Hall, Alan 1 results 1
- Hang Liu 1 results 1
- Hartung, F. 1 results 1
- Havelund, K. 1 results 1
- Hu, Valerie W. 1 results 1
- Jiang, Shuiping 1 results 1
- John, P.C.L 1 results 1
- see all…