Search Results
-
Language: ENGCopyright: 2014
-
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 (Lecture Notes in Computer Science #11428)
by Tomáš Vojnar • Lijun ZhangThis 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... More
Language: ENGCopyright: 2019 -
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 (Lecture Notes in Computer Science #11427)
by Tomáš Vojnar • Lijun ZhangThis 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... More
Language: ENGCopyright: 2019 -
Dependable Software Engineering. Theories, Tools, and Applications: 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings (Lecture Notes in Computer Science #12153)
by Lijun Zhang • Jun PangThis 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 late... More
Language: ENGCopyright: 2020 -
Cohesive Subgraph Computation over Large Sparse Graphs: Algorithms, Data Structures, And Programming Techniques (Springer Series in the Data Sciences)
by Lu Qin • Lijun ChangThis book is considered the first extended survey on algorithms and techniques for efficient cohesive subgraph computation. With rapid development of information technology, huge volumes of graph data are accumulated. An availability of rich graph data not only brings great opportunities for realizi... More
Language: ENGCopyright: 2018 -
Discrete-Time and Discrete-Space Dynamical Systems (Communications and Control Engineering)
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... More
Language: ENGCopyright: 2020 -
Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings (Lecture Notes in Computer Science #9364)
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... More
Language: ENGCopyright: 2015 -
Chinese Folklore Studies Today: Discourse and Practice
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 con... More
Language: ENGCopyright: 2019 -
Databases Theory and Applications: 27th Australasian Database Conference, ADC 2016, Sydney, NSW, September 28-29, 2016, Proceedings (Lecture Notes in Computer Science #9877)
This book constitutes the refereed proceedings of the 26th Australasian Database Conference, ADC 2015, held in Melbourne, VIC, Australia, in June 2015. The 24 full papers presented together with 5 demo papers were carefully reviewed and selected from 43 submissions. The Australasian Database Confer... More
Language: ENGCopyright: 2015 -
Databases Theory and Applications: 30th Australasian Database Conference, ADC 2019, Sydney, NSW, Australia, January 29 – February 1, 2019, Proceedings (Lecture Notes in Computer Science #11393)
This book constitutes the refereed proceedings of the 30th Australasian Database Conference, ADC 2019, held in Sydney, NSW, Australia, in January/February 2019. <P><P> The 9 full papers presented together with one demo paper were carefully reviewed and selected from 19 submissions. The Australasia... More
Language: ENGCopyright: 2019 -
Database Systems for Advanced Applications: DASFAA 2017 International Workshops: BDMS, BDQM, SeCoP, and DMMOOC, Suzhou, China, March 27-30, 2017, Proceedings (Lecture Notes in Computer Science #10179)
This two volume set LNCS 10177 and 10178 constitutes the refereed proceedings of the 22nd International Conference on Database Systems for Advanced Applications, DASFAA 2017, held in Suzhou, China, in March 2017. The 73 full papers, 9 industry papers, 4 demo papers and 3 tutorials were carefully s... More
Language: ENGCopyright: 2017 -
In Pursuit of Presence or Prominence?: The Prospect Of Chinese Banks' Global Expansion And Their Benchmarks (Current Chinese Economic Report Ser.)
by Lijun Zhang • Shenglin Ben • Jiefang Yu • Yue Gu • Jiamin Lv • Huichao Gong • Hanting Gu • Qi ShuaiThis 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 ... More
Language: ENGCopyright: 2018 -
Database Systems for Advanced Applications: 22nd International Conference, DASFAA 2017, Suzhou, China, March 27-30, 2017, Proceedings, Part II (Lecture Notes in Computer Science #10178)
DASFAA is an annual international database conference, located in the Asia- Paci?cregion,whichshowcasesstate-of-the-artR & Dactivities in databases- tems and their applications. It provides a forum for technical presentations and discussions among database researchers, developers and users from aca... More
Language: ENGCopyright: 2009 -
Database Systems for Advanced Applications: 22nd International Conference, DASFAA 2017, Suzhou, China, March 27-30, 2017, Proceedings, Part I (Lecture Notes in Computer Science #10177)
DASFAA is an annual international database conference, located in the Asia- Paci?cregion,whichshowcasesstate-of-the-artR & Dactivities in databases- tems and their applications. It provides a forum for technical presentations and discussions among database researchers, developers and users from aca... More
Language: ENGCopyright: 2009 -
Web Technologies and Applications
by Zhiwei Zhang • Jia Zhu • Xiaoyan Yang • Rong Zhang • Wenjie Zhang • Atsuyuki Morishima • Lijun Chang • Tom Z. J Fu • Kuien LiuThis book constitutes the refereed proceedings of three workshops held at the 18th Asia-Pacific Web Conference, APWeb 2016, in Suzhou, China, in September 2016: the Second International Workshop on Web Data Mining and Applications, WDMA 2016, the First International Workshop on Graph Analytics and Q... More
Language: ENGCopyright: 2016 -
Human Resource Management in Shipping: Issues, Challenges, and Solutions (Routledge Studies in Transport Analysis)
by Pengfei Zhang • Lijun TangThis book sheds light on the nature and causes of the issues and challenges in human resources in shipping and proposes fresh recommendations to manage them. It explains the multiple forces at play, including the global regulatory regime, national institutional frameworks, industrial practices, trad... More
Language: ENGCopyright: 2021 -
Ship Management: Theory and Practice (Routledge Maritime Masters)
by Pengfei Zhang • Lijun TangShip Management: Theory and Practice unpacks the complexity of this crucial maritime activity by spelling out its key elements and the connections and linkages between them. Opening with an introduction and an overview of the special characteristics of ship management, the text then focuses on d... More
Language: ENGCopyright: 2022 -
Graph Sampling
Many technological, socio-economic, environmental, biomedical phenomena exhibit an underlying graph structure. Valued graph allows one to incorporate the connections or links among the population units in addition. The links may provide effectively access to the part of population that is the primar... More
Language: ENGCopyright: 2022 -
Analysis of Integrated Data (Chapman & Hall/CRC Statistics in the Social and Behavioral Sciences)
The advent of "Big Data" has brought with it a rapid diversification of data sources, requiring analysis that accounts for the fact that these data have often been generated and recorded for different reasons. Data integration involves combining data residing in different sources to enable statistic... More
Language: ENGCopyright: 2019 -
Sustainable Banking: The Greening of Finance
This comprehensive addition to the debate on sustainable development has been produced in order to take a global pulse on how the financial services sector is responding to the growing challenge of shareholder and stakeholder expectations on social and environmental performance. In the opinion of ma... More
Language: ENGCopyright: 2001 -
Musical Ecologies: Instrumental Music Ensembles Around the World
Community music around the world reflects the growing and diverse ways humans collectivise and express themselves in ways that articulate our cultural, social, and environmental complexity. Revisiting, redevising, and reimagining some of the field’s approaches, ideologies, and contexts, this co-edit... More
Language: ENGCopyright: 2023 -
Endangering Science Fiction Film (AFI Film Readers)
by Sean Redmond • Leon MarvellEndangering Science Fiction Film explores the ways in which science fiction film is a dangerous and endangering genre. The collection argues that science fiction's cinematic power rests in its ability to imagine ‘Other’ worlds that challenge and disturb the lived conditions of the ‘real’ world, as i... More
Language: ENGCopyright: 2015 -
Documenting Taiwan on Film: Issues and Methods in New Documentaries (Routledge Research on Taiwan Series)
To date, there is but a handful of articles on documentary films from Taiwan. This volume seeks to remedy the paucity in this area of research and conduct a systematic analysis of the genre. Each contributor to the volume investigates the various aspects of documentary by focusing on one or two spec... More
Language: ENGCopyright: 2012 -
Forest Hydrology
Forests cover approximately 26% of the world's land surface area and represent a distinct biotic community. They interact with water and soil in a variety of ways, providing canopy surfaces which trap precipitation and allow evaporation back into the atmosphere, thus regulating how much water reach... More
Language: ENGCopyright: 2016 -
Forest Hydrology: Processes, Management and Assessment
Forests cover approximately 26% of the world's land surface area and represent a distinct biotic community. They interact with water and soil in a variety of ways, providing canopy surfaces which trap precipitation and allow evaporation back into the atmosphere, thus regulating how much water reach... More
Language: ENGCopyright: 2016