Prodotto Ricercato: accessori per computer
Geometric algebra (a Clifford Algebra) has been applied to different branches of physics for a long…
A partire da
Disponibilità
This volume comprises some of the key work presented at two IMA Workshops on Computer Vision during…
Formal specifications are an important tool for the construction, verification and analysis of syst…
There is currently no description available
The two-volume set LNCS 6468-6469 contains the carefully selected and reviewed papers presented at …
The four-volume set LNCS 6946-6949 constitutes the refereed proceedings of the 13th IFIP TC13 Inter…
The seven-volume set comprising LNCS volumes 7572-7578 constitutes the refereed proceedings of the …
This volume presents the refereed proceedings of the 11th International Conference on Deontic Logic…
This volume constitutes the proceedings of the Fourth International Symposium on Theoretical Aspect…
This book constitutes the refereed proceedings of the 7th International Conference on Category Theo…
This book constitutes the refereed proceedings of the 4th International Symposium on Logical Founda…
