Search

Your search keyword '"Back R"' showing total 478 results

Search Constraints

Start Over You searched for: Author "Back R" Remove constraint Author: "Back R"
478 results on '"Back R"'

Search Results

11. Refinement calculus, part II: Parallel and reactive programs

12. Refinement calculus, part I: Sequential nondeterministic programs

15. Conductivity measurements of electrochemically oxidized Langmuir-Blodgett films of phthalocyaninato-polysiloxane

27. A lattice-theoretical basis for a specification language

28. Stepwise refinement of action systems

29. A method for refining atomicity in parallel algorithms

32. Serializability in distributed systems with handshaking

37. Decomposition of highly vibrationally excited CDCl3.

50. Industrial and Laboratory Pyrolyses

Catalog

Books, media, physical & digital resources