Electronic Books

Total Books: 1081 - 1100 /1122

Verification Methodology Manual for SystemVerilog

Verification Methodology Manual for SystemVerilog is a blueprint for verification success, guiding SoC teams in building ...

Verification of Object-Oriented Software. The KeY Approach

features of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...

Verification, Model Checking, and Abstract Interpretation

This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...

Verification, Model Checking, and Abstract Interpretation (vol. # 3385)

The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. ...

Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

The book feature current research from the communities of verification, program certification, model checking, debugging ...

Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

The book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...

Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

The scope of book includes the sharing and interoperability of tools, the alignment of theory and practice, the identification ...

Verrechnungspreise : Grundlagen und Praxis = Transfer Pricing: Principles and Practice

This book offers a structured overview of tax transfer prices, which have become one of the most important tax challenges ...

Visual Basic 2005 Recipes

Visual Basic 2005 Recipes: A Problem-Solution Approach recognizes this fine balance. This book meets your need for fast, ...

Visual Basic 2008 Recipes : A Problem-Solution Approach

Sometimes you just need to solve a problem and get on with your work. To that end, Visual Basic 2008 Recipes is a compendium ...

Visual C# 2005 Recipes

Mastering .NET development is as much about understanding the functionality of the .NET Framework as it is about the syntax ...

Visual Communication: Insights and Strategies / Janis Teruggi Page, Margaret Duffy

Teaches visual literacy, theory, scholarly critique, and practical application of visuals in professional communication careers This ...

Visual Question Answering: From Theory to Application / Qi Wu, Peng Wang, Xin Wang, Xiaodong He, Wenwu Zhu

Combines visual inputs like image and video with a natural language question concerning the input and generates a natural ...

Visualizing Information Using SVG and X3D

The first great graphics technology for the Web,VRML,has been mistaken for something else since its inception. Viewed variously ...

Web Accessibility : A Foundation for Research

Covering key areas of evaluation and methodology, client-side applications, specialist and novel technologies, along with ...

Web Design and Marketing Solutions for Business Websites

The best business websites serve their readers with strong content, well-architected design, and a focus on usability, readability, ...

Web Engineering

This volume contains the proceedings of the seventh International Conference on Web Engineering (ICWE2007), the Call for ...

Web Engineering: Modelling and Implementing Web Applications

Modelling and Implementing Web Applications presents the state of the art approaches for obtaining a correct and complete ...

Web Information Systems - WISE 2006

This book constitutes the proceedings of the 7th International Conference on Web Information Systems Engineering, WISE 2006, ...

Web Information Systems - WISE 2006 Workshops

This book constitutes the joint refereed proceedings of the three workshops held in conjunction with the 7th International ...

Total Books: 1081 - 1100 /1122