Anaphylaxis In Elderly Patients Presenting to the Emergency Departments of a Large Health System From January 2016 to December 2017 von Meir, Lea, Habbsa, Samima, League, Christopher, Jongco, Artemio, Waqar, Omar

Volltext

Anaphylaxis among elderly emergency department patients in a large health system in New York von Meir, Lea R., Habbsa, Samima, Waqar, Omar, League, Christopher, Li, Timmy, Jongco, Artemio M.

Volltext

MetaOCaml server pages: Web publishing as staged computation von League, Christopher

Volltext

Schema-Based Compression of XML Data with Relax NG von League, Christopher, Eng, Kenjone

Volltext

Elements: Bifrost – A CPU/GPU Pipeline Framework for High-Throughput Data Acquisition and Analysis von Taylor, Greg, League, Christopher

Volltext bestellen

Elements: Bifrost – A CPU/GPU Pipeline Framework for High-Throughput Data Acquisition and Analysis von Taylor, Gregory, League, Christopher

Volltext bestellen

Typed Compilation Against Non-manifest Base Classes von League, Christopher, Monnier, Stefan

Volltext

Type-preserving compilation of Featherweight Java von League, Christopher, Shao, Zhong, Trifonov, Valery

Volltext

Composite model-checking: verification with type-specific symbolic representations von Bultan, Tevfik, Gerber, Richard, League, Christopher

Volltext

Fatal failure diagnostics circuit and methodology von LEAGUE CHRISTOPHER M

Volltext bestellen

Composite model-checking von Bultan, Tevfik, Gerber, Richard, League, Christopher

Volltext

Precision in Practice: A Type-Preserving Java Compiler von League, Christopher, Shao, Zhong, Trifonov, Valery

Volltext

Fatal Failure Diagnostics Circuit and Methodology von LEAGUE CHRISTOPHER M

Volltext bestellen

Lambda Calculi: A Guide for Computer Scientists by Chris Hankin von League, Christopher

Volltext

Review of Isomorphisms of Types: from λ-calculus to information retrieval and language design by Roberto Di Cosmo (Birkhauser, 1995) von League, Christopher

Volltext

Type-Based Compression of XML Data von League, C., Eng, K.

Volltext

A Type-Preserving Compiler Infrastructure von League, Christopher A

Volltext bestellen

Seal assembly for gas turbine engine von WINES, DANIEL EDWARD, LEAGUE, CHRISTOPHER JAMES, WHITAKER, GEORGE EDWIN, HABEDANK, MARK STEVEN, DZIECH, MICHAEL AARON

Volltext bestellen

Verifying systems with integer constraints and Boolean predicates:a composite approach von Bultan, Tevfik, Gerber, Richard, League, Christopher

Volltext

Methods and apparatus to reduce seal rubbing within gas turbine engines von WINES, DANIEL EDWARD, LEAGUE, CHRISTOPHER JAMES, WHITAKER, GEORGE EDWIN, HABEDANK, MARK STEVEN, DZIECH, MICHAEL AARON

Volltext bestellen