A collection of 33 revised papers, 10 tool papers & 11 invited contributions from the Tenth International Conference on Computer Aided Verification. Among the topics covered are modelling &
Constitutes the refereed proceedings of the 2nd IFIP International Conference on Computer & Computing Technologies in Agriculture. This title also features proceedings & post-proceedings of refereed international conferences in computer science & interdisciplinary fields. ...
Constitutes the refereed proceedings of the 2nd IFIP International Conference on Computer & Computing Technologies in Agriculture. This title also features proceedings & post-proceedings of refereed international conferences in computer science & interdisciplinary fields. ...
Constitutes the refereed proceedings of the 2nd IFIP International Conference on Computer & Computing Technologies in Agriculture. This title also features proceedings & post-proceedings of refereed international conferences in computer science & interdisciplinary fields. ...
Presents information on how to analyze risks to your networks & the steps needed to select & deploy the appropriate countermeasures to reduce your exposure to physical & network threats. This book provides essential knowledge & skills needed to select, design & deploy a PKI to secure existing & future applications. ...
Presents the basic methodology of computer & machine vision, covering the essential elements of the theory while emphasizing algorithmic & practical design constraints. This text contains case studies on surveillance & driver assistance systems that give practical methods on these advanced applications in computer vision. ...
Computer-aided engineering (CAE) methodologies have deeply changed the way of designing & developing products, systems & services. At the industry level, these methodologies have become a fundamental tool to be competitive & to ensure high quality standards. This book gathers the research from around the globe in this dynamic field. ...
Focuses on the developments in animation technology, including fluid animation, human figure animation, & soft body animation. This book covers topics such as quaternions, natural phenomenon, facial animation, & inverse kinematics. It Includes:: discussions of Maya scripting & the Maya C++ API & programming on real-time 3D graphics hardware. ...
Archived Product
Computer And Information Science
This volume contains the best papers from the 2010 IEEE/ACIS conference, where scientists, engineers, users, and students exchange new ideas and research results about all aspects of computer and information science, from theory and applications to tools.
RIP - This product is no longer available on our network. It was last seen on 01.01.2015
This page now acts as a permanent archive for this product. Add more information using the comments box below to ensure it can still be found by future generations.
Use our search facility to see if it is available from an alternative contributor.
This volume contains the best papers from the 2010 IEEE/ACIS conference, where scientists, engineers, users, & students exchange new ideas & research results about all aspects of computer & information science, from theory & applications to tools.
Reviews/Comments
Add New
Intelligent Comparison
Oooops! We couldn't find anything! Perhaps this product's unique.... Or perhaps we are still looking for comparisons! Click to bump this page and we'll hurry up.
Price History
Oooops! We couldn't find any historical pricing!
Vouchers
No voucher codes found. Do you know a voucher code for this product or supplier? Add it to Insights for others to use.
Facebook
Jargon Buster
Computer - A programmable electronic machine which stores and manipulates data.
Students - A group of humans who are still in full time education
Conference - A gathering of people, typically employees, for a formal meeting.