478 results on '"Back R"'
Search Results
2. Mass Balance Studies of Mercury and Methyl Mercury in Small Temperate/Boreal Lakes of the Northern Hemisphere
3. An action system specification of the caltech asynchronous microprocessor
4. Mercury in Zooplankton of Northern Wisconsin Lakes: Taxonomic and Site-Specific Trends
5. From action systems to modular systems
6. Trace Refinement of Action Systems
7. Refinement of Parallel and Reactive Programs
8. Refinement Calculus, Lattices and Higher Order Logic
9. Predicate transformers and higher order logic
10. Refinement Diagrams
11. Refinement calculus, part II: Parallel and reactive programs
12. Refinement calculus, part I: Sequential nondeterministic programs
13. 121 Characterization of different immortalized keratinocyte cell lines as models for epidermal differentiation studies
14. Compositional Action System Refinement
15. Conductivity measurements of electrochemically oxidized Langmuir-Blodgett films of phthalocyaninato-polysiloxane
16. Superposition refinement of reactive systems
17. The decomposition of ethylene by pulsed CO2 laser radiation at pressures from 500 to 3000 torr and the use of the 2 C2H4⇄cyclobutane equilibrium as an internal thermometer
18. Duality in specification languages: a lattice-theoretical approach
19. Refinement concepts formalised in higher order logic
20. Influence of phosphorus on the preparation of CoMO/Al2O3 hydrotreating catalysts
21. Trace Refinement of Action Systems
22. Refinement Calculus, Lattices and Higher Order Logic
23. Predicate transformers and higher order logic
24. Refinement of Parallel and Reactive Programs
25. The Art of Estimating a Moving Parameter and Reducing Bias Introduced by Inflated Measurements in Student Assessments
26. A Computational Interpretation of Truth Logic
27. A lattice-theoretical basis for a specification language
28. Stepwise refinement of action systems
29. A method for refining atomicity in parallel algorithms
30. Das Bewältigungsverhalten von Suchttherapeuten nach einem Rückfall ihres Klienten
31. Locality in modular systems
32. Serializability in distributed systems with handshaking
33. Structure of C-terminal domain from S. cerevisiae Pat1 decapping activator bound to Dcp2 HLM10 peptide (region 954-970)
34. Structure of C-terminal domain from S. cerevisiae Pat1 decapping activator bound to Dcp2 HLM2 peptide (region 435-451)
35. Structure of C-terminal domain from S. cerevisiae Pat1 decapping activator bound to Dcp2 HLM3 peptide (region 484-500)
36. Patrimônio Cultural no Extremo Sul Catarinense: Salvaguarda do Patrimônio Entre Rios
37. Decomposition of highly vibrationally excited CDCl3.
38. Rotationally resolved resonance scattering from a predissociating molecule: Ammonia-d3 excited at 2139 Å and 2144 Å.
39. Flash Photolysis of Ethylene.
40. Combination Reactions of Imino Radicals in the Flash Photolysis of Isocyanic Acid.
41. Photochemistry in the Photo-Ionization Region. II. Photochemistry of Methane, Ethane, and Ethylene at Wavelengths below 900 Å.
42. Photochemistry in the Photo-Ionization Region. I. Apparatus and Techniques.
43. Structure of the active form of /K. lactis/ Dcp1-Dcp2-Edc3 decapping complex bound to m7GDP
44. Structure of /K. lactis/ Dcp1-Dcp2 decapping complex.
45. Decentralization of process nets with centralized control
46. Proving total correctness of nondeterministic programs in infinitary logic
47. The preparation, properties and reactions of diimide
48. A calculus of refinements for program derivations
49. The absorption of pulsed CO2-laser radiation by ethylene at total pressures from 25 to 3000 Torr
50. Industrial and Laboratory Pyrolyses
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.