Showing
1 - 4
results of
4
for search '
Liu, Zhiming
'
इसे छोड़कर सामग्री पर बढ़ने के लिए
आपका खाता
लॉग आउट
लॉग इन करें
भाषा
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
सभी फ़ील्ड्स
शीर्षक
लेखक
विषय
बोधानक
आईएसबीएन / आईएसएसएन
टैग
खोज
उन्नत
लेखक
Liu, Zhiming
Showing
1 - 4
results of
4
for search '
Liu, Zhiming
'
, सवाल का समय: 0.14सेकंड
परिणाम को परिष्कृत करें
श्रेणीबद्ध करें
प्रासंगिकता
तिथि अवरोही में
तिथि आरोही में
बोधानक
लेखक
शीर्षक
1
Domain Modeling and the Duration Calculus
द्वारा
George, Chris
,
Liu
,
Zhiming
,
Woodcock, Jim
प्रकाशित 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
पूर्ण पाठ प्राप्त करें
क्यूआर कोड दिखाएं
सूची में सहेजें
में बचाया:
2
Formal Methods and Hybrid Real-Time Systems
द्वारा
Jones, Cliff B.
,
Liu
,
Zhiming
,
Woodcock, Jim
प्रकाशित 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
पूर्ण पाठ प्राप्त करें
क्यूआर कोड दिखाएं
सूची में सहेजें
में बचाया:
3
Engineering Trustworthy Software Systems
द्वारा
Bowen, Jonathan P.
,
Liu
,
Zhiming
,
Zhang, Zili
प्रकाशित 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
पूर्ण पाठ प्राप्त करें
क्यूआर कोड दिखाएं
सूची में सहेजें
में बचाया:
4
Theoretical Aspects of Computing - ICTAC 2007
द्वारा
Jones, Cliff B.
,
Liu
,
Zhiming
,
Woodcock, Jones
प्रकाशित 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
पूर्ण पाठ प्राप्त करें
क्यूआर कोड दिखाएं
सूची में सहेजें
में बचाया:
खोज साधन :
RSS फ़ीड प्राप्त करें
—
इस खोज को ईमेल करें
लोड हो रहा है...