1. Logical analysis of hybrid systems
پدیدآورنده : Andre Platzer
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع :
2. Logical analysis of hybrid systems
پدیدآورنده : Andre Platzer
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع :
رده :
T
57
,.
6
.
P57L6
2010