This book explains the principal techniques of data mining, for classification, association rule mining and clustering. Each topic is clearly explained and illustrated by detailed examples, with a focus on algorithms ...
ISBN:
(数字)9781447148845
ISBN:
(纸本)9781447148838
This book explains the principal techniques of data mining, for classification, association rule mining and clustering. Each topic is clearly explained and illustrated by detailed examples, with a focus on algorithms rather than mathematical formalism.
This textbook is the third of three volumes which provide a modern, algorithmic introduction to digital image processing, designed to be used both by learners desiring a firm foundation on which to build, and practiti...
ISBN:
(数字)9781848829190
ISBN:
(纸本)9781848829183;9781848829190
This textbook is the third of three volumes which provide a modern, algorithmic introduction to digital image processing, designed to be used both by learners desiring a firm foundation on which to build, and practitioners in search of critical analysis and concrete implementations of the most important techniques. This volume builds upon the introductory material presented in the first two volumes with additional key concepts and methods in image processing. Features: practical examples and carefully constructed chapter-ending exercises; real implementations, concise mathematical notation, and precise algorithmic descriptions designed for programmers and practitioners; easily adaptable Java code and completely worked-out examples for easy inclusion in existing applications; uses ImageJ; provides a supplementary website with the complete Java source code, test images, and corrections; additional presentation tools for instructors including a complete set of figures, tables, and mathematical elements.
Programming Language Concepts uses a functional programming language (F#) as the metalanguage in which to present all concepts and examples, and thus has an operational flavour, enabling practical experiments and exer...
ISBN:
(数字)9781447141563
ISBN:
(纸本)9781447141556
Programming Language Concepts uses a functional programming language (F#) as the metalanguage in which to present all concepts and examples, and thus has an operational flavour, enabling practical experiments and exercises. It includes basic concepts such as abstract syntax, interpretation, stack machines, compilation, type checking, and garbage collection techniques, as well as the more advanced topics on polymorphic types, type inference using unification, co- and contravariant types, continuations, and backwards code generation with on-the-fly peephole optimization. Programming Language Concepts covers practical construction of lexers and parsers, but not regular expressions, automata and grammars, which are well covered elsewhere. It throws light on the design and technology of Java and C# to strengthen students understanding of these widely used languages. The examples present several interpreters and compilers for toy languages, including a compiler for a small but usable subset of C, several abstract machines, a garbage collector, and ML-style polymorphic type inference. Each chapter has exercises based on such examples.
This textbook provides an engaging and motivational introduction to traditional topics in discrete mathematics, in a manner specifically designed to appeal to computerscience students. The text empowers students to t...
ISBN:
(纸本)9781447140689
This textbook provides an engaging and motivational introduction to traditional topics in discrete mathematics, in a manner specifically designed to appeal to computerscience students. The text empowers students to think critically, to be effective problem solvers, to integrate theory and practice, and to recognize the importance of abstraction. Clearly structured and interactive in nature, the book presents detailed walkthroughs of several algorithms, stimulating a conversation with the reader through informal commentary and provocative questions. Features: no university-level background in mathematics required; ideally structured for classroom-use and self-study, with modular chapters following ACM curriculum recommendations; describes mathematical processes in an algorithmic manner; contains examples and exercises throughout the text, and highlights the most important concepts in each section; selects examples that demonstrate a practical use for the concept in question.
This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduates need to study computing. The language is in part qualitative, with concepts such as set, rela...
ISBN:
(数字)9781447125006
ISBN:
(纸本)9781447124993
This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduates need to study computing. The language is in part qualitative, with concepts such as set, relation, function and recursion/induction; but it is also partly quantitative, with principles of counting and finite probability. Entwined with both are the fundamental notions of logic and their use for representation and proof. Features: teaches finite math as a language for thinking, as much as knowledge and skills to be acquired; uses an intuitive approach with a focus on examples for all general concepts; brings out the interplay between the qualitative and the quantitative in all areas covered, particularly in the treatment of recursion and induction; balances carefully the abstract and concrete, principles and proofs, specific facts and general perspectives; includes highlight boxes that raise common queries and clear confusions; provides numerous exercises, with selected solutions.
computer communications and networks are an integral part of any computerscience degree, with the technology growing ever more pervasive in modern life. This clear and easy-to-follow textbook presents a detailed intr...
ISBN:
(纸本)9781447143567
computer communications and networks are an integral part of any computerscience degree, with the technology growing ever more pervasive in modern life. This clear and easy-to-follow textbook presents a detailed introduction to the essentials of networking and communications technologies, supported by numerous diagrams, examples and exercises designed to increase confidence in using and understanding communications systems. Thoroughly revised and updated, this much-anticipated new edition retains the popular step-by-step approach of the original, organised to help those without a strong knowledge of the subject matter to grasp the material quickly. topics and features: provides chapter-ending summaries and review questions, an Appendix on TCP/IP packet formats and an expanded Glossary; supplies supplementary material at the associated Springer website, including teaching slides, solutions to the end-of-chapter questions and supplementary exercises with solutions; presents a greater emphasis on mobile computing and network security, and extended coverage of IPv6 (NEW); discusses networking models and standards, local area and wide area networks, network protocols, TCP/IP-based networks, network management and wireless communications; examines grid and cloud computing, microblogging, mobile ad hoc networks, near-field communication, Power over Ethernet and the Ground Positioning System (NEW). Written specifically for undergraduate students of computing with no previous experience in the field, this comprehensive and authoritative textbook draws upon the author s many years of teaching experience.
This concise and accessible textbook supports a foundation or module course on A.I., covering a broad selection of the subdisciplines within this field. The book presents concrete algorithms and applications in the ar...
ISBN:
(数字)9780857292995
ISBN:
(纸本)9780857292988
This concise and accessible textbook supports a foundation or module course on A.I., covering a broad selection of the subdisciplines within this field. The book presents concrete algorithms and applications in the areas of agents, logic, search, reasoning under uncertainty, machine learning, neural networks and reinforcement learning. topics and features: presents an application-focused and hands-on approach to learning the subject; provides study exercises of varying degrees of difficulty at the end of each chapter, with solutions given at the end of the book; supports the text with highlighted examples, definitions, and theorems; includes chapters on predicate logic, PROLOG, heuristic search, probabilistic reasoning, machine learning and data mining, neural networks and reinforcement learning; contains an extensive bibliography for deeper reading on further topics; supplies additional teaching resources, including lecture slides and training data for learning algorithms, at an associated website.
Logic is a branch of philosophy, mathematics and computerscience. It studies the required methods to determine whether a statement is true, such as reasoning and *** and Algorithms: Introduction to Logic and Computab...
ISBN:
(数字)9780857291219
ISBN:
(纸本)0857291203;9780857291202;9780857291219
Logic is a branch of philosophy, mathematics and computerscience. It studies the required methods to determine whether a statement is true, such as reasoning and *** and Algorithms: Introduction to Logic and Computability is an introduction to the fundamental concepts of contemporary logic - those of a proof, a computable function, a model and a set. It presents a series of results, both positive and negative, - Church's undecidability theorem, Gdels incompleteness theorem, the theorem asserting the semi-decidability of provability - that have profoundly changed our vision of reasoning, computation, and finally truth *** for undergraduate students, this book presents all that philosophers, mathematicians and computer scientists should know about logic.
Focus on issues and principles in context awareness, sensor processing and software design (rather than sensor networks or HCI or particular commercial systems).Designed as a textbook, with readings and lab problems i...
ISBN:
(数字)9780857298416
ISBN:
(纸本)9780857298409
Focus on issues and principles in context awareness, sensor processing and software design (rather than sensor networks or HCI or particular commercial systems).Designed as a textbook, with readings and lab problems in most *** on concepts, algorithms and ideas rather than particular technologies.
The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical...
详细信息
ISBN:
(数字)9780857290182
ISBN:
(纸本)9780857290175
The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical software. Program Verification is the area of computerscience that studies mathematical methods for checking that a program conforms to its specification. This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for software engineering.
The idea of specifying the behaviour of individual software components by attaching contracts to them is now a widely followed approach in program development, which has given rise notably to the development of a number of behavioural interface specification languages and program verification tools. A foundation for the static verification of programs based on contract-annotated routines is laid out in the book. These can be independently verified, which provides a modular approach to the verification of software.
The text assumes only basic knowledge of standard mathematical concepts that should be familiar to any computerscience student. It includes a self-contained introduction to propositional logic and first-order reasoning with theories, followed by a study of program verification that combines theoretical and practical aspects -- from a program logic (a variant of Hoare logic for programs containing user-provided annotations) to the use of a realistic tool for the verification of C programs (annotated using the ACSL specification language), through the generation of verification conditions and the static verification of runtime errors.
暂无评论