語系
跳至 : 概要 | 書目資訊 | 主題

Podelski, Andreas.

概要
作品: 1 作品在 2 項出版品 1 種語言
書目資訊
Networked Systems = 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers / by: SpringerLink (Online service); Taïani, François.; Podelski, Andreas. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]
Verified software = theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Podelski, Andreas.; Joshi, Rajeev.; Muller, Peter.; SpringerLink (Online service) (書目-語言資料,印刷品)
Static analysis = 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018 : proceedings / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Podelski, Andreas.; SpringerLink (Online service) (書目-語言資料,印刷品)
Tools and algorithms for the construction and analysis of systems = 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / by: Jensen, K. (1950-); SpringerLink (Online service); Podelski, Andreas.; Workshop on the Preservation of Stability under Discretization ((2001 :) (書目-語言資料,印刷品)
Static Analysis = 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings / by: SpringerLink (Online service); Podelski, Andreas. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]
 
 
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入