Lijun Zhang – författare
Visar alla böcker från författaren Lijun Zhang. Handla med fri frakt och snabb leverans.
21 produkter
21 produkter
Inbunden, Engelska, 2019
849 kr
Skickas inom 5-8 vardagar
Chinese folklorists are well acquainted with the work of their English-language colleagues, but until recently the same could not be said about American scholars' knowledge of Chinese folkloristics. Chinese Folklore Studies Today aims to address this knowledge gap by illustrating the dynamics of contemporary folklore studies in China as seen through the eyes of the up-and-coming generation of scholars. Contributors to this volume focuses on topics that have long been the dominant areas of folklore studies in China, including myth, folk song, and cultural heritage, as well as topics that are new to the field, such as urban folklore and women's folklore. The ethnographic case studies presented here represent a broad range of geographic areas within mainland China and also introduce English-language readers to relevant Chinese literature on each topic, creating the foundation for further cross-cultural collaborations between English-language and Chinese folkloristics.
Häftad, Engelska, 2019
330 kr
Skickas inom 5-8 vardagar
Chinese folklorists are well acquainted with the work of their English-language colleagues, but until recently the same could not be said about American scholars' knowledge of Chinese folkloristics. Chinese Folklore Studies Today aims to address this knowledge gap by illustrating the dynamics of contemporary folklore studies in China as seen through the eyes of the up-and-coming generation of scholars. Contributors to this volume focuses on topics that have long been the dominant areas of folklore studies in China, including myth, folk song, and cultural heritage, as well as topics that are new to the field, such as urban folklore and women's folklore. The ethnographic case studies presented here represent a broad range of geographic areas within mainland China and also introduce English-language readers to relevant Chinese literature on each topic, creating the foundation for further cross-cultural collaborations between English-language and Chinese folkloristics.
Inbunden, Engelska, 2024
918 kr
Skickas inom 10-15 vardagar
Yongding County in southeast China is famous for its large, multistory communal vernacular buildings known as tulou, translated "rammed earth building." These structures were designated a UNESCO World Heritage Site in 2008. Living in Heritage introduces readers outside of China to this classic example of local Chinese architecture in the context of contemporary heritage preservation and tourism.Focusing on the Yongding Hakka Tulou Folk Culture Village, which is part of Hongkeng Village, author Lijun Zhang examines the on-the-ground processes and effects of heritage-making, UNESCO-inspired tourism, and how locals negotiate the dramatic transformation of their daily, social, and economic lives. Within an age of cultural change beginning at the start of the 21st century, Living in Heritage explores how the tulou phenomenon as heritage has and continues to be transformed into cultural, economic, or political capital. Through her careful study, Zhang reveals how the blurring of formerly distinct domains—private and public, local and global—gives rise to a living museum that now relies on insiders and outsiders to preserve their way of life.Living in Heritage offers an in-depth ethnographic account of the people dwelling and working within traditional tulou architecture in the 21st century.
Häftad, Engelska, 2024
391 kr
Skickas inom 10-15 vardagar
Yongding County in southeast China is famous for its large, multistory communal vernacular buildings known as tulou, translated "rammed earth building." These structures were designated a UNESCO World Heritage Site in 2008. Living in Heritage introduces readers outside of China to this classic example of local Chinese architecture in the context of contemporary heritage preservation and tourism.Focusing on the Yongding Hakka Tulou Folk Culture Village, which is part of Hongkeng Village, author Lijun Zhang examines the on-the-ground processes and effects of heritage-making, UNESCO-inspired tourism, and how locals negotiate the dramatic transformation of their daily, social, and economic lives. Within an age of cultural change beginning at the start of the 21st century, Living in Heritage explores how the tulou phenomenon as heritage has and continues to be transformed into cultural, economic, or political capital. Through her careful study, Zhang reveals how the blurring of formerly distinct domains—private and public, local and global—gives rise to a living museum that now relies on insiders and outsiders to preserve their way of life.Living in Heritage offers an in-depth ethnographic account of the people dwelling and working within traditional tulou architecture in the 21st century.
Inbunden, Engelska, 2020
1 185 kr
Skickas inom 5-8 vardagar
The noise, vibration, and harshness (NVH), also known as noise and vibration (N&V), is a critical feature for customers to assess the performance and quality of vehicles. NVH characteristics are higher among factors that customers use to judge the vehicle's quality.This book sets out to introduce the basic concepts, principles, and applications of the NVH development and refi nement of Battery Electric Vehicles (BEV), Hybrid Electric Vehicles (HEV), and Fuel Cell Electric Vehicles. Each type comes with its own set of challenges.
Häftad, Engelska, 2020
742 kr
Skickas inom 5-8 vardagar
Inbunden, Engelska, 2020
771 kr
Skickas inom 5-8 vardagar
Häftad, Engelska, 2020
742 kr
Skickas inom 5-8 vardagar
Inbunden, Engelska, 2020
778 kr
Skickas inom 5-8 vardagar
Del 11427 - Lecture Notes in Computer Science
Tools and Algorithms for the Construction and Analysis of Systems
25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
Häftad, Engelska, 2019
559 kr
Skickas inom 10-15 vardagar
This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows:Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning.Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.
Del 11428 - Lecture Notes in Computer Science
Tools and Algorithms for the Construction and Analysis of Systems
25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II
Häftad, Engelska, 2019
559 kr
Skickas inom 10-15 vardagar
This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows:Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning.Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.
Inbunden, Engelska, 2019
1 080 kr
Skickas inom 10-15 vardagar
Discrete-Time and Discrete-Space Dynamical Systems provides a systematic characterization of the similarities and differences of several types of discrete-time and discrete-space dynamical systems, including:Boolean control networks;nondeterministic finite-transition systems;finite automata;labelled Petri nets; andcellular automata.The book's perspective is primarily based on topological properties though it also employs semitensor-product and graph-theoretic methods where appropriate. It presents a series of fundamental results: invertibility, observability, detectability, reversiblity, etc., with applications to systems biology.Academic researchers with backgrounds in applied mathematics, engineering or computer science and practising engineers working with discrete-time and discrete-space systems will find this book a helpful source of new understanding for this increasingly important class of systems. The basic results to be found within are of fundamental importance for further study of related problems such as automated synthesis and safety control in cyber-physical systems using formal methods.
E-bok
Engelska, 20191 367 kr
Läs direkt efter köp
Discrete-Time and Discrete-Space Dynamical Systems provides a systematic characterization of the similarities and differences of several types of discrete-time and discrete-space dynamical systems, including:Boolean control networks;nondeterministic finite-transition systems;finite automata;labelled Petri nets; andcellular automata.The book''s perspective is primarily based on topological properties though it also employs semitensor-product and graph-theoretic methods where appropriate. It presents a series of fundamental results: invertibility, observability, detectability, reversiblity, etc., with applications to systems biology.Academic researchers with backgrounds in applied mathematics, engineering or computer science and practising engineers working with discrete-time and discrete-space systems will find this book a helpful source of new understanding for this increasingly important class of systems. The basic results to be found within are of fundamental importance for further study of related problems such as automated synthesis and safety control in cyber-physical systems using formal methods.
Häftad, Engelska, 2020
1 080 kr
Skickas inom 10-15 vardagar
Discrete-Time and Discrete-Space Dynamical Systems provides a systematic characterization of the similarities and differences of several types of discrete-time and discrete-space dynamical systems, including:Boolean control networks;nondeterministic finite-transition systems;finite automata;labelled Petri nets; andcellular automata.The book's perspective is primarily based on topological properties though it also employs semitensor-product and graph-theoretic methods where appropriate. It presents a series of fundamental results: invertibility, observability, detectability, reversiblity, etc., with applications to systems biology.Academic researchers with backgrounds in applied mathematics, engineering or computer science and practising engineers working with discrete-time and discrete-space systems will find this book a helpful source of new understanding for this increasingly important class of systems. The basic results to be found within are of fundamental importance for further study of related problems such as automated synthesis and safety control in cyber-physical systems using formal methods.
Del 12153 - Lecture Notes in Computer Science
Dependable Software Engineering. Theories, Tools, and Applications
6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings
Häftad, Engelska, 2020
559 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020. The 10 full and 1 short paper included in this volume were carefully reviewed and selected from 20 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.
E-bok
Engelska, 2020708 kr
Läs direkt efter köp
This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020.
The 10 full and 1 short paper included in this volume were carefully reviewed and selected from 20 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.
Del 9364 - Lecture Notes in Computer Science
Automated Technology for Verification and Analysis
13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
Häftad, Engelska, 2015
559 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015.The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.
E-bok
PDF, Engelska, 2015734 kr
Läs direkt efter köp
This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015.
The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.
Inbunden, Engelska, 2018
1 112 kr
Skickas inom 10-15 vardagar
This book summarizes Chinese banks’ achievements in global markets and examines the differences between Chinese and foreign banks. It also explores the future roadmap of internationalization and the risks involved in the process, in order to provide reference resource for Chinese banks.Based on the CBII (Chinese Bank Internationalization Index), which was first released in 2015, the book introduces the Banks’ Internationalization Index (“BII”) and expands the BII by examining two groups of data, including the number of overseas branches, overseas assets and revenue. In addition it analyzes representative Chinese banks’ internationalization, using 16 of the Global Systemically Important Banks (G-SIBs) as benchmarks.
E-bok
Engelska, 20181 408 kr
Läs direkt efter köp
This book summarizes Chinese banks’ achievements in global markets and examines the differences between Chinese and foreign banks. It also explores the future roadmap of internationalization and the risks involved in the process, in order to provide reference resource for Chinese banks.Based on the CBII (Chinese Bank Internationalization Index), which was first released in 2015, the book introduces the Banks’ Internationalization Index (“BII”) and expands the BII by examining two groups of data, including the number of overseas branches, overseas assets and revenue. In addition it analyzes representative Chinese banks’ internationalization, using 16 of the Global Systemically Important Banks (G-SIBs) as benchmarks.
Häftad, Engelska, 2018
1 112 kr
Skickas inom 10-15 vardagar
This book summarizes Chinese banks’ achievements in global markets and examines the differences between Chinese and foreign banks. It also explores the future roadmap of internationalization and the risks involved in the process, in order to provide reference resource for Chinese banks.Based on the CBII (Chinese Bank Internationalization Index), which was first released in 2015, the book introduces the Banks’ Internationalization Index (“BII”) and expands the BII by examining two groups of data, including the number of overseas branches, overseas assets and revenue. In addition it analyzes representative Chinese banks’ internationalization, using 16 of the Global Systemically Important Banks (G-SIBs) as benchmarks.