搜尋書籍

搜尋「edited by Dietmar Seipel, Michael Hanus, Armin Wolf.」的結果： 找到 37,171 本書籍， 0 個書架

館藏
Applications of declarative programming and knowledge management : 17th international conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Wurzburg, Germany, October 4-6, 2007 ; revised selected papers
edited by Dietmar Seipel, Michael Hanus, Armin Wolf.
Springer Berlin Heidelberg
2009
ISBN 9783642006753 (electronic bk.) ; 9783642006746 (paper)
館藏電子書
Applications of declarative programming and knowledge management 17th international conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Wurzburg, Germany, October 4-6, 2007 ; revised selected papers
edited by Dietmar Seipel, Michael Hanus, Armin Wolf.
Springer Berlin Heidelberg
2009.
ISBN 9783642006753
館藏
Applications of declarative programming and knowledge management : 18th international conference, INAP 2009, Evora, Portugal, November 3-5, 2009 : revised selected papers
edited by Salvador Abreu, Dietmar Seipel.
Springer Berlin Heidelberg
2011
ISBN 9783642205897 (electronic bk.) ; 9783642205880 (paper)
館藏電子書
Applications of declarative programming and knowledge management 18th international conference, INAP 2009, Evora, Portugal, November 3-5, 2009 : revised selected papers
edited by Salvador Abreu, Dietmar Seipel.
Springer Berlin Heidelberg
2011.
ISBN 9783642205897
館藏
Logic-based program synthesis and transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers
edited by Michael Hanus.
Springer Berlin Heidelberg
2009
ISBN 9783642005152 (electronic bk.) ; 9783642005145 (paper)
館藏
High Performance Computing in Science and Engineering `07 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2007
edited by Wolfgang E. Nagel, Dietmar Kroner, Michael Resch.
Springer-Verlag
2008
ISBN 9783540747390 (electronic bk.) ; 9783540747383 (paper)
查看全部 37,171 本書籍

沒有找到相關書架

請嘗試其他關鍵字