You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
TACS'91 is the first International Conference on Theoretical Aspects of Computer Science held at Tohoku University, Japan, in September 1991. This volume contains 37 papers and an abstract for the talks presented at the conference. TACS'91 focused on theoretical foundations of programming, and theoretical aspects of the design, analysis and implementation of programming languages and systems. The following range of topics is covered: logic, proof, specification and semantics of programs and languages; theories and models of concurrent, parallel and distributed computation; constructive logic, category theory, and type theory in computer science; theory-based systems for specifying, synthesizing, transforming, testing, and verifying software.
Methods in Bone Biology is unique in being devoted to describing the methodology used by bone researchers. This book describes in detail the techniques of cell and organ culture used in the study of bone and bone cell function and the techniques used to monitor the skeleton and skeletal remodelling both in clinical and experimental settings.
This book constitutes the refereed proceedings of the 9th Asian Computing Science Conference, ASIAN 2004, dedicated to Jean-Louis Lassez on the occasion of his 60th birthday and held in Chiang Mai, Thailand in December 2004. The 17 revised full papers presented together with 3 keynote papers and 16 invited papers honouring Jean-Louis Lassez were carefully reviewed and selected from 75 submissions. The contributed papers are focusing on higher-level decision making, whereas the invited papers address a broader variety of topics in theoretical computer science.
By presenting state-of-the-art aspects of the theory of computation, this book commemorates the 60th birthday of Neil D. Jones, whose scientific career parallels the evolution of computation theory itself. The 20 reviewed research papers presented together with a brief survey of the work of Neil D. Jones were written by scientists who have worked with him, in the roles of student, colleague, and, in one case, mentor. In accordance with the Festschrift's subtitle, the papers are organized in parts on computational complexity, program analysis, and program transformation.
The ultimate English-language source of information for information on processing text in Chinese, Japanese, Korean, and Vietnamese. In this update, Lunde reexamines the challenges of working with these languages, showing developers in a wide range of fields the latest tools for sharing information that can reach East Asia directly.
Do you want to know when Duke Ellington was king of The Cotton Club? Have you ever wondered how old Miles Davis was when he got his first trumpet? From birth dates to gig dates and from recordings to television specials, Leonard Feather and Ira Gitler have left no stone unturned in their quest for accurate, detailed information on the careers of 3.300 jazz musicians from around the world. We learn that Duke Ellington worked his magic at The Cotton Club from 1927 to 1931, and that on Miles Davis's thirteenth birthday, his father gave him his first trumpet. Jazz is fast moving, and this edition clearly and concisely maps out an often dizzying web of professional associations. We find, for inst...
Why does Japan, with its efficiency-oriented technocracy, periodically adopt welfare-oriented, economically inefficient domestic policies? In answering this question Kent Calder shows that Japanese policymakers respond to threats to the ruling party's preeminence by extending income compensation, entitlements, and subsidies, with market-oriented retrenchment coming as crisis subsides. "Quite simply the most ambitious and strongly argued interpretation of a key dimension of Japanese political life to appear in English this decade."--David Williams, Japan Times "Historically dense and conceptually rich.... [Forces] readers' attention to the domestic underpinnings of Japanese foreign policy."--Donald S. Zagoria, Foreign Affairs "Punctures the myth of Japan Inc. as a cool, rational monolith...."--Kathleen Newland, Millennium "A bold reinterpretation of Japanese politics that will force us to rethink many of our current assumptions and will influence our research agenda."--Steven R. Reed, Journal of Japanese Studies