Learn IT - Books tags springer

CONCUR 2004 -- Concurrency Theory

Springer, 2004

This book constitutes the refereed proceedings of the 15th International Conference on Concurrency Theory, CONCUR 2004, held in London, UK in August/September 2004.

The 29 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 134 submissions. Among the topics covered are concurrency...

Declarative Agent Languages and Technologies IV: 4th International Workshop, DALT 2006

Springer, 2007

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Declarative Agent Languages and Technologies, DALT 2006, held in Hakodate, Japan in May 2006 as an associated event of AAMAS 2006, the main international conference on autonomous agents and multi-agent systems.

The 12 revised full papers...

Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004.

Springer, 2004

This book constitutes the refereed proceedings of the 7th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2004, held in Linz, Austria in September 2004.

The 17 revised full papers and 4 revised short papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book....

Professional Practice in Artificial Intelligence: IFIP 19th World Computer Congress, TC-12: Professional Practice Stream, August 21-24, 2006

Springer, 2006

This volume presents proceedings from the 19th IFIP World Computer Congress in Santiago, Chile. The proceedings of the World Computer Congress are a product of the gathering of 2,000 delegates from more than 70 countries to discuss a myriad of topics in the ICT domain. Of particular note, this marks the first time that a World Computer Congress has...

Point-Based Graphics (Morgan Kaufmann Series in Computer Graphics and Geometric Modeling)

Morgan Kaufmann, 2007

This book will present the latest research results in point-based computer graphics. After an overview of the key issues, affordable 3D scanning devices will be discussed and new concepts for the mathematical representation of point-sampled shapes will be presented. Then the authors will describe methods for high-performance and high-quality...

The Calculus of Computation: Decision Procedures with Applications to Verification

Springer, 2007

Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art...

Intelligent Decision Making: An AI-Based Approach (Studies in Computational Intelligence)

Springer, 2008

Intelligent Decision Support Systems have the potential to transform human decision making by combining research in artificial intelligence, information technology, and systems engineering. The field of intelligent decision making is expanding rapidly due, in part, to advances in artificial intelligence and network-centric environments that can...

Ontologies-Based Business Integration

Springer, 2008

The globalization of everyday business and increasing international trade lead to a growing need to improve national and international business collaborations and transactions. Upcoming new technologies for e-business transactions allow for new ways of process, information and application integration. But business partners almost always have...

Reconfigurable Computing: Architecture, Tools, and Applications: 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008, Proceedings

Springer, 2008

This book constitutes the refereed proceedings of the 4th International Workshop on Applied Reconfigurable Computing, ARC 2008, held in London, UK, in March 2008.

The 21 full papers and 14 short papers presented together with the abstracts of 3 keynote lectures were carefully reviewed and selected from 56 submissions. The papers are organized...

Fluid Mechanics: An Introduction to the Theory of Fluid Flows

Springer, 2008

Fluid mechanics is a field that spreads widely and to all fields of engineering, science and medicine. The book takes this into account and provides a sound basis.

This is a modern book on fluid mechanics that is written in a way needed these days to teach the subject to students in engineering and science at higher educational institutes. The...

Map-based Mobile Services: Design, Interaction and Usability (Lecture Notes in Geoinformation and Cartography)

Springer, 2008

The worldwide popularisation of mobile communication technologies and the increasing awareness of usability issues since 1990’s have been urging map designers to specialise and extend cartographic semiotics, visualisation styles and map use techniques for mobile contexts and small display devices. As a follow-up to the first book...

Complex Robotic Systems (Lecture Notes in Control and Information Sciences)

Springer, 1998

Robotic systems have proved themselves to be of increasing importance and are widely adopted to substitute for humans in repetitive or hazardous situations. Their diffusion has outgrown the limits of industrial applications in manufacturing systems to co ver all aspects of exploration and servicing in hostile environments such as undersea, outer...

Result Page: 477 476 475 474 473 472 471 470 469 468 467 466 465 464 463 462 461 460 459