博客來-作者-Swarat

		Neurosymbolic Programming 外文書 , Chaudhuri Ellis Kevin Oleksandr Polozov Swarat , Ingram , 出版日期: 2021-12-09 優惠價: 3850 元 Neurosymbolic programming is an emerging area that bridges the areas of deep learning and program sy... more	放入購物車下次再買
		NASA Formal Methods: 15th International Symposium, Nfm 2023, Houston, Tx, Usa, May 16-18, 2023, Proceedings 外文書 , Chaudhuri Kristin Yvonne Rozier Swarat , Ingram , 出版日期: 2023-06-03 優惠價: 5999 元 This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NF... more	放入購物車下次再買
		Computer Aided Verification: 28th International Conference, Cav 2016, Toronto, On, Canada, July 17-23, 2016, Proceedings, Part II 外文書 , Azadeh Chaudhuri Farzan Swarat , Ingram , 出版日期: 2016-07-14 優惠價: 3299 元 The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th Internat... more	放入購物車下次再買
		Computer Aided Verification: 28th International Conference, Cav 2016, Toronto, On, Canada, July 17-23, 2016, Proceedings, Part I 外文書 , Azadeh Chaudhuri Farzan Swarat , Ingram , 出版日期: 2016-07-14 優惠價: 3299 元 The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th Internat... more	放入購物車下次再買

搜尋推薦