|
|
|
|
|
Vbscript UnleashedThere are too many important facets to the language of the World Wide Web to say that any one is the most important. That language is called HTML. In the years since its inception, the HTML specification has been fairly dynamic. So far, each feature added to the standard has made HTML better. Succeeding specifications make pages more... | | Static Analysis of Software: The Abstract Interpretation (ISTE)
The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis.
This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space,... | | HTML, XHTML, and CSS BibleIf HTML, XHTML, and CSS can do it, you can do it too...
Whether hand-coded or created by a visual editor, static or dynamic, most Web pages rely on HTML. The more you know about this language and its companion technologies, XHTML and CSS, the more flexible, creative, and effective your Web site will be. This all-new... |
|
ScreenOS CookbookWritten by key members of Juniper Network's ScreenOS development team, this one-of-a-kind Cookbook helps you troubleshoot secure networks that run ScreenOS firewall appliances. Scores of recipes address a wide range of security issues, provide step-by-step solutions, and include discussions of why the recipes work, so you can easily set up and keep... | | TimingWith the advent of nanometer technologies, circuit performance constraints are becoming ever more stringent. In this context, automated timing analysis and optimization becomes imperative for the design of high-performance circuits that must satisfy a demanding set of constraints. Timing overviews the state of the art in timing... | | Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings (Lecture Notes in Computer Science)
This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including abstract... |
|
Getting Started with LLVM Core Libraries
Get to grips with LLVM essentials and use the core libraries to build advanced tools
About This Book
-
Learn how to configure, build, and use LLVM and Clang based tools
-
Explore the depths of the LLVM front-end, IR, code generator, and libraries, and learn how a modern compiler is...
| | | | Brilliant HTML & CSSBrilliant HTML & CSS is a visual quick reference book that teaches all that you need to know to create clean, forward-looking, standards-compliant, accessible Web sites using HTML & CSS. It will give you a solid grounding on the theory, coding skills, and best practices needed to use HTML & CSS to build sophisticated web pages a... |
|
|
Result Page: 32 31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 |