نتایج جستجو
Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings
David L. Dill (auth.), 1999
Unconventional Computation: 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings
Shun-ichi Amari (auth.), 2010
Unconventional Computation: 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings
Shun-ichi Amari (auth.), 2010
