| |
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...
Editeur :
Wiley-ISTE
Parution :
2013-02-07
PDF, ePub
|
Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms – from the same editors – introduce the...
Editeur :
Wiley-ISTE
Parution :
2013-02-07
PDF, ePub
|
What are adverbial clauses in Chinese? Do they all have subjects as their counterparts do in English? How do the semantic domains of adverbial clauses interact with the distribution of subjects? How do Chinese corpora help us explore these intriguing questions? The aim...
Editeur :
Peter Lang AG, Internationaler Verlag der Wissenschaften
Parution :
2013-02-07
PDF
|
In this book the authors identify the basic concepts and recent advances in the acquisition, perception, coding and rendering of color. The fundamental aspects related to the science of colorimetry in relation to physiology (the human visual system) are addressed, as...
Editeur :
Wiley-ISTE
Parution :
2013-02-07
PDF, ePub
|
Today, huge quantities of digital audiovisual resources are already available – everywhere and at any time – through Web portals, online archives and libraries, and video blogs. One central question with respect to this huge amount of audiovisual data is how they can be...
Editeur :
Wiley-ISTE
Parution :
2013-02-07
PDF, ePub
|
Today, cyber security, cyber defense, information warfare and cyber warfare issues are among the most relevant topics both at the national and international level. All the major states of the world are facing cyber threats and trying to understand how cyberspace could...
Editeur :
Wiley-ISTE
Parution :
2013-02-07
PDF, ePub
|
Home and business users around the globe turn to Microsoft Office and its core applications every day. Whether you're a newcomer or a veteran Office user, this friendly-but-informative guide provides in-depth coverage on all the newest updates and enhancements to the...
Editeur :
For Dummies
Parution :
2013-02-06
PDF, ePub
|
The fun and friendly way to manage your busy life with the new Outlook 2013 As the number one e-mail client and personal information manager, Microsoft Outlook offers a set of uncomplicated features that maximize the management of your e-mail, schedule, and general...
Editeur :
For Dummies
Parution :
2013-02-05
PDF, ePub
|
This book presents a theory of consciousness which is unique and sustainable in nature, based on physiological and cognitive-linguistic principles controlled by a number of socio-psycho-economic factors. In order to anchor this theory, which draws upon various...
Editeur :
Wiley-ISTE
Parution :
2013-02-05
PDF, ePub
|
"Computing Networks" explores the core of the new distributed computing infrastructures we are using today: the networking systems of clusters, grids and clouds. It helps network designers and distributed-application developers and users to better understand the...
Editeur :
Wiley-ISTE
Parution :
2013-02-04
PDF, ePub
|
The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies. Formal methods are...
Editeur :
Wiley-ISTE
Parution :
2013-02-04
PDF, ePub
|
This book presents statistical models that have recently been developed within several research communities to access information contained in text collections. The problems considered are linked to applications aiming at facilitating information access: information...
Editeur :
Wiley-ISTE
Parution :
2013-02-04
PDF, ePub
|
Web advertising is changing. What was once a predominantly Flash-based medium is making the switch to HTML5, with the benefit of a plug-in free environment giving a larger audience for ads, and better integration with the page they are featured on. We live in a time...
Editeur :
Apress
Parution :
2013-02-03
PDF
|
Microsoft's Windows Presentation Foundation (WPF) provides you with a development framework for building high-quality user experiences for the Windows operating system. It blends together rich content from a wide range of sources and allows you unparalleled access to...
Editeur :
Apress
Parution :
2013-02-03
PDF
|
Expert MySQL is the leading reference for learning, understanding, and extending the MySQL server. It unlocks the full promise of open source by showing how to modify the code, create your own storage engine, build your own authentication plugins, and even add your own...
Editeur :
Apress
Parution :
2013-02-03
PDF
|
Quality-of-Service (QoS) is normally used to describe the non-functional characteristics of Web services and as a criterion for evaluating different Web services. QoS Management of Web Services presents a new distributed QoS evaluation framework for these services....
Editeur :
Springer
Parution :
2013-02-02
Collection :
Advanced Topics in Science and Technology in China
ePub
|
Android is one of the major players in the mobile phone market.Android is a mobile platform that is built on the top of Linux operating system. The native-code support onAndroid offers endless opportunities to application developers, not limited the functionality that...
Editeur :
Apress
Parution :
2013-02-02
PDF
|
This work focuses on central catadioptric systems, from the early step of calibration to high-level tasks such as 3D information retrieval. The book opens with a thorough introduction to the sphere camera model, along with an analysis of the relation between this model...
Editeur :
Springer
Parution :
2013-02-01
ePub
|
Windows 8 has been described by Microsoft as its ‘boldest’Windows release ever. BeginningWindows 8 takes you through the new features and helps you get more out of the familiar to reveal the possibilities for this amazing new operating system. You will...
Editeur :
Apress
Parution :
2013-02-01
PDF
|
The Model-View-View-Model (MVVM) pattern is held in high regard by many developers as an excellent way of creating sophisticated modern applications. It's clear seperation of presentation and business logic produces a clean implementation that promotes speed,...
Editeur :
Apress
Parution :
2013-02-01
PDF
|