Reasoning About Deterministic Concurrent Functional I/O von Dowse, Malcolm, Butterfield, Andrew, van Eekelen, Marko

Volltext

Modelling deterministic concurrent I/O von Dowse, Malcolm, Butterfield, Andrew

Volltext

Modelling deterministic concurrent I/O von Dowse, Malcolm, Butterfield, Andrew

Volltext

Proving Make Correct: I/O Proofs in Haskell and Clean von Dowse, Malcolm, Strong, Glenn, Butterfield, Andrew

Volltext

Neurophysiological Correlates of the Behavioral Response to Light in the Sea Anemone Anthopleura elegantissima von Sawyer, Sara J., Dowse, Harold B., Shick, J. Malcolm

Volltext

Book Reviews von Catlin, George E. G., Hughes, C. J., Ward, W. R., Smith, E. A., Le Lohé, M. J., Thomson, David, Coombes, D. L., Andrews, William G., Anderson, Malcolm, Johnson, Nevil, Foord, B. G., Joll, James, Hanham, H. J., Hill, Dilys M., Pelczynski, Z. A., Castles, Francis G., Bromhead, Peter, Lees, J. D., Janesik, Edward, Day, John, Spence, J. E., Brand, J. A., Dowse, Robert E., Lee, J. M., Dodd, C. H., Ghosh, S. C., Bell, Coral, Calvert, Peter A. R., Lattimore, Owen, Ross, M. R., Lyon, Peter, Steeds, D., Robinson, G. W. S., Burton, J. W., De Rusett, Alan, Frankel, Joseph, Ogley, R., Collins, Doreen, Hanak, Harry, Donelan, Michael, Gowan, Ivor, Twitchett, Kenneth I., Martin, L. W., Nicholas, H. G.

Volltext

Book Reviews von Catlin, George E. G., Hughes, C. J., Ward, W. R., Smith, E. A., Le Lohé, M. J., Thomson, David, Coombes, D. L., Andrews, William G., Anderson, Malcolm, Johnson, Nevil, Foord, B. G., Joll, James, Hanham, H. J., Hill, Dilys M., Pelczynski, Z. A., Castles, Francis G., Bromhead, Peter, Lees, J. D., Janesik, Edward, Day, John, Spence, J. E., Brand, J. A., Dowse, Robert E., Lee, J. M., Dodd, C. H., Ghosh, S. C., Bell, Coral, Calvert, Peter A. R., Lattimore, Owen, Ross, M. R., Lyon, Peter, Steeds, D., Robinson, G. W. S., Burton, J. W., De Rusett, Alan, Frankel, Joseph, Ogley, R., Collins, Doreen, Hanak, Harry, Donelan, Michael, Gowan, Ivor, Twitchett, Kenneth I., Martin, L. W., Nicholas, H. G.

Volltext