springer london apr 2009 (9 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -A Concise and Practical Introduction to Programming Algorithms in Java has two main goals. The first is for novice programmers to learn progressively the basic concepts underlying most imperative programming languages using Java. The second goal is to introduce new programmers to the very basic principles of thinking the algorithmic way and turning the algorithms into programs using the programming concepts of Java.The book is divided into two parts and includes: The fundamental notions of variables, expressions and assignments with type checking - Conditional and loop statements - Explanation of the concepts of functions with pass-by-value arguments and recursion - Fundamental sequential and bisection search techniques - Basic iterative and recursive sorting algorithms.Each chapter of the book concludes with a set of exercises to enable students to practice concepts covered.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -A Concise Introduction to Computation Models and Computability Theory provides an introduction to the essential concepts in computability, using several models of computation, from the standard Turing Machines and Recursive Functions, to the modern computation models inspired by quantum physics. An in-depth analysis of the basic concepts underlying each model of computation is provided.Divided into two parts, the first highlights the traditional computation models used in the first studies on computability: - Automata and Turing Machines; - Recursive functions and the Lambda-Calculus; - Logic-based computation models.and the second part covers object-oriented and interaction-based models. There is also a chapter on concurrency, and a final chapter on emergent computation models inspired by quantum mechanics.At the end of each chapter there is a discussion on the use of computation models in the design of programming languages.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Information Visualization is a relatively young field that is acquiring more and more concensus in both academic and industrial environments. 'Information Visualization' explores the use of computer-supported interactive graphical representations to explain data and amplify cognition. It provides a means to comunicate ideas or facts about the data, to validate hypotheses, and facilitates the discovery of new facts via exploration.This book introduces the concepts and methods of Information Visualization in an easy-to-understand way, illustrating how to pictorially represent structured and unstructured data, making it easier to comprehend and interpret. Riccardo Mazza focuses on the human aspects of the process of visualization rather than the algorithmic or graphic design aspects.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Ada is the programming language of choice for high integrity software systems and is used extensively in industries such as transportation and aerospace. Special features of the book include: Object-oriented programming, concurrency, and embedded and real-time systems are emphasized. Ada for Software Engineers explains the language concepts and the terminology of the standards document, the Ada Reference Manual (ARM). Extracts from the ARM are used throughtout and there are extensive cross references to the ARM. A comprehensive glossary and technical quizzes assist the reader in developing the ability to use the ARM as a practical reference. Comparisons with familiar languages like C and Java are given to facilitate the transition to Ada. The features of Ada 2005 are used routinely, but they are carefully identified, so that programmers using Ada 95 will also find the textbook useful. The companion website contains the full source code of nearly 100 case studies and 100 technical quizzes.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 524 pp. Englisch.

Buch. Zustand: Neu. Neuware - 'The situation is good, but not hopeless' (Polish folk wisdom) The text is devoted to the Software Analysis and Testing (SAT) methods and s- porting tools for assessing and, if possible, improving software quality, specifically its correctness. The term quality assurance is avoided for it is this author's firm belief that in the current state of the art that goal is unattainable, a plethora of 'gu- anteed' solutions to the problem notwithstanding. Therefore, the rather awkward phrase 'improving correctness' is to be understood as an effort to minimize the number of residual programming faults ('bugs') and their impact on the software's behavior, that is, to make the faults tolerable. It is clear that such a minimalist approach is a result of frustration. Indeed, having spent years developing software and teaching (preaching ) 'How to do it right,' I still do not know how to go about it with any degree of certainty! It appears then I probably should stop right now, for who with a modicum of common sense would reach for a text that does not offer salvation but (as will be seen) hard work and misery If I intend to continue, it is only that I suspect there are many professionals out there who have similar doubts. And they are the intended audience of this project. The philosophical underpinning of the text is the importance of sound engine- ing practices in software development.

Buch. Zustand: Neu. Neuware -With the pioneering studies of Galton and Henry on ngerprint-based human id- ti cation over a hundred years ago, biometrics recognition is now permeating many sectors of our society. Even though the origins and the most frequent use of b- metrics, primarily ngerprints, have been in forensics and law enforcement app- cations, biometric recognition is now needed to address a number of societal pr- lems related to security risks, terror threats and nancial fraud. In some situations, for example, detecting duplicate enrolments (for issuing of cial documents such as passports and driver licenses), biometrics is the only method to con rm that an - plicant has not been previously enrolled in the database. In addition to ngerprints, new anatomical and behavioral traits, viz. , face, iris, voice and hand shape have also become popular. Biometrics recognition is an excellent proving ground for pattern recognition. While pattern recognition systems have been available for document imaging, speech recognition, medical image analysis, remote sensing and variety of insp- tion tasks, no other application domain offers as many challenges as the biometrics domain.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware - Cancer of the rectum continues to be a significant health problem in industrialized co- tries around the world. Relative 5-year survival rates in the USA for cancer of the rectum from 1995 to 2001 improved to 65%, a 15% improvement over 20 years (American Cancer Society, 2007). The reasons for this dramatic improvement include more accurate pr- perative staging, aggressive neoadjuvant therapy and improved surgical technique as well as specialty-trained surgeons. Despite advances in nonoperative techniques of radiation therapy, chemotherapy and immunotherapy, surgical extirpation continues to be the cornerstone of curative treatment of this potentially lethal disease. Radical cancer excision with total mesorectal excision has become the preferred surgical procedure for even early-stage cancers of the rectum. Over the past decade the enthusiasm for local excision (and other local treatments) has given way to persuasive (predominantly retrospective) evidence that the incidence of locoregional recurrence due to unsuspected lymphatic metastases and positive lateral margins is un- ceptably high even for stage T tumors. Vigorous attempts to find characteristics of the 1 tumor that would allow successful local treatments are ongoing.

Buch. Zustand: Neu. Neuware -Recent Advances in Maintenance and Infrastructure Management is a collection of papers highlighting the state of the art in maintenance of large structures and management of infrastructures. The papers selected in this book are written by international experts from academia and industry, and were presented during the past three International Conference on Maintenance Management (MM Conferences) held from 2005 to 2007 and organized by CNIM (Italian National Committee for Maintenance). The selected papers are categorized into four thematic areas: 1. reliability and maintenance; 2. mathematical modeling and metrics for maintenance; 3. maintenance management and organization, and; 4. facilities management and contracting. The papers cover topics ranging from embedded sensors for diagnostics of structures to organizational issues related to effective maintenance planning.Recent Advances in Maintenance and Infrastructure Management provides readers with a snapshot of the latest developments in the tools and techniques used to conduct maintenance of complex infrastructures and systems. The book will be of interest to researchers and practitioners in academia and industry involved in planning and deployment of maintenance operations. Additionally, this can serve as a reference text for advanced courses in operations management, and structural health monitoring.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch.

Buch. Zustand: Neu. Neuware - Markov random field (MRF) theory provides a basis for modeling contextual constraints in visual processing and interpretation. It enables us to develop optimal vision algorithms systematically when used with optimization principles. This book presents a comprehensive study on the use of MRFs for solving computer vision problems. Various vision models are presented in a unified framework, including image restoration and reconstruction, edge and region segmentation, texture, stereo and motion, object matching and recognition, and pose estimation. This third edition includes the most recent advances and has new and expanded sections on topics such as: Bayesian Network; Discriminative Random Fields; Strong Random Fields; Spatial-Temporal Models; Learning MRF for Classification. This book is an excellent reference for researchers working in computer vision, image processing, statistical pattern recognition and applications of MRFs. It is also suitable as a text for advanced courses in these areas.