This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. The 32 revised full papers were carefully reviewed and selected from 94 submissions. The papers are organized in topics such as real-time systems, probabilistic systems, automata, separation logic, -calculus, Petri nets, process algebra and modeling, verification, games, and bisimulation.

18,744円

Concur 2011 -- Concurrency T…

23,870円

Search Based Software Engine…

18,744円

Advanced Communication and N…

18,744円

Software Architecture: 5th E…

This book constitutes the proceedings of the 11th International Conference on Parallel Computing Technologies, PaCT 2011, held in Kazan, Russia on September 19-23, 2011. The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 68 submissions. The papers are organized in topical sections on models and languages, cellular automata, parallel programming tools and support, and applications.

18,744円

Parallel Computing Technolog…

This book examines long-term trends in China 's information technology development. It offers an in-depth analysis of China 's requirements for information technology and identifies the essential challenges.

18,744円

Information Science & Techno…

This book constitutes the thoroughly refereed post-proceedings of the 7th International Symposium on Computer Music Modeling and Retrieval, CMMR 2010, held in M laga, Spain, in June 2010. The 22 revised full papers presented were specially reviewed and revised for inclusion in this proceedings volume. The book is divided in five main chapters which reflect the present challenges within the field of computer music modeling and retrieval. The chapters range from music interaction, composition tools and sound source separation to data mining and music libraries. One chapter is also dedicated to perceptual and cognitive aspects that are currently subject to increased interest in the MIR community.

18,744円

Exploring Music Contents: 7t…

18,744円

Transactions on Computationa…

23,870円

Implementation and Applicati…

23,870円

Serious Games Development an…

43,978円

Web-Age Information Manageme…

50,798円

Principles and Practice of C…

18,744円

Transactions on Rough Sets X…

18,744円

Knowledge-Based and Intellig…

18,744円

Knowledge-Based and Intellig…

18,744円

Knowledge-Based and Intellig…

This book uses examples in OpenGL and OpenGL Shading Language to present the theory and application of shader programming. It explains how to program graphics shaders effectively for use in art, animation, gaming, and visualization. Along with improved graphics and new examples and exercises, this edition includes a new chapter on converting a fixed-function OpenGL program to a shader-based OpenGL program. It also explains how best to use tessellation shaders, illustrates the importance of the invariant qualifier for multipass rendering, and presents new applications, including terrain bump-mapping and LIDAR data.

44,968円

Graphics Shaders: Theory and…

This book constitutes the refereed proceedings of the Third International Conference on Subject-Oriented Business Process Management, S-BPM ONE 2011, held in Ingolstadt, Germany, in September 2011. The papers feature the analysis, modeling, implementation, execution and management of interaction patterns with an explicit stakeholder focus and also embrace themes pertaining to the engineering and management of systems and organizations, particularly with respect to the areas of interaction culture, process-aware information systems, strategic alignment, and governance structures.

18,744円

S-BPM One - Learning by Doin…

11,880円

The Tangled Web: A Guide to …

18,744円

Algorithmic Game Theory: 4th…

18,744円

Perspectives in Business Inf…

18,744円

Computer Performance Enginee…

18,744円

String Processing and Inform…

23,870円

Economics of Converged, Inte…

23,870円

Collaborative Agents - Resea…

68,200円

The Computer Graphics Manual

18,744円

Information Security and Cry…

18,744円

Integrated Circuit and Syste…

18,744円

Algorithms and Architectures…

18,744円

Algorithms and Architectures…

このサイトのデータは 2026/09/15 04:21:01 に楽天APIから取得しました。このサイトで掲載されている情報は shopping.ago-go.org の作成者により運営されています。 価格、販売可能情報は、変更される場合があります。購入時に楽天市場店舗（www.rakuten.co.jp）に表示されている価格が、その商品の販売に適用されます。