12,154円 Written by experts in the field, this volume presents a comprehensive investigation into the relationship between argumentation theory and the philosophy of mathematical practice. Argumentation theory studies reasoning and argument, and especially those aspects not addressed, or not addressed wel...

16,583円 Today's pervasive computing and communications networks have created an intense need for secure and reliable cryptographic systems. Bringing together a fascinating mixture of topics in engineering, mathematics, computer science, and informatics, this book presents the timeless mathematical theory...

12,154円 Fluid flows are characterized by uncertain inputs such as random initial data, material and flux coefficients, and boundary conditions. The current volume addresses the pertinent issue of efficiently computing the flow uncertainty, given this initial randomness. It collects seven original review ...

12,154円 Resistance and capacitance (RC) extraction is an essential step in modeling the interconnection wires and substrate coupling effect in nanometer-technology integrated circuits (IC). The field-solver techniques for RC extraction guarantee the accuracy of modeling, and are becoming increasingly imp...

6,076円 This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. The 19 full papers and three invited talks presented were carefully reviewed and selected from 51 submissions. The pa...

2,795円 In March 1997, the Association for Computing Machinery will celebrate the fiftieth anniversary of the electronic computer. To understand what an extraordinary fifty years the computer has had, you need only look around you--probably no farther than your desk. Computers are everywhere: in our cars...

12,154円 The advent of the world-wide web and web-based applications have dramatically changed the nature of computer applications. Computer system design, in the light of these changes, involves understanding these modem workloads, identifying bottlenecks during their execution, and appropriately tailori...

6,072円 Evolutionary Web Development examines the evolution of Web information systems, paying particular attention to the emergent attributes of electronic markets. It identifies four categories of architecture and demonstrates their virtues and limitations: static, interactive, adaptive, and agent-medi...

18,231円 Behavioral Synthesis: A Practical Guide to High-Level Design includes details on new material and new interpretations of old material with an emphasis on practical information. The intended audience is the ASIC (or high-end FPGA) designer who will be using behavioral synthesis, the manager who wi...

18,231円 Human-Centered e-Business focuses on analysis, design and development of human-centered e-business systems. The authors illustrate the benefits of the human-centered approach in intelligent e-sales recruitment application, integrating data mining technology with decision support model for profili...

12,154円 This volume contains the proceedings of the NATO Advanced Study Institute on "Picture Archiving and Communication Systems (PACS) in Medicine" held in Evian, France, October 14- 26, 1990. The program committee of the institute consisted of H.K. Huang (Director), Osman Ratib, Albert Bakker, and Ger...

6,076円 This book constitutes the refereed proceedings of the 10th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2013, held in Gudauri, Georgia, in September 2013. The conference series is centered around the interaction between logic, language and computation. The contributi...