Skip to contents Henson, Martin C.; Kajtazi, Besnik The Specification Logic νZ Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2005 Published in: Electronic Notes in Theoretical Computer Science Henson, Martin C.; Reeves, Steve A Logic for Schema-Based Program Development Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2003 Published in: Formal Aspects of Computing Deutsch, Moshe; Henson, Martin C. ZB 2003: Formal Specification and Development in Z and B: An Analysis of Forward Simulation Data Refinement Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2003 Published in: ZB 2003: Formal Specification and Development in Z and B Henson, Martin C.; Reeves, Steve ZB 2000: Formal Specification and Development in Z and B: Program Development and Specification Refinement in the Schema Calculus Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2000 Published in: ZB 2000: Formal Specification and Development in Z and B Henson, Martin C.; Reeves, Steve Revising Z: Part I – logic and semantics Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 1999 Published in: Formal Aspects of Computing Henson, Martin C.; Reeves, Steve Revising Z: Part II – logical development Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 1999 Published in: Formal Aspects of Computing Henson, Martin C.; Reeves, Steve ZUM ’98: The Z Formal Specification Notation: A Logic for the Schema Calculus Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1998 Published in: ZUM ’98: The Z Formal Specification Notation Henson, Martin C.; Turner, Raymond Lecture Notes in Computer Science: A constructive set theory for program development Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1988 Published in: Lecture Notes in Computer Science Henson, Martin C.; Deutsch, Moshe; Kajtazi, Besnik The specification logic νZ Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2006 Published in: Formal Aspects of Computing Deutsch, Moshe; Henson, Martin C.; Reeves, Steve ZB 2003: Formal Specification and Development in Z and B: Operation Refinement and Monotonicity in the Schema Calculus Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2003 Published in: ZB 2003: Formal Specification and Development in Z and B Kolewe, Martin E.; Roberts, Susan C.; Henson, Michael A. A population balance equation model of aggregation dynamics in Taxus suspension cell cultures Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiley, 2012 Published in: Biotechnology and Bioengineering Kolewe, Martin E.; Henson, Michael A.; Roberts, Susan C. Analysis of aggregate size as a process variable affecting paclitaxel accumulation in Taxus suspension cultures Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiley, 2011 Published in: Biotechnology Progress Kolewe, Martin E.; Henson, Michael A.; Roberts, Susan C. Characterization of aggregate size in Taxus suspension cell culture Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2010 Published in: Plant Cell Reports Giamalaki, K.; Beaulieu, C.; Henson, S. A.; Martin, A. P.; Kassem, H.; Faranda, D. Future intensification of extreme Aleutian low events and their climate impacts Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2021 Published in: Scientific Reports Giamalaki, K.; Beaulieu, C.; Faranda, D.; Henson, S. A.; Josey, S. A.; Martin, A. P. Signatures of the 1976–1977 Regime Shift in the North Pacific Revealed by Statistical Analysis Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. American Geophysical Union (AGU), 2018 Published in: Journal of Geophysical Research: Oceans Rumyantseva, Anna; Lucas, Natasha; Rippeth, Tom; Martin, Adrian; Painter, Stuart C.; Boyd, Timothy J.; Henson, Stephanie Ocean nutrient pathways associated with the passage of a storm Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. American Geophysical Union (AGU), 2015 Published in: Global Biogeochemical Cycles Dub, Pavel A.; Henson, Neil J.; Martin, Richard L.; Gordon, John C. Unravelling the Mechanism of the Asymmetric Hydrogenation of Acetophenone by [RuX2(diphosphine)(1,2-diamine)] Catalysts Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. American Chemical Society (ACS), 2014 Published in: Journal of the American Chemical Society Urban, Regina W.; Martin, Shirley D.; Foglia, Dorothy C.; Henson, J. Sheree; Belz, Joni N.; Bilton, Valerie R. Acute care nurse managers' definitions of and barriers to well‐being: A thematic analysis of open‐ended survey questions Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiley, 2023 Published in: Worldviews on Evidence-Based Nursing Phillips, Elise K.; Shaffer, Jacob M. C.; Henson, Michael W.; Coelho, Jordan T.; Martin, Mark O.; Thrash, J. Cameron Genome sequences of four agarolytic bacteria from the Bacteroidia and Gammaproteobacteria Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. American Society for Microbiology, 2023 Published in: Microbiology Resource Announcements Martin, Shirley D.; Urban, Regina W.; Foglia, Dorothy C.; Henson, Jo Sheree; George, Viji; McCaslin, Tricia Well‐being in acute care nurse managers: A risk analysis of physical and mental health factors Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiley, 2023 Published in: Worldviews on Evidence-Based Nursing
Henson, Martin C.; Kajtazi, Besnik The Specification Logic νZ Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2005 Published in: Electronic Notes in Theoretical Computer Science
Henson, Martin C.; Reeves, Steve A Logic for Schema-Based Program Development Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2003 Published in: Formal Aspects of Computing
Deutsch, Moshe; Henson, Martin C. ZB 2003: Formal Specification and Development in Z and B: An Analysis of Forward Simulation Data Refinement Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2003 Published in: ZB 2003: Formal Specification and Development in Z and B
Henson, Martin C.; Reeves, Steve ZB 2000: Formal Specification and Development in Z and B: Program Development and Specification Refinement in the Schema Calculus Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2000 Published in: ZB 2000: Formal Specification and Development in Z and B
Henson, Martin C.; Reeves, Steve Revising Z: Part I – logic and semantics Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 1999 Published in: Formal Aspects of Computing
Henson, Martin C.; Reeves, Steve Revising Z: Part II – logical development Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 1999 Published in: Formal Aspects of Computing
Henson, Martin C.; Reeves, Steve ZUM ’98: The Z Formal Specification Notation: A Logic for the Schema Calculus Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1998 Published in: ZUM ’98: The Z Formal Specification Notation
Henson, Martin C.; Turner, Raymond Lecture Notes in Computer Science: A constructive set theory for program development Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1988 Published in: Lecture Notes in Computer Science
Henson, Martin C.; Deutsch, Moshe; Kajtazi, Besnik The specification logic νZ Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2006 Published in: Formal Aspects of Computing
Deutsch, Moshe; Henson, Martin C.; Reeves, Steve ZB 2003: Formal Specification and Development in Z and B: Operation Refinement and Monotonicity in the Schema Calculus Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2003 Published in: ZB 2003: Formal Specification and Development in Z and B
Kolewe, Martin E.; Roberts, Susan C.; Henson, Michael A. A population balance equation model of aggregation dynamics in Taxus suspension cell cultures Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiley, 2012 Published in: Biotechnology and Bioengineering
Kolewe, Martin E.; Henson, Michael A.; Roberts, Susan C. Analysis of aggregate size as a process variable affecting paclitaxel accumulation in Taxus suspension cultures Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiley, 2011 Published in: Biotechnology Progress
Kolewe, Martin E.; Henson, Michael A.; Roberts, Susan C. Characterization of aggregate size in Taxus suspension cell culture Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2010 Published in: Plant Cell Reports
Giamalaki, K.; Beaulieu, C.; Henson, S. A.; Martin, A. P.; Kassem, H.; Faranda, D. Future intensification of extreme Aleutian low events and their climate impacts Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2021 Published in: Scientific Reports
Giamalaki, K.; Beaulieu, C.; Faranda, D.; Henson, S. A.; Josey, S. A.; Martin, A. P. Signatures of the 1976–1977 Regime Shift in the North Pacific Revealed by Statistical Analysis Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. American Geophysical Union (AGU), 2018 Published in: Journal of Geophysical Research: Oceans
Rumyantseva, Anna; Lucas, Natasha; Rippeth, Tom; Martin, Adrian; Painter, Stuart C.; Boyd, Timothy J.; Henson, Stephanie Ocean nutrient pathways associated with the passage of a storm Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. American Geophysical Union (AGU), 2015 Published in: Global Biogeochemical Cycles
Dub, Pavel A.; Henson, Neil J.; Martin, Richard L.; Gordon, John C. Unravelling the Mechanism of the Asymmetric Hydrogenation of Acetophenone by [RuX2(diphosphine)(1,2-diamine)] Catalysts Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. American Chemical Society (ACS), 2014 Published in: Journal of the American Chemical Society
Urban, Regina W.; Martin, Shirley D.; Foglia, Dorothy C.; Henson, J. Sheree; Belz, Joni N.; Bilton, Valerie R. Acute care nurse managers' definitions of and barriers to well‐being: A thematic analysis of open‐ended survey questions Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiley, 2023 Published in: Worldviews on Evidence-Based Nursing
Phillips, Elise K.; Shaffer, Jacob M. C.; Henson, Michael W.; Coelho, Jordan T.; Martin, Mark O.; Thrash, J. Cameron Genome sequences of four agarolytic bacteria from the Bacteroidia and Gammaproteobacteria Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. American Society for Microbiology, 2023 Published in: Microbiology Resource Announcements
Martin, Shirley D.; Urban, Regina W.; Foglia, Dorothy C.; Henson, Jo Sheree; George, Viji; McCaslin, Tricia Well‐being in acute care nurse managers: A risk analysis of physical and mental health factors Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiley, 2023 Published in: Worldviews on Evidence-Based Nursing
> Media type Skip to next facet Articles (85) Wert ausschließen Books (12) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (46) Wert ausschließen Without Specification (50) Wert ausschließen Show more show less
> Language Skip to next facet English (86) Wert ausschließen Not determined (10) Wert ausschließen German (1) Wert ausschließen Show more show less
> Subject Skip to next facet Medicine (19) Wert ausschließen Biology (14) Wert ausschließen Technology (13) Wert ausschließen Computer science (11) Wert ausschließen Chemistry and pharmacology (8) Wert ausschließen Mathmatics (3) Wert ausschließen Physics (3) Wert ausschließen Psychology (3) Wert ausschließen Geography (2) Wert ausschließen Geology and paleontology (2) Wert ausschließen General sciences (1) Wert ausschließen Art and art history (1) Wert ausschließen Agriculture and forestry, horticulture, fisheries, housekeeping (1) Wert ausschließen Show more show less
> Creator Skip to next facet Henson, Martin C. (19) Wert ausschließen Henson, Dru A. (10) Wert ausschließen Nieman, David C. (10) Wert ausschließen Marks, Michael (9) Wert ausschließen Carmichael, Martin D. (8) Wert ausschließen Carr, L. (8) Wert ausschließen Dumke, Charles L. (8) Wert ausschließen McAnulty, Lisa S. (8) Wert ausschließen McAnulty, Steven R. (8) Wert ausschließen Moore, William Henson (8) Wert ausschließen Quindry, John C. (8) Wert ausschließen Utter, Alan C. (8) Wert ausschließen Ahmad, S. (7) Wert ausschließen Archer, William Reynolds (7) Wert ausschließen Conable, Barber Benjamin (7) Wert ausschließen Davis, J. Mark (7) Wert ausschließen Gross, Sarah J. (7) Wert ausschließen Johnson, C. (7) Wert ausschließen Jones, H. (7) Wert ausschließen Jones, L. (7) Wert ausschließen Martin, James Grubbs (7) Wert ausschließen Murphy, E. Angela (7) Wert ausschließen Patel, B. (7) Wert ausschließen Raman, Betty (7) Wert ausschließen Ullman, Albert Conrad (7) Wert ausschließen Wilson, D. (7) Wert ausschließen Ali, M. (6) Wert ausschließen Burns, G. (6) Wert ausschließen Clark, C. (6) Wert ausschließen Davies, K. (6) Wert ausschließen Deutsch, Moshe (6) Wert ausschließen Duncan, John James (6) Wert ausschließen Elneima, Omer (6) Wert ausschließen Evans, R. (6) Wert ausschließen Frenzel, William Eldridge (6) Wert ausschließen George, J. (6) Wert ausschließen Gradison, Willis David (6) Wert ausschließen Ho, Ling-Pei (6) Wert ausschließen Jones, S. (6) Wert ausschließen Kelly, S. (6) Wert ausschließen King, C. (6) Wert ausschließen Knight, S. (6) Wert ausschließen Li, X. (6) Wert ausschließen Manley, R. (6) Wert ausschließen Mayer, Eugene P. (6) Wert ausschließen Patel, M. (6) Wert ausschließen Patel, S. (6) Wert ausschließen Reddy, R. (6) Wert ausschließen Reed, A. (6) Wert ausschließen Reeves, Steve (6) Wert ausschließen Richardson, M. (6) Wert ausschließen Schulze, Richard Taylor (6) Wert ausschließen Shah, A. (6) Wert ausschließen Sharma, M. (6) Wert ausschließen Singapuri, Amisha (6) Wert ausschließen Singh, S. (6) Wert ausschließen Smith, D. (6) Wert ausschließen Smith, L. (6) Wert ausschließen United States Congress House Committee on Ways and Means (6) Wert ausschließen Vander Jagt, Guy Adrian (6) Wert ausschließen Vickers, C. (6) Wert ausschließen Walker, S. (6) Wert ausschließen Watson, E. (6) Wert ausschließen Wilkinson, D. (6) Wert ausschließen Williams, J. (6) Wert ausschließen Abbondondolo, Michael (5) Wert ausschließen Abel, K. (5) Wert ausschließen Adamali, H. (5) Wert ausschließen Adams, Timothy (5) Wert ausschließen Aljaroof, M. (5) Wert ausschließen Amado, Darlene (5) Wert ausschließen Arnold, H. (5) Wert ausschließen Ashish, A. (5) Wert ausschließen Ashworth, M. (5) Wert ausschließen Asif, Ilma (5) Wert ausschließen Ayoub, A. (5) Wert ausschließen Bafalis, Louis Arthur (5) Wert ausschließen Bagshaw, J. (5) Wert ausschließen Bailey, L. (5) Wert ausschließen Bakau, M. (5) Wert ausschließen Baldry, E. (5) Wert ausschließen Bates, A. (5) Wert ausschließen Batterham, R. (5) Wert ausschließen Beadsworth, M. (5) Wert ausschließen Beggs, M. (5) Wert ausschließen Begum, M. (5) Wert ausschließen Birchall, K. (5) Wert ausschließen Bonnington, J. (5) Wert ausschließen Boonstra, Matthew (5) Wert ausschließen Botkai, A. (5) Wert ausschließen Bourcier, Katarzyna (5) Wert ausschließen Breen, G. (5) Wert ausschließen Bright, E. (5) Wert ausschließen Brindle, K. (5) Wert ausschließen Brown, A. (5) Wert ausschließen Brown, J. (5) Wert ausschließen Brown, M. (5) Wert ausschließen Buch, M. (5) Wert ausschließen Bundy, Brian (5) Wert ausschließen Burden, L. (5) Wert ausschließen Show more show less
> Collection Skip to next facet Wiley (CrossRef) (12) Wert ausschließen Elsevier BV (CrossRef) (11) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (9) Wert ausschließen U.S. Congressional Serial Set (9) Wert ausschließen Ovid Technologies (Wolters Kluwer Health) (CrossRef) (8) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (8) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (7) Wert ausschließen Oxford University Press (OUP) (CrossRef) (5) Wert ausschließen American Diabetes Association (CrossRef) (4) Wert ausschließen American Geophysical Union (AGU) (CrossRef) (3) Wert ausschließen American Medical Association (AMA) (CrossRef) (3) Wert ausschließen Verbunddaten SWB (3) Wert ausschließen Frontiers Media SA (CrossRef) (2) Wert ausschließen SAGE Publications (CrossRef) (2) Wert ausschließen American Association for the Advancement of Science (AAAS) (CrossRef) (1) Wert ausschließen American Chemical Society (ACS) (CrossRef) (1) Wert ausschließen American Physiological Society (CrossRef) (1) Wert ausschließen American Society for Microbiology (CrossRef) (1) Wert ausschließen BMJ (CrossRef) (1) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (1) Wert ausschließen Lizenzfreie Online-Ressourcen (1) Wert ausschließen MDPI AG (CrossRef) (1) Wert ausschließen Mary Ann Liebert Inc (CrossRef) (1) Wert ausschließen Public Library of Science (PLoS) (CrossRef) (1) Wert ausschließen Radiological Society of North America (RSNA) (CrossRef) (1) Wert ausschließen The Endocrine Society (CrossRef) (1) Wert ausschließen Show more show less