Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematical logic --- Computer. Automation --- Logic, Symbolic and mathematical --- Machine theory --- Set theory --- Logique symbolique et mathématique --- Automates mathématiques, Théorie des --- Théorie des ensembles --- Logic, symbolic and mathematical --- 510.5 --- Aggregates --- Classes (Mathematics) --- Ensembles (Mathematics) --- Mathematical sets --- Sets (Mathematics) --- Theory of sets --- Mathematics --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Syllogism --- Algorithms. Computable functions --- Logic, Symbolic and mathematical. --- Machine theory. --- Set theory. --- 510.5 Algorithms. Computable functions --- Logique symbolique et mathématique --- Automates mathématiques, Théorie des --- Théorie des ensembles

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematical logic --- Logic, Symbolic and mathematical

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer science --- Logic, Symbolic and mathematical. --- Mathematics. --- Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Logic, symbolic and mathematical. --- Computer science - Mathematics.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Today, privacy is one of the most hotly debated topics worldwide. The book aims to balance the development of personal rights in a country that has historically valued collective rights over those of the individual. The protection of privacy is not an issue that has been emphasised during the rapid development of economic laws in China. However, the accompanying development of greater government-based regulation of these laws’ implementation has led to greater invasions of personal privacy. This study attempts to provide a way forward for China to address the ever-increasing concerns about the protection of privacy and puts forward a legislative model for protection. This is achieved after - a thorough analysis of the threats to privacy protection in China, - a critical evaluation of the level of current privacy protection in China, and - an analysis of the privacy laws in a series of developed nations based on common law and civil law.

Data protection -- Law and legislation -- China. --- Law reform -- China. --- Privacy, Right of -- China. --- Privacy, Right of --- Data protection --- Law reform --- Law - Non-U.S. --- Law, Politics & Government --- Law, General & Comparative --- Law - Africa, Asia, Pacific & Antarctica --- Law and legislation --- Privacy --- Invasion of privacy --- Right of privacy --- Law. --- Private international law. --- Conflict of laws. --- International law. --- Comparative law. --- Public international law. --- Private International Law, International & Foreign Law, Comparative Law. --- Public International Law. --- Law of nations --- Nations, Law of --- Public international law --- Law --- Comparative jurisprudence --- Comparative legislation --- Jurisprudence, Comparative --- Law, Comparative --- Legislation, Comparative --- Choice of law --- Conflict of laws --- Intermunicipal law --- International law, Private --- International private law --- Private international law --- Legal polycentricity --- Acts, Legislative --- Enactments, Legislative --- Laws (Statutes) --- Legislative acts --- Legislative enactments --- Jurisprudence --- Legislation --- Civil law --- Social psychology --- Secrecy --- Solitude --- Civil rights --- Libel and slander --- Personality (Law) --- Press law --- Computer crimes --- Confidential communications --- Right to be forgotten --- Private International Law, International & Foreign Law, Comparative Law . --- Public International Law .

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book examines the water resistance capacity of the Upper Ordovician limestone and its feasibility as a water barrier to achieve safe and green mining. Mine water inrush events often occur during coal mine construction and production; they account for a large proportion of the coal mine disasters and accidents in China, second only to gas explosions. As mining depths and mining intensity continue to increase, the hydrogeological conditions encountered are becoming more complex. This book describes in-situ methods designed to test the water resistance of the limestone layer, as well as specific grouting techniques developed to transform this layer into a barrier that can prevent water inrush during mining. The innovative technologies, which were applied and validated in two coal mines, are applicable to other coal mines or any underground engineering works.

Geology. --- Geotechnical engineering. --- Hydrogeology. --- Geotechnical Engineering & Applied Earth Sciences. --- Mine water. --- Water in mines --- Groundwater --- Engineering, Geotechnical --- Geotechnics --- Geotechnology --- Engineering geology --- Geognosy --- Geoscience --- Earth sciences --- Natural history --- Geohydrology --- Geology --- Hydrology