Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science
This volume consists of the proceedings of the 22nd International Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2002), organized under the auspices of the Indian Association for Research in Computing Science (IARCS). The conference was held at the Indian Institute of Technology, Kanpur during December 12–14, 2002. The conference attracted 108 submissions (of which two were withdrawn). Of these, a total of 26 papers were selected for presentation in the conference. As in the last year, the PC meeting was held electronically (stretching over nearly three weeks in August 2002) and was a great success. In addition to the contributed papers, we ha...
High Performance Computing – HiPC 2005
This book constitutes the refereed proceedings of the 12th International Conference on High-Performance Computing, HiPC 2005, held in Goa, India in December 2005. The 50 revised full papers presented were carefully reviewed and selected from 362 submissions. After the keynote section and the presentation of the 2 awarded best contributions the papers are organized in topical sections on algorithms, applications, architecture, systems software, communication networks, and systems and networks.
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science
This book constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2007, held in New Delhi, India, in December 2007. The 40 revised full papers presented together with five invited papers were carefully reviewed. They provide original research results in fundamental aspects of computer science and reports from the frontline of software technology and theoretical computer science.
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
This book constitutes the refereed proceedings of the 17th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-17, held in Bangalore, India, in December 2007. The 33 revised full papers presented together with 8 invited papers were carefully reviewed and selected from 61 submissions. Among the subjects addressed are block codes, including list-decoding algorithms; algebra and codes: rings, fields, algebraic geometry codes; algebra: rings and fields, polynomials, permutations, lattices; cryptography: cryptanalysis and complexity; computational algebra: algebraic algorithms and transforms; sequences and boolean functions.
Static Analysis
This book constitutes the refereed proceedings of the 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008 - co-located with LOPSTR 2008, the International Symposium on Logic-based Program Synthesis and Transformation, PPDP 2008, the International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, and PLID 2008, the International Workshop on Programming Language Interference and Dependence. The 22 revised full papers presented together with two invited lectures were carefully reviewed and selected from 63 submissions. The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems.
Aqueous Lubrication: Natural And Biomimetic Approaches
Man lubricates mostly with oil. Nature lubricates exclusively with water. Pure water is a poor lubricant, but the addition of proteins, especially glycoproteins, can modify surfaces to make them far more lubricating at slow speeds. Understanding how nature does this, and the physical structures involved, is not only important for the understanding of diseases such as osteoarthritis, but also essential for the successful application of articulating implants, such as hips and knees, as well as the development of medical devices such as catheters and contact lenses. A host of important applications of water-based lubrication are already in place in the personal care and food industries, and further industrial applications of water-based lubrication could have a significant positive impact on the environment.This book is the first of its kind. It brings together the latest research in biological and biomimetic, water-based lubrication and is authored by the world's experts in the field.
IT Girls
A celebration of the women who furthered computer technology, from the nineteenth century to the present day.
Cloud Enterprise Architecture
Cloud Enterprise Architecture examines enterprise architecture (EA) in the context of the surging popularity of Cloud computing. It explains the different kinds of desired transformations the architectural blocks of EA undergo in light of this strategically significant convergence. Chapters cover each of the contributing architectures of EA-business, information, application, integration, security, and technology-illustrating the current and impending implications of the Cloud on each. Discussing the implications of the Cloud paradigm on EA, the book details the perceptible and positive changes that will affect EA design, governance, strategy, management, and sustenance. The author ties thes...
Implementation and Application of Automata
This book constitutes the thoroughly refereed post-proceedings of the 10th International Conference on Implementation and Application of Automata, CIAA 2005, held in Sophia Antipolis, France, in June 2005. The 26 revised full papers and 8 revised poster papers presented together with 2 invited contributions were selected from 87 submissions and have gone through two rounds of reviewing and improvement. The topics covered show applications of automata in many fields, including mathematics, linguistics, networks, XML processing, biology and music.
Formal Models, Languages And Applications
A collection of articles by leading experts in theoretical computer science, this volume commemorates the 75th birthday of Professor Rani Siromoney, one of the pioneers in the field in India. The articles span the vast range of areas that Professor Siromoney has worked in or influenced, including grammar systems, picture languages and new models of computation.
