國立高雄大學圖資館 |

查詢結果 [ subject:"Program transformation (Computer programming)"]

10 筆 (0.032s)· 頁 1 of 1 • 1

1.

Program specialization

~
Marlet, Renaud.
- Program specialization
- by: Marlet, Renaud.
- 書目-電子資源 : Monograph/item
- 出版者: ISTE ;; Wiley,
- 出版地: London :
- 出版年: 2013
- ISBN: 1118576985; 1118577000; 9781118576984; 9781118577004
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
2.

Optimization in engineering sciences...

~
Stefanoiu, Dan.
- Optimization in engineering sciencesmetaheuristics, stochastic methods and decision support /
- by: Stefanoiu, Dan.
- 書目-電子資源 : Monograph/item
- 出版者: John Wiley and Sons, Inc.,
- 出版地: London :
- 出版年: 2014
- ISBN: 1118648765; 1118648773; 1848214987; 9781118648766; 9781118648773
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
3.

Natural computing for simulation-bas...

~
Leopold, Nadiia.
- Natural computing for simulation-based optimization and beyond
- by: Leopold, Nadiia.; Meyer-Nieberg, Silja.; SpringerLink (Online service); Uhlig, Tobias.
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2020
- ISBN: 9783030262143; 9783030262150
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
4.

Theory and Practice of Model Transfo...

~
(1998 :)
- Theory and Practice of Model TransformationsFirst International Conference, ICMT 2008, Zurich, Switzerland, July 1-2, 2008 Proceedings /
- by: (1998 :); Gray, Jeff.; Pierantonio, Alfonso.; SpringerLink (Online service); Vallecillo, Antonio.
- 書目-電子資源 : Monograph/item
- 出版者: Springer-Verlag Berlin Heidelberg,
- 出版地: Berlin, Heidelberg :
- 出版年: 2008
- ISBN: 9783540699262; 9783540699279
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
5.
- Supervised machine learningoptimization framework and applications with SAS and R /
- by: Berestizhevsky, Samuel.; Kolosova, Tanya.
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: CRC Press,
- 出版地: Boca Raton, FL :
- 出版年: 2021
- ISBN: 0429297599; 1000176819; 1000176827; 1000176835; 9780429297595; 9781000176810; 9781000176827; 9781000176834
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
6.

Data-driven optimization and knowled...

~
Chakrabarty, Krishnendu.
- Data-driven optimization and knowledge discovery for an enterprise information system
- by: Chakrabarty, Krishnendu.; Duan, Qing.; SpringerLink (Online service); Zeng, Jun.
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2015
- ISBN: 9783319187372; 9783319187389
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
7.

Multiobjective optimizationinteracti...

~
Branke, Jurgen.
- Multiobjective optimizationinteractive and evolutionary approaches /
- by: Branke, Jurgen.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Springer Berlin Heidelberg,
- 出版地: Berlin, Heidelberg :
- 出版年: 2008
- ISBN: 9783540889076; 9783540889083
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
8.

Learning and intelligent optimizatio...

~
(1998 :)
- Learning and intelligent optimizationthird international conference, LION 3, Trento, Italy, January 14-18, 2009 : selected papers /
- by: (1998 :); SpringerLink (Online service); Stutzle, Thomas.
- 書目-語言資料,印刷品 : Monograph/item
- 出版者: Springer-Verlag Berlin Heidelberg,
- 出版地: Berlin, Heidelberg :
- 出版年: 2009
- ISBN: 9783642111686; 9783642111693
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
9.

Logic-based program synthesis and tr...

~
(1998 :)
- Logic-based program synthesis and transformation21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011 : revised selected papers /
- by: (1998 :); SpringerLink (Online service); Vidal, German.
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer Berlin Heidelberg :
- 出版地: Berlin, Heidelberg :
- 出版年: 2012
- ISBN: 9783642322105; 9783642322112
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
10.

HPC@Green ITgreen high performance c...

~
Gruber, Ralf.
- HPC@Green ITgreen high performance computing methods /
- by: Gruber, Ralf.; Keller, Vincent.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer-Verlag Berlin Heidelberg,
- 出版地: Berlin, Heidelberg :
- 出版年: 2010
- ISBN: 9783642017889; 9783642017896
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論

書目性質:
資料類型:
查找有館藏的資料