This book constitutes the refereed proceedings of the Third International Congress on Mathematical Software, ICMS 2010, held in Kobe, Japan in September 2010. The 49 revised full papers presented were carefully reviewed and selected for presentation. The papers are organized in topical sections on computational group theory, computation of special functions, computer algebra and reliable computing, computer tools for mathematical editing and scientific visualization, exact numeric computation for algebraic and geometric computation, formal proof, geometry and visualization, Groebner bases and applications, number theoretical software as well as software for optimization and polyhedral computation.

14,995円

Mathematical Software - ICMS…

This book constitutes the refereed proceedings of the 5th International Conference: Testing: Academic and Industrial Conference - Practice and Research Techniques, TAIC PART 2010, held in Windsor, UK, in September 2010. The 15 revised full papers presented together with 7 abstracts and 3 keynote addresses were carefully selected from 40 submissions. The papers cover a wide range of topics related to fundamental research questions in the field of software testing and analysis focusing on the practical challenges that are often faced by software developers in industry.

14,995円

Testing: Academic and Indust…

This book constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, held in Singapore, in September 2010.The book includes 3 invited talks, 21 regular papers and 9 tool papers.

14,995円

Automated Technology for Ver…

This book constitutes the proceedings of the 29th International Conference on Computer Safety, Reliability, and Security held in Vienna, Austria in September 2010.

14,995円

Computer Safety, Reliability…

This book constitutes the refereed proceedings of the IFIP International Conference, NPC 2010, held in Zhengzhou, China, in September 2010. The 39 papers presented were carefully selected from 89 submissions. The papers are organized in topical sections on Parallelization and Optimization, Parallel Algorithms, Network, CPU and Multicore, Cloud and Grid Infrastructure, Network on Chip.

30,008円

Network and Parallel Computi…

This book constitutes the thoroughly refereed proceedings of the 10th Workshop of the Cross Language Evaluation Forum, CLEF 2010, held in Corfu, Greece, in September/October 2009.The volume reports experiments on various types of multimedia collections. It is divided into threemain sections presenting the results of the following tracks: Interactive Cross-Language Retrieval (iCLEF), Cross-Language Image Retrieval (ImageCLEF), and Cross-Language Video Retrieval (VideoCLEF).

30,008円

Multilingual Information Acc…

This book constitutes the refereed proceedings of the 24th International Symposium on Distributed Computing, DISC 2010, held in Cambridge, CT, USA, in September 2010. The 32 revised full papers, selected from 135 submissions, are presented together with 14 brief announcements of ongoing works; all of them were carefully reviewed and selected for inclusion in the book. The papers address all aspects of distributed computing, and were organized in topical sections on, transactions, shared memory services and concurrency, wireless networks, best student paper, consensus and leader election, mobile agents, computing in wireless and mobile networks, modeling issues and adversity, and self-stabilizing and graph algorithms.

14,995円

Distributed Computing: 24th …

This book constitutes the proceedings of the International Conference on Information and Communication Technologies held in Kochi, Kerala, India in September 2010.

30,008円

Information and Communicatio…

This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2010, held in Perpignan, France in September 2010. The conference was co-located with 3 affiliated workshops: NSAD 2010 (Workshop on Numerical and Symbolic Abstract Domains), SASB 2010 (Workshop on Static Analysis and Systems Biology) and TAPAS 2010 (Tools for Automatic Program Analysis).The 22 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 58 submissions. The papers address all aspects of static analysis including abstract domains, bug detection, data flow analysis, logic programming, systems analysis, type inference, cache analysis, flow analysis, verification, abstract testing, compiler optimization and program verification.

14,995円

Static Analysis: 17th Intern…

This book constitutes the proceedings of the 18th Annual European Symposium on Algorithms, held in Liverpool, UK in September 2010.

14,995円

Algorithms - ESA 2010: 18th …

This book constitutes the proceedings of the 18th Annual European Symposium on Algorithms, held in Liverpool, UK in September 2010.

14,995円

Algorithms -- ESA 2010, Part…

This book constitutes the proceedings of the 15th International Workshop onFormal Methods for Industrial Critical Systems, FMICS 2010 held in Antwerp, Belgium, in September 2010 - co-located with ASE 2010, the 25th IEEE/ACMInternational Conference on Automated Software Engineering, The 14 papers presented were carefully reviewed and selected from 33submissions.The aim of the FMICS workshop series is to provide a forum for researcherswho are interested in the development and application of formal methods inindustry. It also strives to promote research and development for theimprovement of formal methods and tools for industrial applications.

14,995円

Formal Methods for Industria…

Written in a step-by-step format, this guide covers fractions, variables, decimals, negative numbers, exponents, roots, and factoring. Techniques for solving linear and quadratic equations and applications are also discussed in detail.

5,227円

Algebra Demystified

The present book contains contributions presented at the Third Symposium on Hybrid RANS-LES Methods, held in Gdansk, Poland, 10-12 June 2009, being a continuation of the first symposium taking place in Stockholm (Sweden, 2005) and the second in Corfu (Greece, 2007). The contributions to the Corfu symposium were published as Advances in Hybrid RANS-LES Modelling (NNFM, Vol. 97). At the Gdansk symposium, along with four invited keynotes, another 28 papers were presented addressing topics on Unsteady RANS, LES, Improved DES Methods, Hybrid RANS-LES Methods, DES vs. URANS and other Hybrid Methods, Modelling-related Numerical Issues and Industrial Applications. Additionally, a comprehensive summary of a round-table discussion on hybrid RANS-LES methods is presented. The present book reflects recent activities and new progress in the development and applications of DES and other hybrid RANS-LES modelling approaches to handle both industrial and fundamental flow problems.

