Liang Yu – författare
Visar alla böcker från författaren Liang Yu. Handla med fri frakt och snabb leverans.
11 produkter
Recursion Theory
Computational Aspects of Definability
Inbunden, 2015
2141 kr
Lägg i varukorg
This monograph presents recursion theory from a generalized point of view centered on the computational aspects of definability. A major theme is the study of the structures of degrees arising from two key notions of reducibility, the Turing degrees and the hyperdegrees, using techniques and ideas …
Recursion Theory
Computational Aspects of Definability
E-bok, 2015
2168 kr
Lägg i varukorg
This monograph presents recursion theory from a generalized point of view centered on the computational aspects of definability. A major theme is the study of the structures of degrees arising from two key notions of reducibility, the Turing degrees and the hyperdegrees, using techniques and ideas …
Recursion Theory
Computational Aspects of Definability
E-bok, 2015
2168 kr
Lägg i varukorg
This monograph presents recursion theory from a generalized point of view centered on the computational aspects of definability. A major theme is the study of the structures of degrees arising from two key notions of reducibility, the Turing degrees and the hyperdegrees, using techniques and ideas …
Energy Management of Internet Data Centers in Smart Grid
Inbunden, 2015
550 kr
Lägg i varukorg
This book reports the latest findings on intelligent energy management of Internet data centers in smart-grid environments. The book gathers novel research ideas in Internet data center energy management, especially scenarios with cyber-related vulnerabilities, power outages and carbon emission …
Energy Management of Internet Data Centers in Smart Grid
E-bok, 2015
734 kr
Lägg i varukorg
This book reports the latest findings on intelligent energy management of Internet data centers in smart-grid environments. The book gathers novel research ideas in Internet data center energy management, especially scenarios with cyber-related vulnerabilities, power outages and carbon emission …
Energy Management of Internet Data Centers in Smart Grid
Häftad, 2016
550 kr
Lägg i varukorg
This book reports the latest findings on intelligent energy management of Internet data centers in smart-grid environments. The book gathers novel research ideas in Internet data center energy management, especially scenarios with cyber-related vulnerabilities, power outages and carbon emission …
COMPUTABILITY THEORY AND FOUNDATIONS OF MATHEMATICS - PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON COMPUTABILITY THEORY AND FOUNDATIONS OF MATHEMATICS
Av Peng Ningning, NingNing Peng m. fl.
Inbunden, 2022
1433 kr
Lägg i varukorg
This volume features the latest scientific developments in the fields of computability theory and logical foundations of mathematics as well as applications. The scope involves the topics of Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of …
PROCEEDINGS OF THE 14TH AND 15TH ASIAN LOGIC CONFERENCES
Av Kim Byunghan, Byunghan Kim m. fl.
Inbunden, 2019
1709 kr
Lägg i varukorg
The Asian Logic Conference (ALC) is a major international event in mathematical logic. It features the latest scientific developments in the fields of mathematical logic and its applications, logic in computer science, and philosophical logic. The ALC series also aims to promote mathematical logic …
PROCEEDINGS OF THE 13TH ASIAN LOGIC CONFERENCE
Av Zhao Xishun, Xishun Zhao m. fl.
Inbunden, 2015
1593 kr
Lägg i varukorg
This volume provides a forum which highlights new achievements and overviews of recent developments of the thriving logic groups in the Asia-Pacific region. It contains papers by leading logicians and also some contributions in computer science logics and philosophic logics.
HIGHER RECURSION THEORY AND SET THEORY
Av Cummings James, James Cummings m. fl.
Inbunden, 2025
2041 kr
Lägg i varukorg
This volume celebrates the research contributions of Professors Theodore A Slaman and W Hugh Woodin, marking their distinguished careers in higher recursion theory and set theory as they approached the milestone of their 65th birthdays in 2019. It originates from the Institute for Mathematical …
