Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
5 sonuç bulundu Arama sonuçlarına abone ol
00000DEFAULT
Yazdır
1. 
Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures için kapak resmi
Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
by 
Liu, Zhiming. editor.
https://doi.org/10.1007/978-3-642-39721-9
Format: 
Alıntı: 
Theory of Computation.
2. 
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday için kapak resmi
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
by 
Liu, Zhiming. editor.
https://doi.org/10.1007/978-3-642-39698-4
Format: 
Alıntı: 
Theory of Computation.
3. 
Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings için kapak resmi
Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
by 
Liu, Zhiming. editor.
https://doi.org/10.1007/978-3-642-04761-9
Format: 
Alıntı: 
Theory of Computation.
4. 
Theoretical Aspects of Computing - ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings için kapak resmi
Theoretical Aspects of Computing - ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings
by 
Jones, Cliff B. editor.
https://doi.org/10.1007/978-3-540-75292-9
Format: 
Alıntı: 
Theory of Computation.
5. 
Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers için kapak resmi
Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
by 
Liu, Zhiming. editor.
https://doi.org/10.1007/b107116
Format: 
Alıntı: 
Theory of Computation.