Internet

"Companies with a stake in the technology industry or that have staked on the Internet (ala Google or Amazon or any of the thousands of small ecommerce companies around the world) are likely to pluck multiple nuggets of wisdom from her book."

-- Heather Clancy, business journalist

What technologies do we need to solve the complex environmental, economic, social, and political challenges facing us today? As this thought-provoking book reveals, one tool for enacting change is already at our fingertips: the global network.

Consider the private domains of...

HTML and CSS are the workhorses of web design, and using them together to build consistent, reliable web pages requires both skill and knowledge. The task is more difficult if you're relying on outdated, confusing, and unnecessary HTML hacks and workarounds. Author Ben Henick shows you how to avoid those traps by going beyond the standard tips, tricks, and techniques to connect the underlying theory and design of HTML and CSS to your everyday work habits.

With this practical book, you'll learn how to work with these tools far more effectively than is standard practice for most web...

This practical book provides a step-by-step, interactive introduction to formal verification of systems and circuits. The book offers theoretical background and introduces the application of three powerful verification toolsets: LOTOS-based CADP, Petri nets-based PETRIFY, and CCS-based CWB. The book covers verification of modular asynchronous circuits, alternating-bit protocols, arbiters, pipeline controllers, up-down counters, and phase converters, as well as many other verification examples.

Using the given detailed examples,...

Learn how to develop applications for Android mobile devices using simple examples, ready to run with your copy of the software development kit. Author and Android columnist, writer, developer, and community advocate Mark L. Murphy shows you what you need to know to get started on programming Android applications-everything from crafting graphical user interfaces to using GPS, accessing web services, and more

The Android development platform, created by Google and the Open Handset Alliance, is a platform in its truest sense, encompassing hundreds of classes beyond...

Negli ultimi decenni il rapido sviluppo delle tecnologie IT ha influito in maniera determinante nella vita dell uomo, trasformando, spesso inconsapevolmente il suo lavoro, le sue abitudini, il suo modo di interagire con il mondo che lo circonda. Il fenomeno della "globalizzazione" dei mercati e solo una delle trasformazioni che l intero pianeta sta attraversando. Anche se i vantaggi derivanti dall utilizzo delle moderne tecnologie di comunicazione ci facilitano nel lavoro e nella attivita ludiche e personali, molte sono le perplessita e i dubbi che attanagliano tutti coloro che le...