William P. Fox, William C....
The text presents modeling topics using Maple as the comp...
Ngoc Thanh Nguyen, Ryszard...
These transactions publish research in computer-based met...
Cezara Dragoi, Michael Em...
The contributions deal with program verification, model c...
Philippe Fournier-Viger, A...
This volume constitutes short papers and DETECT 2022 work...
Michael Hanus, Daniela In...
This book constitutes the proceedings of the 25th Interna...
Alberto Pettorossi
In this book the author presents some techniques for expl...
Belal Ehsan Baaquie, Leong...
This book presents various theories and algorithms to cre...
Nikolos Gurney, Gita Sukt...
This book constitutes the proceedings of the First Intern...
Vladimir M. Vishnevskiy, K...
This book constitutes the refereed post-conference procee...
Bettina Just
If you read scientific literature, you have to have knowl...
Nicholas Olenev, Yuri Evt...
This book constitutes the refereed proceedings of the 13t...
James F. Peters, Andrzej ...
The LNCS journal Transactions on Rough Sets is devoted to...
Ding-Zhu Du, Donglei Du, ...
This book constitutes the refereed proceedings of the 17t...
Takanori Isobe, Santanu S...
The volume constitutes the proceedings of the 23rd Intern...
Jean-Francois Raskin, Kris...
Henzinger on the occasion of his 60th birthday in 2022.
Liang Wang, Jianxin Zhao
This unique open access book applies the functional OCaml...
Wenhui Fan, Lin Zhang, Ni...
The two-volume set CCIS 1712 and 1713 constitutes the pro...
Dmitry Balandin, Konstanti...
This book constitutes selected and revised papers from th...