|
|
|
|
|
| | The Calculus of Computation: Decision Procedures with Applications to VerificationComputational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art... | | Patterns for e-businessGet an inside look at how successful businesses build their e-business architectures. In this book, four IBM e-business experts capture years of experience into easy-to-follow guidelines. Deliberately focusing on Business patterns, Integration patterns, and Application patterns, the authors share with you proven architectural patterns that can help... |
|
Complex Robotic Systems (Lecture Notes in Control and Information Sciences)Robotic systems have proved themselves to be of increasing importance and are widely adopted to substitute for humans in repetitive or hazardous situations. Their diffusion has outgrown the limits of industrial applications in manufacturing systems to co ver all aspects of exploration and servicing in hostile environments such as undersea, outer... | | Ext JS 3.0 CookbookClear step-by-step recipes for building impressive rich internet applications using the Ext JS JavaScript library
Master the Ext JS widgets and learn to create custom components to suit your needs Build striking native and custom layouts, forms, grids, listviews, treeviews, charts, tab panels, menus, toolbars and much more for your real-world... | | Learning Ext JS 4
For those with a little JavaScript experience, this book is a great way to learn Ext JS and start building interactive web applications using Ajax, DHTML, Dom, and the like. Ideal for beginners.
-
Learn the basics and create your first classes
-
Handle data and understand the way it works, create powerful...
|
|
|
|
Result Page: 91 90 89 88 87 86 85 84 83 82 81 80 |