المؤلفون: Brown, Geoffrey M.^{Aff1, IDs40317023003270_cor1}, Chen, Jiawei, Fudickar, Adam, Jahn, Alex E.

المصدر: Animal Biotelemetry. 11(1)

المؤلفون: Brown, Geoffrey M., Lee Pike

المصدر: 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007) Formal Methods and Models for Codesign, 2007. MEMOCODE 2007. 5th IEEE/ACM International Conference on. :171-180 Jun, 2007

Relation: 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007)

المؤلفون: Brown, Geoffrey M., Chen, Jiawei, Fudickar, Adam, Jahn, Alex E.

المصدر: Animal Biotelemetry; 5/3/2023, Vol. 11 Issue 1, p1-18, 18p

مصطلحات موضوعية: DATA loggers, ATMOSPHERIC pressure, CLIENT/SERVER computing equipment, ANIMAL behavior, ENVIRONMENTALISM, TAGS (Metadata)

المؤلفون: Brown, Geoffrey M.^Aff18, Pike, Lee^Aff19

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Nierstrasz, Oscar, Series editor^Aff8, Pandu Rangan, C., Series editor^Aff9, Steffen, Bernhard, Series editor^Aff10, Sudan, Madhu, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Dough, Series editor^Aff13, Vardi, Moshe Y., Series editor^Aff14, Weikum, Gerhard, Series editor^Aff15, Hermanns, Holger, editor^Aff16, Palsberg, Jens, editor^Aff17

المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings. 3920:58-72

المؤلفون: Brown, Geoffrey M.^Aff3

المساهمون: van Rijsbergen, C. J., editor, Jones, Geraint, editor^Aff1, Sheeran, Mary, editor^Aff2

المصدر: Designing Correct Circuits : Workshop jointly organised by the Universities of Oxford and Glasgow, 26–28 September 1990, Oxford. :120-131

المؤلفون: Brown, Geoffrey M., Leeser, Miriam E.^Aff1

المساهمون: Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Leeser, Miriam, editor, Brown, Geoffrey, editor

المصدر: Hardware Specification, Verification and Synthesis: Mathematical Aspects : Mathematical Sciences Institute Workshop Cornell University, Ithaca, New York, USA July 5–7, 1989 Proceedings. 408:129-151

المؤلفون: Brown, Geoffrey M., Pike, Lee

المصدر: Formal Aspects of Computing: Applicable Formal Methods. May 2011 23(3):243-266

المؤلفون: Stillman, Jennifer A., Brown, Geoffrey M., Troscianko, Tom

المصدر: Perception & Psychophysics. December 2000 62(8):1645-1654

المؤلفون: Afek, Yehuda, Brown, Geoffrey M.

المصدر: Distributed Computing. November 1993 7(1):27-34

المؤلفون: Brown, Geoffrey M.

المصدر: Distributed Computing. March 1990 4(1):31-36