國立高雄大學圖資館 |

Search result for [ subject:"Program transformation (Computer programming)"]

10 records (0.035s)· Page 1 of 1 • 1

1.

Program specialization

~
Marlet, Renaud.
- Program specialization
- by: Marlet, Renaud.
- Electronic resources : Monograph/item
- Publisher: ISTE ;; Wiley,
- Place of Publication: London :
- Year of Publication: 2013
- ISBN: 1118576985; 1118577000; 9781118576984; 9781118577004
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
2.

Optimization in engineering sciences...

~
Stefanoiu, Dan.
- Optimization in engineering sciencesmetaheuristics, stochastic methods and decision support /
- by: Stefanoiu, Dan.
- Electronic resources : Monograph/item
- Publisher: John Wiley and Sons, Inc.,
- Place of Publication: London :
- Year of Publication: 2014
- ISBN: 1118648765; 1118648773; 1848214987; 9781118648766; 9781118648773
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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.
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2020
- ISBN: 9783030262143; 9783030262150
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
4.
- Supervised machine learningoptimization framework and applications with SAS and R /
- by: Berestizhevsky, Samuel.; Kolosova, Tanya.
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: CRC Press,
- Place of Publication: Boca Raton, FL :
- Year of Publication: 2021
- ISBN: 0429297599; 1000176819; 1000176827; 1000176835; 9780429297595; 9781000176810; 9781000176827; 9781000176834
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
5.
- 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.
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag Berlin Heidelberg,
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2008
- ISBN: 9783540699262; 9783540699279
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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.
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2015
- ISBN: 9783319187372; 9783319187389
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
7.

Multiobjective optimizationinteracti...

~
Branke, Jurgen.
- Multiobjective optimizationinteractive and evolutionary approaches /
- by: Branke, Jurgen.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Springer Berlin Heidelberg,
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2008
- ISBN: 9783540889076; 9783540889083
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
8.

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.
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer Berlin Heidelberg :
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2012
- ISBN: 9783642322105; 9783642322112
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
9.

HPC@Green ITgreen high performance c...

~
Gruber, Ralf.
- HPC@Green ITgreen high performance computing methods /
- by: Gruber, Ralf.; Keller, Vincent.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag Berlin Heidelberg,
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2010
- ISBN: 9783642017889; 9783642017896
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
10.
- Learning and intelligent optimizationthird international conference, LION 3, Trento, Italy, January 14-18, 2009 : selected papers /
- by: (1998 :); SpringerLink (Online service); Stutzle, Thomas.
- Language materials, printed : Monograph/item
- Publisher: Springer-Verlag Berlin Heidelberg,
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2009
- ISBN: 9783642111686; 9783642111693
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)

Bibliographic level:
Material type:
Only with items