Lijun Zhang – författare

Visar alla böcker från författaren Lijun Zhang. Handla med fri frakt och snabb leverans.

21 produkter

Kategorier

21 produkter

Chinese Folklore Studies Today
Discourse and Practice
AvLijun Zhang,Ziying You
Inbunden, Engelska, 2019
858 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.
Chinese Folklore Studies Today
Discourse and Practice
AvLijun Zhang,Ziying You
Häftad, Engelska, 2019
333 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.
Living in Heritage
Tulou As Vernacular Architecture, Global Asset, and Tourist Destination in Contemporary China
AvLijun Zhang
Inbunden, Engelska, 2024
927 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.
Living in Heritage
Tulou As Vernacular Architecture, Global Asset, and Tourist Destination in Contemporary China
AvLijun Zhang
Häftad, Engelska, 2024
395 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.
Noise, Vibration and Harshness of Electric and Hybrid Vehicles
AvGang Chen,Lijun Zhangm. fl.
Inbunden, Engelska, 2020
1 194 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.
Tools and Algorithms for the Construction and Analysis of Systems
AvLijun Zhang,Tomás Vojnar
Häftad, Engelska, 2020
737 kr
Skickas inom 3-6 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
AvLijun Zhang,Tomás Vojnar
Inbunden, Engelska, 2020
797 kr
Skickas inom 5-8 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
AvLijun Zhang,Tomás Vojnar
Häftad, Engelska, 2020
736 kr
Skickas inom 3-6 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
AvLijun Zhang,Tomás Vojnar
Inbunden, Engelska, 2020
805 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
AvTomáš Vojnar,Lijun Zhang
Häftad, Engelska, 2019
577 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
AvTomáš Vojnar,Lijun Zhang
Häftad, Engelska, 2019
577 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.
Discrete-Time and Discrete-Space Dynamical Systems
AvKuize Zhang,Lijun Zhangm. fl.
Inbunden, Engelska, 2019
1 113 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.
Discrete-Time and Discrete-Space Dynamical Systems
AvLihua Xie,Lijun Zhangm. fl.
E-bok
Engelska, 2019
1 427 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.
Discrete-Time and Discrete-Space Dynamical Systems
AvKuize Zhang,Lijun Zhangm. fl.
Häftad, Engelska, 2020
1 113 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
AvJun Pang,Lijun Zhang
Häftad, Engelska, 2020
577 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.
Dependable Software Engineering. Theories, Tools, and Applications
6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings
AvLijun Zhang,Jun Pang
E-bok
Engelska, 2020
739 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
AvBernd Finkbeiner,Geguang Pum. fl.
Häftad, Engelska, 2015
577 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.
Automated Technology for Verification and Analysis
13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
AvLijun Zhang,Geguang Pum. fl.
E-bok
PDF, Engelska, 2015
739 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.
In Pursuit of Presence or Prominence?
The Prospect of Chinese Banks' Global Expansion and Their Benchmarks
AvShenglin Ben,Jiefang Yum. fl.
Inbunden, Engelska, 2018
1 147 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.
In Pursuit of Presence or Prominence?
The Prospect of Chinese Banks'' Global Expansion and Their Benchmarks
AvQi Shuai,Hanting Gum. fl.
E-bok
Engelska, 2018
1 470 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.
In Pursuit of Presence or Prominence?
The Prospect of Chinese Banks' Global Expansion and Their Benchmarks
AvShenglin Ben,Jiefang Yum. fl.
Häftad, Engelska, 2018
1 147 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.

Företag, bibliotek eller offentlig verksamhet?

Lijun Zhang – författare

Chinese Folklore Studies Today

Chinese Folklore Studies Today

Living in Heritage

Living in Heritage

Noise, Vibration and Harshness of Electric and Hybrid Vehicles

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Discrete-Time and Discrete-Space Dynamical Systems

Discrete-Time and Discrete-Space Dynamical Systems

Discrete-Time and Discrete-Space Dynamical Systems

Dependable Software Engineering. Theories, Tools, and Applications

Dependable Software Engineering. Theories, Tools, and Applications

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

In Pursuit of Presence or Prominence?

In Pursuit of Presence or Prominence?

In Pursuit of Presence or Prominence?

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration