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…
可購
Florian Hess 等著
This book constitutes the refereed proceedings of the 7th International…
可購
Andrea Corradini 著
This book constitutes the refereed proceedings of the Third Internation…
可購
Markus Müller-Olm 著
Program analysis is concerned with techniques that automatically determ…
可購
Katrin Franke 等著
This book provides a solid statistical foundation for neural networks f…
可購
鄂公網(wǎng)安備 42010302001612號 