Free Delivery Over $100
15445 books were found.
Testprozesse I, ll, ---, XI zur Simulation: siehe Isermann (1987), Bd.I Je nach ZweckmaBigkeit wird als Dimension... Read More >>
This book constitutes the proceedings of the First International Conference on Innovative Computing Technology,... Read More >>
This book constitutes the carefully refereed post-conference proceedings of two International Workshops: Self-Managing... Read More >>
Includes a set of selected papers extended and revised from the I2009 Pacific-Asia Conference on Knowledge Engineering... Read More >>
Significantly increase your impact on product development with tested and validated User Experience (UX) techniques... Read More >>
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference... Read More >>
This book constitutes the thoroughly refereed post-conference proceedings of the 4th IFIP TC2 Central and East European... Read More >>
Proceedings of the NATO Advanced Study Institute on Logic, Algebra, and Computation held at Marktoberdorf, Federal... Read More >>
Relational methods can be found at various places incomputer science, notably in data base theory, relationalsemantics... Read More >>
Read More >>
The majority of the chapters are extended versions of works presented at the special session on Computational Intelligence... Read More >>
This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking,... Read More >>
Constitutes the refereed post-conference proceedings of the 5th IFIP TC 5, SIG 5.1 International Conference on Computer... Read More >>
<p>Planning is an important function of the management of any business, providing knowledge of future prospects... Read More >>
Software-Engineering befaßt sich mit der Entwicklung von Softwaresystemen, insbesondere den dafür nötigen und zweckmäßigen... Read More >>
Constitutes the refereed post-conference proceedings of the 7th International Doctoral Workshop on Mathematical... Read More >>
This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools,... Read More >>
Contains selected lecture notes from the LASER summer schools 2008-2010, which focused on concurrency and correctness... Read More >>
This book constitutes the refereed proceedings of the 38th Conference on Current Trends in Theory and Practice of... Read More >>
This book constitutes the carefully refereed and revised selected papers of the 4th Canada-France MITACS Workshop... Read More >>