×

找到5个文档(结果1-5)

在二元超立方体中寻找精益诱导循环。 (英语) Zbl 1247.68248号

Kullmann,Oliver(编辑),可满足性测试的理论和应用——SAT 2009。2009年6月30日至7月3日在英国斯旺西举行的2009年第12届国际SAT会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02776-5/pbk)。计算机科学课堂讲稿5584,18-31(2009)。
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

识别沿循环吸引子具有周期轨道的玻璃网络的代数算法。 (英语) Zbl 1127.92004号

Anai,Hirokazu(编辑)等,代数生物学。第二届国际会议,2007年7月2日至4日,奥地利哈根堡堡,AB 2007。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73432-1/pbk)。计算机科学课堂讲稿4545140-154(2007)。
MSC公司:92B05型 68瓦30 68瓦99
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

文档类型

出版年份

全部的 前3名

主字段

软件