Jose-Manuel Colom 著
This book constitutes the refereed proceedings of the 22nd Internationa…
可購
Claus Fieker 著
This book constitutes the refereed proceedings of the 5th International…
可購
Kokichi Futatsugi 著
Joseph Goguen is one of the most prominent computer scientists worldwid…
可購
Susanna Donatelli，P.S. Thiagarajan 著…
This book constitutes the refereed proceedings of the 27th Internationa…
可購
Javier Esparza 著
This book constitutes the refereed proceedings of the 23rd Internationa…
可購
Andrea Corradini 著
This book constitutes the refereed proceedings of the Third Internation…
可購
Oscar H. Ibarra 著
This book constitutes the refereed proceedings of the 8th Annual Intern…
可購
Markus Müller-Olm 著
Program analysis is concerned with techniques that automatically determ…
可購
范玉妹 等編著
本書主要論述了線性規(guī)劃、整數規(guī)劃、非線性規(guī)劃、多目標規(guī)劃和動態(tài)規(guī)劃等內容…
可購
鄂公網安備 42010302001612號 