Learn IT - Amazing Books

Formal Correctness of Security Protocols (Information Security and Cryptography)

Springer, 2007

Computer network security is critical to fraud prevention and accountability. Network participants are required to observe predefined steps called security protocols, whose proof of correctness is evidence that each protocol step preserves some desired properties.

The author investigates proofs of correctness of realistic security protocols in...

Agent Communication II: International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan

Springer, 2007

This book constitutes the thoroughly refereed post-proceedings of the two International Workshops on Agent Communication, AC 2005 and AC 2006, held in Utrecht, Netherlands in July 2005, and in Hakodate, Japan in May 2006 as associated events of AAMAS 2005/2006, the main international conference on autonomous agents and multi-agent systems.

The...

Modeling Semantic Web Services: The Web Service Modeling Language

Springer, 2008

Semantic Web services promise to automate tasks such as discovery, mediation, selection, composition, and invocation of services, enabling fully flexible automated e-business. Their usage, however, still requires a significant amount of human intervention due to the lack of support for a machine-processable description.

In this book, Jos de...

New Stream Cipher Designs: The eSTREAM Finalists (Lecture Notes in Computer Science)

Springer, 2008

The question “Streamciphers: dead or alive?” was posed by Adi Shamir. Intended to provoke debate, the question could not have been better, or more starkly, put. However, it was not Shamir’s intention to suggest that stream ciphers themselves were obsolete; rather he was questioning whether stream ciphers of a dedicated design were...

Tools for High Performance Computing: Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart

Springer, 2008

With the advent of multi-core processors, implementing parallel programming methods in application development is absolutely necessary in order to achieve good performance. Soon, 8-core and possibly 16-core processors will be available, even for desktop machines. To support application developers in the various tasks involved in this process,...

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Springer, 2008

This Festschrift volume, pubished in honor of Ugo Montanari on the occasion of his 65^th birthday, contains 43 papers, written by friends and colleagues, all leading scientists in their own right, who congregated at a celebratory symposium held on June 12, 2008, in Pisa.

The volume consists of seven sections, six of...

Literature-based Discovery (Information Science and Knowledge Management)

Springer, 2008

When Don Swanson hypothesized a connection between Raynaud’s phenomenon and dietary fish oil, the field of literature-based discovery (LBD) was born. During the subsequent two decades a steady stream of researchers have published articles about LBD and the field has made steady progress in laying foundations and creating an identity. LBD is...

Interpreting Economic and Social Data: A Foundation of Descriptive Statistics

Springer, 2009

"Interpreting Economic and Social Data" aims at rehabilitating the descriptive function of socio-economic statistics, bridging the gap between today's statistical theory on one hand, and econometric and mathematical models of society on the other. It does this by offering a deeper understanding of data and methods with surprising...

Supply Chain Management Based on SAP Systems: Architecture and Planning Processes (SAP Excellence)

Springer, 2009

Supply Chain Management (SCM) is not a buzzword like many others in management and IT - it is here to stay. "Megatrends" such as globalization and increasing specialization result in a complex division of labor at national and international levels. Lean and agile supply chains have become a major anagement target, and the...

Modeling Decisions: Information Fusion and Aggregation Operators (Cognitive Technologies)

Springer, 2007

Information fusion techniques and aggregation operators produce the most comprehensive, specific datum about an entity using data supplied from different sources, thus enabling us to reduce noise, increase accuracy, summarize and extract information, and make decisions. These techniques are applied in fields such as economics, biology and...

Concentrator Photovoltaics (Springer Series in Optical Sciences)

Springer, 2007

Photovoltaic solar-energy conversion is one of the most promising technologies for generating renewable energy, and conversion of concentrated sunlight can lead to reduced cost for solar electricity. In fact, photovoltaic conversion of concentrated sunlight insures an efficient and cost-effective sustainable power resource. This book gives an...

Neural Preprocessing and Control of Reactive Walking Machines: Towards Versatile Artificial Perception-Action Systems (Cognitive Technologies)

Springer, 2007

This book presents biologically inspired walking machines interacting with their physical environment. It describes how the designs of the morphology and the behavior control of walking machines can benefit from biological studies. The purpose of this book is to develop a modular structure of neural control generating different reactive behaviors...

Result Page: Previous 3215 3216 3217 3218 3219 3220 3221 3222 3223 3224 3225 3226 3227 3228 3229 3230 3231 3232 3233 3234 3235 Next