CİLTLER LİSTELER GÜNLÜK AKTİVİTE İNCELEMELER İSTATİSTİK ÜYELER

Yükleniyor

Kitaplarını kaydet, raflarını kur, inceleme yaz, herkese açık listeler yap ve zevkine güvendiğin okurları takip et.

Keşfet

Ciltleri gez
Listeler
Günlük
İstatistik

Topluluk

Okur aktivitesi
Herkese açık listeler
İncelemeler
Üyeler

Bülten

Haftalık kitap önerileri al.

© 2026 Cilt. Tüm hakları saklıdır.

Gizlilik Şartlar

Yükleniyor

Yazar

Bican Xia

2 cilt bulundu.

Cilt sonuçları

Automated Inequality Proving And Discovering

Automated Inequality Proving And Discovering

Bican Xia, Lu Yang · World Scientific

345 sayfa · 2016-06-21

Mathematics

CiltMonitoring CTMCs by Multi-clock Timed AutomataYijun Feng, Joost-Pieter Katoen, Haokun Li, Bican Xia, Naijun Zhan

Monitoring CTMCs by Multi-clock Timed Automata

Yijun Feng, Joost-Pieter Katoen, Haokun Li, Bican Xia, Naijun Zhan · Yayınevi bilinmiyor

Sayfa sayısı yok · 2018

Kategori yok