WorldCat Identities

Jones, C. B.

Overview
Works: 82 works in 115 publications in 2 languages and 937 library holdings
Genres: History  Criticism, interpretation, etc  Sources 
Roles: Editor
Classifications: QA76.7, 001.6424
Publication Timeline
Key
Publications about  C. B Jones Publications about C. B Jones
Publications by  C. B Jones Publications by C. B Jones
Most widely held works about C. B Jones
 
Most widely held works by C. B Jones
Radical sensibility : literature and ideas in the 1790s by C. B Jones ( Book )
6 editions published in 1993 in English and held by 299 WorldCat member libraries worldwide
The Victorian sages; an anthology of prose by Alan W Bellringer ( Book )
5 editions published between 1974 and 1975 in English and held by 298 WorldCat member libraries worldwide
The Romantic age in prose : an anthology ( Book )
4 editions published between 1980 and 1986 in English and Undetermined and held by 171 WorldCat member libraries worldwide
Programming languages and their definition by H Bekič ( )
8 editions published between 1984 and 1985 in 3 languages and held by 32 WorldCat member libraries worldwide
Mural : a formal development support system by C. B Jones ( )
3 editions published in 1991 in English and held by 18 WorldCat member libraries worldwide
Formal methods enable computer architecture and software design to be mathematically proved correct before they are implemented. The complexity and time-consuming nature of such proofs have limited the applications of formal methods in the main to defence and safety-critical applications. The mural project (a joint Alvey-funded project between Manchester University and Rutherford Appleton Laboratories) has developed a software support system to help the user of formal methods. mural has created a user-friendly software environment (with extensive use of windows) that makes best use of human talents to produce computer systems that are proved to be correctly designed. Professor Cliff Jones is internationally known as the developer of the VDM system of formal notation (Vienna Development Method). This book describes the requirements, concepts, and realisation of the mural system. The authors present systematically and completely the results of this substantial research project, from the basic theoretical level to its effective implementation. The book will be of equal interest to academics working on formal methods at research level (and perhaps to graduate research students), and to practitioners and software engineers who are using - or who will have to use for defence contracts, etc. - formal methods
Development of high-power modulators with low-voltage components by C. B Jones ( )
2 editions published in 1955 in English and held by 11 WorldCat member libraries worldwide
Through students' eyes ( Visual )
2 editions published in 1997 in English and held by 9 WorldCat member libraries worldwide
Designed to help undergraduate students make effective transitions to university life
Process-algebraic foundations for an object-based design notation by C. B Jones ( Book )
2 editions published between 1993 and 1994 in English and held by 5 WorldCat member libraries worldwide
Essays in computing science by C. A. R Hoare ( Book )
1 edition published in 1989 in English and held by 4 WorldCat member libraries worldwide
A specification for ACMs by C. B Jones ( Book )
1 edition published in 2012 in English and held by 4 WorldCat member libraries worldwide
The hydrolysis of cirazoline and the mechanism of stabilization by SDDS by C. B Jones ( Book )
2 editions published in 1988 in English and held by 3 WorldCat member libraries worldwide
Managing an international film project by C. B Jones ( Visual )
2 editions published between 1993 and 1994 in English and held by 3 WorldCat member libraries worldwide
A case study of the role of the producer in a documentary film, who operates from London to control a project in a remote northwest Australian location. It traces the project from concept to advanced stages of production, and illustrates the process for gaining talent, money and markets
Through students' eyes ( Visual )
1 edition published in 1997 in English and held by 3 WorldCat member libraries worldwide
Designed to help first year undergraduate students to make effective transitions to university life
A typed logic of partial functions reconstructed classically by C. B Jones ( Book )
1 edition published in 1993 in English and held by 3 WorldCat member libraries worldwide
XRDPLT : a Fortran IV program for the graphical representation of x-ray powder diffraction data by C. B Jones ( )
1 edition published in 1981 in Undetermined and held by 2 WorldCat member libraries worldwide
Assignment file by C. B Jones ( Book )
1 edition published in 1991 in English and held by 2 WorldCat member libraries worldwide
Programming Languages and Their Definition H. Bekič (1936-1982) by C. B Jones ( )
1 edition published in 1984 in English and held by 2 WorldCat member libraries worldwide
Total e-clipse the forces driving the internet and how they will change your world forever ( Visual )
1 edition published in 2000 in English and held by 2 WorldCat member libraries worldwide
Lessons about sleepiness and driving from the Selby Rail Disaster case : R v Gary Neil Hart by S. M. W Rajaratnam ( )
2 editions published in 2004 in English and held by 2 WorldCat member libraries worldwide
In April 2003, near the town of Selby in North Yorkshire, England, a motor vehicle went off the road to cause a train collision, killing 10 and injuring more than 70 people. The driver of the vehicle, Gary Neil Hart, had allegedly fallen asleep while driving, and was charged and subsequently convicted of causing death by dangerous driving. Evidence from an expert witness was led by the prosecution to establish that Hart had in fact fallen asleep, and that prior to falling asleep, he knew (or ought to have known) that he was at risk of falling asleep but nevertheless continued to drive. The issue of whether and to what extent individuals are aware that they are about to fall asleep has significant implications for criminal prosecutions. Generally, the definition of a criminal offense includes a mental element such as intent or knowledge. Therefore, it is imperative that issues such as whether in every individual there is forewarning of sleep and the degree to which individuals are able to self-assess their ability to continue driving under conditions of extreme sleepiness must be resolved. Sleepiness is now regarded as the largest identifiable and preventable cause of accidents in all modes of transportation. Litigation for such accidents is likely to increase, and therefore it is of great importance that further research be undertaken to examine the process of falling asleep, especially the subjective experiences immediately preceding sleep
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.72 (from 0.00 for The hydrol ... to 1.00 for Lessons ab ...)
Alternative Names
Jones, C. B. 1944-
Jones Chris
Jones, Chris 1944-
Jones Chris B.
Jones, Christopher Bertram
Jones, Christopher Bertram 1944-
Languages
English (44)
German (1)
Covers