60,016円

Progress in Hybrid RANS-LES …

14,995円

Global Sourcing of Informati…

14,995円

Life System Modeling and Int…

30,008円

Life System Modeling and Int…

The six-volume set comprising LNCS volumes 6311 until 6313 constitutes the refereed proceedings of the 11th European Conference on Computer Vision, ECCV 2010, held in Heraklion, Crete, Greece, in September 2010. The 325 revised papers presented were carefully reviewed and selected from 1174 submissions. The papers are organized in topical sections on object and scene recognition; segmentation and grouping; face, gesture, biometrics; motion and tracking; statistical models and visual learning; matching, registration, alignment; computational imaging; multi-view geometry; image features; video and event characterization; shape representation and recognition; stereo; reflectance, illumination, color; medical image analysis.

30,008円

Computer Vision - ECCV 2010:…

This book constitutes the thoroughly refereed proceedings of the 10th Workshop of the Cross Language Evaluation Forum, CLEF 2010, held in Corfu, Greece, in September/October 2009.The volume reports experiments on various types of textual document collections. It is divided into six main sections presenting the results of the following tracks: Multilingual Document Retrieval (Ad-Hoc), Multiple Language Question Answering (QA@CLEF), Multilingual Information Filtering (INFILE@CLEF), Intellectual Property (CLEF-IP) and Log File Analysis (LogCLEF), plus the activities of the MorphoChallenge Program.

14,995円

Multilingual Information Acc…

This book constitutes the refereed proceedings of the 11th International Conference on Parallel Problem Solving from Nature - PPSN XI, held in Krak w, Poland, in September 2010. The 131 revised full papers were carefully reviewed and selected from 232 submissions. The conference covers a wide range of topics, from evolutionary computation to swarm intelligence, from bio-inspired computing to real world applications. Machine learning and mathematical games supported by evolutionary algorithms as well as memetic, agent-oriented systems are also represented.

14,995円

Parallel Problem Solving fro…

This book constitutes the proceedings of the 6th International Conference on Sequences and Their Applications held in Paris, France, in September 2010.

14,995円

Sequences and Their Applicat…

Biochemistry provides the most up to date coverage is important in this course with in-depth and accurate coverage of the chemical concepts that underlie classical biochemical theory, as well as providing coverage of the exciting, modern developments in this dynamic field. The fourth edition challenges students to learn the chemical concepts that underlie both classical biochemical theory as well as the latest developments in the field. It follows a more brief and qualitative approach to present biochemistry with chemical rigor, focusing on the structures of biomolecules, chemical mechanisms, and evolutionary relationships.

129,844円

Biochemistry

This is the first textbook on clinical fMRI. It is devoted to preoperative fMRI in patients with brain tumors and epilepsies, which are the most well-established clinical applications. State-of-the-art fMRI procedures are presented, with detailed consideration of the physiological and methodological background, imaging and data processing, normal and pathological findings, diagnostic possibilities and limitations, and other related techniques.

32,736円

Clinical Functional MRI: Pre…

Atlas of Staging in Gynecological Cancer" is designed to be used in conjunction with diagnostic procedures between the surgeon and the radiologist. It describes the two common staging regimes used by all units across the world, namely, the FIGO staging system and the TNM system. The landscape format allows each chapter to open on the left hand side and read across the double spread, enabling the reader to see both staging systems at once. Each chapter has a separate section on Epidemiology, Diagnosis, with radiological plates, Management, in tabular form, and Key Points.

32,454円

Atlas of Staging in Gynecolo…

In the dramatic and rapidly developing field of neural transplantation for CNS repair, the most powerful contributor has been the vital research focusing on stem cells. In Neural Cell Transplantation: Methods and Protocols, leading experts in the field examine tried-and-true laboratory techniques in order to supply scientists with a firm foundation upon which further advancements can be based. Written in the highly successful Methods in Molecular Biology(TM) series format, the chapters of this volume include introductions to their respective topics, lists of the necessary materials and reagents, step-by-step, readily reproducible protocols, and Notes sections, which examine tips on troubleshooting and avoiding known pitfalls. Cutting-edge and easy to use, Neural Cell Transplantation: Methods and Protocols provides the most thorough and essential protocols that will allow new generations of neuroscientists to enter and contribute to this uniquely inspiring field.

30,008円

Neural Cell Transplantation:…

The book presents the state of the art in high performance computing and simulation on modern supercomputer architectures. It covers trends in hardware and software development in general and specifically the future of vector-based systems and heterogeneous architectures. The application contributions cover computational fluid dynamics, fluid-structure interaction, physics, chemistry, astrophysics, and climate research. Innovative fields like coupled multi-physics or multi-scale simulations are presented. All papers were chosen from presentations given at the 9th Teraflop Workshop held in November 2008 at Tohoku University, Japan, and the 10th Teraflop Workshop held in April 2009 at Hochstleistungsrechenzentrum Stuttgart (HLRS), Germany.

38,192円

High Performance Computing o…

49,755円

Centrifugal Pump Handbook

26,628円

The Ecological Rift: Capital…

This book recounts the recent theoretical and experimental advances in the properties and applications of magnetic fluids. It compiles seven years of research from approximately thirty interdisciplinary groups of scientists.

14,995円

Colloidal Magnetic Fluids: B…

This book provides an overview of Spondyloarthropathies(SpA) and highlights current studies concerning the basic research in the area. It reflects the state of the art of research and current opinion of rheumatologists and immunologists.

60,016円

Molecular Mechanisms of Spon…

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