Wang Yi – författare
Visar alla böcker från författaren Wang Yi. Handla med fri frakt och snabb leverans.
10 produkter
Faithful Disobedience
Writings on Church and State from a Chinese House Church Movement
Av Wang Yi, J. D. Tseng m. fl.
E-bok, 2022
284 kr
Lägg i varukorg
Christianity Today Book Award Finalist—Missions/Global ChurchReader''s Choice Award WinnerThroughout China''s rapidly growing cities, a new wave of unregistered house churches is growing. They are developing rich theological perspectives that are both uniquely Chinese and rooted in the historical …
Model Checking, Synthesis, and Learning
Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
Av Ernst-Rüdiger Olderog, Bernhard Steffen m. fl.
Häftad, 2021
735 kr
Lägg i varukorg
This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers written by many of his friends and collaborators.Bengt has made major contributions covering a wide range of topics including verification and learning. His works on verification, in finite state …
Model Checking, Synthesis, and Learning
Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
Av Wang Yi, Bernhard Steffen m. fl.
E-bok, 2021
903 kr
Lägg i varukorg
This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers written by many of his friends and collaborators. Bengt has made major contributions covering a wide range of topics including verification and learning. His works on verification, in finite state …
Dependable Software Engineering: Theories, Tools, and Applications
First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
Av Xuandong Li, Zhiming Liu m. fl.
Häftad, 2015
545 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015.The 20 full papers presented together with 3 invited talks were carefully reviewed and …
Dependable Software Engineering: Theories, Tools, and Applications
First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
Av Wang Yi, Zhiming Liu m. fl.
E-bok, 2015
672 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015. The 20 full papers presented together with 3 invited talks were carefully reviewed and …
Formal Modeling and Analysis of Timed Systems
Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
Häftad, 2005
551 kr
Lägg i varukorg
This volume contains the proceedings of FORMATS 2005, the Third Inter- tional Conference on Formal Modelling and Analysis of Timed Systems, held in Uppsala, Sweden, September 26-28, 2005, in conjunction with ARTIST2 s- mer school, September 29-October 2, 2005, on Component Modelling, Testing and …
Formal Modeling and Analysis of Timed Systems
Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
E-bok, 2005
755 kr
Lägg i varukorg
Tools and Algorithms for the Construction and Analysis of Systems
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Häftad, 2001
1127 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001.The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 …
Tools and Algorithms for the Construction and Analysis of Systems
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
E-bok, 2003
1470 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , TACAS 2001. The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 …
