Prodotto Ricercato: scrivania del computer
As computers and communications technology advance, greater opportunities arise for intelligent mat…
A partire da
Disponibilità
There is currently no description available
This volume gives the proceedings of the Fourth Workshop on Computer-Aided Verification (CAV '92), …
The workshop Computer Science Logic '90 was held at the Max-Planck-Haus in Heidelberg, Germany, Oct…
This volume contains the invited lectures and selected papers from the Third International Conferen…
This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at …
This book constitutes the revised selected papers of the 21st European Workshop on Computer Perform…
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th Interna…
The IFIP World Computer Congress (WCC) is one of the most important conferences in the area of comp…
This five-volume set LNCS 14684-14688 constitutes the refereed proceedings of the Human Computer In…
This is a new type of calculus book: Students who master this text will be well versed in calculus …
Ein konsequentes und computergestütztes Marketing entwickelt sich mehr und mehr zu einem entscheid…