Cypraeacean and triviacean literature 1971 - 1993

von Groves, Lindsey T.
Veröffentlicht 1994

Weakening Correctness and Linearizability for Concurrent Objects on Multicore Processors

von Smith, Graeme
Veröffentlicht in World Congress on Formal Methods (3. : 2019 : Porto, Portugal) Formal methods ; Part 2 (2020)

˜Theœ superfamily Cypraeoidea (Families Cypraeidae, Ovulidae, Triviidae, and Eratoidae) (Mollusca: Gastropoda)

von Groves, Lindsey T.
Veröffentlicht 2021

A Relaxed Balanced Lock-Free Binary Search Tree

von Singh, Manish
Veröffentlicht in PDCAT (21. : 2020 : Shenzhen) Parallel and distributed computing, applications and technologies (2021)

Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013 ; procee...

Veröffentlicht 2013

Syntactically Restricting Bounded Polymorphism for Decidable Subtyping

von Mackay, Julian
Veröffentlicht in APLAS (18. : 2020 : Online) Programming languages and systems (2020)

New information on molluscan paleontology and depositional environments of the Upper Pliocene Pico formation, Valencia Area, Los Angeles County, Southern California

von Squires, Richard L.
Veröffentlicht 2006

New information on molluscan paleontology and depositional environments of the upper pliocene pico formation, Valencia Area, Los Angeles County, Southern California

von Squires, Richard L.
Veröffentlicht 2006

Formal methods pacific '97 : proceedings of FMP '97, 9 - 11 July 1997, Wellington, New Zealand

Veröffentlicht 1997

Formal methods Pacific '97 : proceedings of FMP '97, 9 - 11 July 1997, Wellington, New Zealand ; [combined conference incorporating the 6th Australasian Refinement Workshop and t...

Veröffentlicht 1997