Results of the synthesis of optimal networks of AND and OR gates for four-variable switching functions by a branch-and-bound computer program Q Science
NOR network transduction by generalized gate merging and substitution procedures : (principles of NOR network transduction programs NETTRA-G3 and NETTRA-G4) Q Science
A vertebrate fauna of Lakeland : including Cumberland and Westmorland with Lancashire north of the sands Q Science
Scheduling periodic-time-critical jobs on single processor and multiprocessor computing systems Q Science
Future developments in stiff integration techniques : stability of methods that do not use an exact Jacobian Q Science
Error estimation and iterative improvement for the numerical solution of operator equations Q Science
