Learn IT - Books tags springer

Fuzzy Equational Logic (Studies in Fuzziness and Soft Computing)

Springer, 2005

The present book deals with algebras, congruences, morphisms, reasoning about identities, classes of algebras and their axiomatizability, etc., from the point of view of fuzzy logic. We therefore deal with topics traditionally studied in universal algebra. Our approach is the following. In classical universal algebra, one works in bivalent setting....

Declarative Programming for Knowledge Management: 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP

Springer, 2007

Knowledge means power – but only if it is available at the right time, the right place, and in the hands of the right people. Structured, engineered, repeatable methods to gather, transport, and apply knowledge are collectively called knowledge management.

Declarative programming strives for the ideal of programming by wish: the...

Recent Advances in Formal Languages and Applications (Studies in Computational Intelligence)

Springer, 2006

The theory of formal languages is widely accepted as the backbone of theoretical computer science. It mainly originated from mathematics (combinatorics, algebra, mathematical logic) and generative linguistics. All human problem solving capabilities can be considered in a certain sense as a manipulation of symbols and structures composed by symbols,...

New Computational Paradigms: Changing Conceptions of What is Computable

Springer, 2007

In recent years, classical computability has expanded beyond its original scope to address issues related to computability and complexity in algebra, analysis, and physics. The deep interconnection between "computation" and "proof" has originated much of the most significant work in constructive mathematics and mathematical...

Analysis and Control of Nonlinear Process Systems (Advanced Textbooks in Control and Signal Processing)

Springer, 2004

Almost all process systems are nonlinear in nature. Nonlinear control is traditionally an area of interest in process systems engineering which is of great practical importance. These facts notwithstanding, many process engineers have difficulty with the paradigms and results of modern nonlinear control theory because they lack the mathematical...

The Disappearing Computer: Interaction Design, System Infrastructures and Applications for Smart Environments

Springer, 2007

“The-computer-as-we-know-it” will have no role in our future everyday lives. This is the position taken in this book which elaborates how it will be replaced by a new generation of technologies, moving computing off the desktop and ultimately integrating it with real world objects and everyday environments. Computing becomes thus an...

Rough Sets, Fuzzy Sets, Data Mining and Granular Computing: 11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 2007

Springer, 2007

This book constitutes the refereed proceedings of the 11th International Conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, RSFDGrC 2007, held in Toronto, Canada in May 2007 in conjunction with the Second International Conference on Rough Sets and Knowledge Technology, RSKT 2007, both as part of the Joint Rough Set...

Web 2.0: The Business Model

Springer, 2008

Web 2.0 is one of the most prominent business models for information systems available today. It brings together technology and social networks, and the interactivity that creates business value.

Web 2.0: The Business Model, an edited volume, is the first reference that integrates the business implications of Web 2.0/3.0, along...

Physics of Semiconductor Devices

Springer, 2002

Physics of Semiconductor Devices is a textbook aimed at college undergraduate and graduate teaching. It covers both basic classic topics such as energy band theory and the gradual-channel model of the MOSFET as well as advanced concepts and devices such as MOSFET short-channel effects, low-dimensional devices and single-electron transistors. As a...

Transactions on Petri Nets and Other Models of Concurrency III

Springer, 2009

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a...

Soft Computing in Image Processing (Studies in Fuzziness and Soft Computing)

Springer, 2006

Images have always been very important in human life. Their applications range from primitive communication between humans of all ages to advanced technologies in the industrial, medical and military field. The increased possibilities to capture and analyze images have contributed to the largeness that the scientific field of image processing...

Security and Privacy in Mobile Information and Communication Systems: First International ICST Conference, MobiSec 2009

Springer, 2009

MobiSec 2009 was the first ICST conference on security and privacy in mobile information and communication systems. With the the vast area of mobile technology research and application, the intention behind the creation of MobiSec was to make a small, but unique contribution to build a bridge between top-level research and large scale...

Result Page: 443 442 441 440 439 438 437 436 435 434 433 432 431 430 429 428 427 426 425