Télécharger le livre :  A Proof Theory for Description Logics
Ajouter à ma liste d'envies
Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are equipped with a formal logic-based semantics. Knowledge representation systems based on description logics provide various inference capabilities that deduce implicit...

Editeur : Springer
Parution : 2012-05-17

ePub

52,74
Télécharger le livre :  Webinare, QR-Codes und LBS-Service
Ajouter à ma liste d'envies
Dieser Band beschäftigt sich mit neuen Instrumenten des Multimedia Marketings. Betrachtet werden Location-Based-Services (LBS) im Jugendbereich, Webinare und Quick Response (QR)-Codes. Im ersten Beitrag werden die betriebswirtschaftlich relevanten Rahmenbedingungen zu...

Editeur : Peter Lang GmbH, Internationaler Verlag der Wissenschaften
Parution : 2012-04-25

PDF

25,27
Télécharger le livre :  The Correctness-by-Construction Approach to Programming
Ajouter à ma liste d'envies
The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches that are so formal that they scare off all but the most dedicated theoretical computer scientists. On the other, there are...

Editeur : Springer
Parution : 2012-04-10

ePub

94,94
Télécharger le livre :  Digitized
Ajouter à ma liste d'envies
There's a hidden science that affects every part of your life. You are fluent in its terminology of email, WiFi, social networking, and encryption. You use its results when you make a telephone call, access the Internet, use any factory-produced product, or travel in...

Editeur : OUP Oxford
Parution : 2012-03-23

PDF

15,78
Télécharger le livre :  Digitized
Ajouter à ma liste d'envies
There's a hidden science that affects every part of your life. You are fluent in its terminology of email, WiFi, social networking, and encryption. You use its results when you make a telephone call, access the Internet, use any factory-produced product, or travel in...

Editeur : OUP Oxford
Parution : 2012-03-22

ePub

15,78
Télécharger le livre :  Bands as Virtual Organisations
Ajouter à ma liste d'envies
Managing a band is a challenge, similar to managing a small or medium-sized enterprise. A type of band particularly difficult to manage is a telephone band that does not have a fixed line-up of musicians. Together, the musicians form a virtual organisation. Every...

Editeur : Peter Lang GmbH, Internationaler Verlag der Wissenschaften
Parution : 2012-03-20

PDF

27,38
Télécharger le livre :  Using OpenCL
Ajouter à ma liste d'envies
In 2011 many computer users were exploring the opportunities and the benefits of the massive parallelism offered by heterogeneous computing.In 2000 the Khronos Group, a not-for-profit industry consortium, was founded to create standard open APIs for parallel computing,...

Editeur : SAGE Publications Ltd
Parution : 2012-02-15

PDF

119,07
Télécharger le livre :  Max/MSP/Jitter for Music
Ajouter à ma liste d'envies
In Max/MSP/Jitter for Music, expert author and music technologist V. J. Manzo provides a user-friendly introduction to a powerful programming language that can be used to write custom software for musical interaction. Through clear, step-by-step instructions illustrated...

Editeur : Oxford University Press
Parution : 2011-11-11

PDF, ePub

22,10
Télécharger le livre :  Haptic Systems Architecture Modeling
Ajouter à ma liste d'envies
The present work showcases a novel approach to modeling systems architectures by utilizing Lego bricks and RFID technology.The presented solution can be used by systems and software architects to communicate their design decisions with other stakeholders in the...

Editeur : Springer
Parution : 2011-10-21

ePub

94,94
Télécharger le livre :  Software-Architektur kompakt
Ajouter à ma liste d'envies
Software Architektur kompakt gibt Ihnen alles, was Sie zu einem reibungslosen und schnellen Start in das Thema benötigen. Lernen Sie Systeme zukunftssicher, flexibel und transparent zu konstruieren. Sie finden hier sofort einsetzbare und erprobte Muster und Vorlagen zur...

Editeur : Spektrum Akademischer Verlag
Parution : 2011-08-05

ePub

8,85
Télécharger le livre :  Invariants of Behavior
Ajouter à ma liste d'envies
The study of the brain and behavior is illuminated with the discovery of invariances. Experimental brain research uncovers constancies amidst variation, with respect to interventions and transformations prescribed by experimental paradigms. Place cells, mirror...

Editeur : Springer
Parution : 2011-06-02
Collection : Springer Series in Cognitive and Neural Systems
ePub

147,69
Télécharger le livre :  A Shortcut Through Time
Ajouter à ma liste d'envies
The newest Pentium chip powering PCs and laptops contains 40 million electronic switches packed onto a piece of silicon about the size of a thumbnail. Several years from now, if this incredible shrinking continues, a single chip will hold a billion switches, then a...

Editeur : Vintage Digital
Parution : 2011-02-15

ePub

12,99
Télécharger le livre :  Perception-Action Cycle
Ajouter à ma liste d'envies
The perception-action cycle is the circular flow of information that takes place between the organism and its environment in the course of a sensory-guided sequence of behaviour towards a goal. Each action causes changes in the environment that are analyzed bottom-up...

Editeur : Springer
Parution : 2011-02-02

ePub

336,54
Télécharger le livre :  Methods of Cut-Elimination
Ajouter à ma liste d'envies
This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs with arbitrary cuts to proofs with only atomic...

Editeur : Springer
Parution : 2011-01-07

ePub

94,94
Télécharger le livre :  Sanktionsdefizite im Datenschutzrecht
Ajouter à ma liste d'envies
Zahlreiche Datenskandale haben in den letzten Jahren deutlich gemacht, dass im Datenschutzrecht dringend Handlungsbedarf geboten ist, um den Schutz des informationellen Selbstbestimmungsrechts der Betroffenen zu verbessern. Ausgangspunkt dieser Arbeit ist deshalb die...

Editeur : Peter Lang GmbH, Internationaler Verlag der Wissenschaften
Parution : 2010-11-23

PDF

49,53
Télécharger le livre :  Visual Affect Recognition
Ajouter à ma liste d'envies
It is generally known that human faces, as well as body motions and gestures, provide a wealth of information about a person, such as age, race, sex and emotional state. This monograph primarily studies the perception of facial expression of emotion, and secondarily of...

Editeur : SAGE Publications Ltd
Parution : 2010-08-15

PDF

105,71
Télécharger le livre :  802.11 Wireless Networks
Ajouter à ma liste d'envies
94,94
Télécharger le livre :  Bridging the Socio-technical Gap in Decision Support Systems
Ajouter à ma liste d'envies
The socio-technical gap is the great divide between social activities such as coordination which researchers and practitioners aim to support and those that are actually supported by technology. As the social interaction takes place through technology, it is changed and...

Editeur : SAGE Publications Ltd
Parution : 2010-06-15

PDF

127,58
Télécharger le livre :  The Virtual Battlefield: Perspectives on Cyber Warfare
Ajouter à ma liste d'envies
All political and military conflicts now have a cyber dimension, the size and impact of which are difficult to predict. Internet-enabled propaganda, espionage, and attacks on critical infrastructure can target decision makers, weapons systems, and citizens in general,...

Editeur : SAGE Publications Ltd
Parution : 2009-10-15

PDF

98,42
Télécharger le livre :  Parallel Programming, Models and Applications in Grid and P2P Systems
Ajouter à ma liste d'envies
The demand for more computing power has been a constant trend in many fields of science, engineering and business. Now more than ever, the need for more and more processing power is emerging in the resolution of complex problems from life sciences, financial services,...

Editeur : SAGE Publications Ltd
Parution : 2009-06-15

PDF

126,36
<< < 89101112 >