|
Showing 1 - 14 of
14 matches in All Departments
Civil Engineering and Energy-Environment focuses on the research of
civil engineering, environment resources and energy materials. This
proceedings gathers the most cutting-edge research and
achievements, aiming to provide scholars and engineers with
preferable research direction and engineering solution as
reference. Subjects in this proceedings include: - Engineering
Structure - Environmental Protection Materials - Architectural
Environment ·Environment Resources - Energy Storage - Building
Electrical Engineering The works of this proceedings will promote
development of civil engineering and environment engineering.
Thereby, promote scientific information interchange between
scholars from top universities, research centers and high-tech
enterprises working all around the world.
Civil Engineering and Energy-Environment focuses on the research of
civil engineering, environment resources and energy materials. This
proceedings gathers the most cutting-edge research and
achievements, aiming to provide scholars and engineers with
preferable research direction and engineering solution as
reference. Subjects in this proceedings include: - Engineering
Structure - Environmental Protection Materials - Architectural
Environment ·Environment Resources - Energy Storage - Building
Electrical Engineering The works of this proceedings will promote
development of civil engineering and environment engineering.
Thereby, promote scientific information interchange between
scholars from top universities, research centers and high-tech
enterprises working all around the world.
This book constitutes the thoroughly refereed post-workshop
proceedings of the 5th International Workshop on Structured
Object-Oriented Formal Language and Method, SOFL+MSVL 2015, held in
Paris, France, in November 2015. The 15 papers presented in this
volume were carefully reviewed and selected from 22 submissions.
The focus of this workshops was on following subjects: Modeling,
specification, verification, model checking, testing, debugging,
transformation, and algorithm.
This book constitutes revised selected papers from the Third
International Workshop on Structured Object-Oriented Formal
Language and Method, SOFL+MSVL 2013, held in Queenstown, New
Zealand, in October 2013. The 13 papers presented in this volume
were carefully reviewed and selected from 22 submissions. They are
organized in topical sections on testing and verification,
simulation and model checking, SOFL tools, and formal specification
and application.
|
Theory and Applications of Models of Computation - 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings (Paperback, 2008 ed.)
Manindra Agrawal, Dingzhu Du, Zhenhua Duan, Angsheng Li
|
R3,062
Discovery Miles 30 620
|
Ships in 10 - 15 working days
|
Theory and Applications of Models of Computation (TAMC) is an
inter- tional conference series with an interdisciplinary
character, bringing together researchers working in computer
science, mathematics (especially logic), and the physicalsciences.
This crossdisciplinarycharacter, together with its focus on
algorithms, complexity, and computability theory, gives the
conference a special ?avor and distinction. TAMC2008wasthe?fth
conferenceintheseries.Thepreviousfourmeetings
wereheldduringMay17-19,2004inBeijing, May17-20,2005inKunming, May
15-20,2006 in Beijing, and May 22-25, 2007 in Shanghai. TAMC 2008
was held in Xi'an, during April 25-29, 2008. At TAMC 2008 we had
two plenary speakers, Bernard Chazelle and Cynthia Dwork, giving
one-hour talkseach. Bernardspokeon "WhyAlgorithms Matter" and
Cynthia on "Di?erential Privacy: A Survey of Results." Their
respective papers accompanying the talks are included in the
proceedings. In addition, there were two special sessions organized
by Barry Cooper and Ying Jiang on "Models of Computation" and by
Jianer Chen on "Algorithms and Complexity." The invited speakersin
the ?rst session wereJoseFelix Costa, Vincent Danos, Luke Ong,
Mingsheng Ying, Miklos Santha, and Gilles Dowek. Invited speakers
in the second session were Daniel Brown, Dieter Kratsch, - aotie
Deng, and Jianer Chen. The TAMC conference series arose naturally
in response to important sci- ti?c developments a?ecting how we
compute in the twenty-?rst century. At the same time, TAMC is
already playing an important regional and international role, and
promises to become a key contributor to the scienti?c resurgence
seen throughout China and other parts of Asia.
|
Structured Object-Oriented Formal Language and Method - 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers (Paperback, 1st ed. 2021)
Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan
|
R1,557
Discovery Miles 15 570
|
Ships in 10 - 15 working days
|
This book constitutes the refereed workshop proceedings of the 10th
International Workshop on Structured Object-Oriented Formal
Language and Method, SOFL+MSVL 2020, held in Singapore, in March
2021. The 13 revised full papers included in the volume were
carefully reviewed and selected from 24 submissions. They are
organized in the following topical sections: modeling and
specification; model checking; specification and verification; and
testing and formal verification.Due to the Corona pandemic this
event was held virtually.
This book constitutes the refereed workshop proceedings of the 11th
International Workshop on Structured Object-Oriented Formal
Language and Method, SOFL+MSVL 2022, held in Madrid, in October
2022. The 12 revised full papers included in the volume were
carefully reviewed and selected from 26 submissions. They are
organized in the following topical sections:Â Model Checking
& Markov Decision Process;Â Model Analysis & Tool
Implementation;Â Formal Specification & Testing;
Algorithms & Verification. Â .
|
Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers (Paperback, 1st ed. 2020)
Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan
|
R1,582
Discovery Miles 15 820
|
Ships in 10 - 15 working days
|
This book constitutes the thoroughly refereed workshop proceedings
of the 9th International Workshop on Structured Object-Oriented
Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen,
China, in November 2019. The 23 revised full papers included in the
volume were carefully reviewed and selected from 43 submissions.
They are organized in the following topical sections: testing and
debugging, formal verification, problem solving, software analysis
and evolution, and software analysis and testing.
|
Computing and Combinatorics - 25th International Conference, COCOON 2019, Xi'an, China, July 29-31, 2019, Proceedings (Paperback, 1st ed. 2019)
Dingzhu Du, Zhenhua Duan, Cong Tian
|
R1,682
Discovery Miles 16 820
|
Ships in 10 - 15 working days
|
This book constitutes the proceedings of the 25th International
Conference on Computing and Combinatorics, COCOON 2019, held in
Xi'an, China, in July 2019. The 55 papers presented in this volume
were carefully reviewed and selected from 124 submissions. The
papers cover various topics, including algorithm design,
approximation algorithm, graph theory, complexity theory, problem
solving, optimization, computational biology, computational
learning, communication network, logic, and game theory.
|
Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers (Paperback, 1st ed. 2019)
Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya
|
R1,557
Discovery Miles 15 570
|
Ships in 10 - 15 working days
|
This book constitutes the thoroughly refereed workshop proceedings
of the 8th International Workshop on Structured Object-Oriented
Formal Language and Method, SOFL+MSVL 2018, held in Gold Coast,
QLD, Australia, in November 2018. The 11 revised full papers
included in the volume were carefully reviewed and selected from 21
submissions. They are organized in the following topical sections:
programming and testing; verification and validation; semantics;
and blockchain.
|
Structured Object-Oriented Formal Language and Method - 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers (Paperback, 1st ed. 2018)
Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan
|
R1,557
Discovery Miles 15 570
|
Ships in 10 - 15 working days
|
This book constitutes the thoroughly refereed workshop proceedings
of the 7th International Workshop on Structured Object-Oriented
Formal Language and Method, SOFL+MSVL 2017, held in Xi'an, China,
in November 2017. The 13 revised full papers included in the volume
were carefully reviewed and selected from 21 submissions. They are
organized in the following topical sections: animation and
prototyping; graph theory; model checking; modeling and
specification; and verification and validation.
This book constitutes the refereed proceedings of the 19th
International Conference on Formal Engineering Methods, ICFEM 2017,
held in Xi'an, China, in November 2017. The 28 revised full papers
presented together with one invited talk and two abstracts of
invited talks were carefully reviewed and selected from 80
submissions. The conference focuses on all areas related to formal
engineering methods, such as verification and validation, software
engineering, formal specification and modeling, software security,
and software reliability.
|
Structured Object-Oriented Formal Language and Method - 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers (Paperback, 1st ed. 2017)
Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya
|
R2,281
Discovery Miles 22 810
|
Ships in 10 - 15 working days
|
This book constitutes revised selected papers from the 6th
International Workshop on Structures Object-Oriented Formal
Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in
November 2016. The 13 papers presented in this volume were
carefully reviewed and selected from 26 submissions. They are
organized in topical sections named: modeling and specification;
animation and prototyping; verification and validation; and model
checking.
This book constitutes the thoroughly refereed post-workshop
proceedings of the 4th International Workshop on Structured
Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in
Luxembourg, Luxembourg, in November 2014. The 12 papers presented
in this volume were carefully reviewed and selected from 20
submissions. They are organized in topical sections on testing and
inspection; model checking and animation; education and
verification; and semantics and analysis.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|