
ilość książek w kategorii: 16954
![]() |
Perl for Exploring DNA
ISBN: 9780195305890 / Angielski / Miękka / 2007 / 288 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This book presents Perl programming with a uniquely interdisciplinary perspective for the bioinformatics classroom. The co-authors are a professor of computer science and a professor of biology who collaborate in developing software for DNA sequence analysis. A specialty of the authors is encouraging interdisciplinary undergraduate research. The book has been tested in the classroom as a text for both biology and computer science majors. Benefiting from years of teaching experience in both computer science and biology, the authors use an exceptionally friendly and pedagogically sound...
This book presents Perl programming with a uniquely interdisciplinary perspective for the bioinformatics classroom. The co-authors are a professor of ...
|
cena:
168,99 |
![]() |
Temporal Logic: Mathematical Foundations and Computational Aspects Volume 2
ISBN: 9780198537687 / Angielski / Twarda / 2000 / 616 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This is the second volume in a series of well-respected works in temporal science and is by the same authors as the first. Volume one dealt primarily with basic concepts and methods, volume two discuses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations from volume one, covering automata, branching time and labelled deduction. The rest of the book is devoted to discussions of temporal databases, temporal execution and programming, actions and planning. With its inclusion of cutting-edge results and unifying methodologies, this...
This is the second volume in a series of well-respected works in temporal science and is by the same authors as the first. Volume one dealt primarily ...
|
cena:
1075,66 |
![]() |
Essentials of Logic Programming
ISBN: 9780198538325 / Angielski / Miękka / 1991 / 322 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Logic programming has developed into a broad discipline within computing science, contributing to such fields as artificial intelligence, new-generation computing, software engineering and deductive databases. This new book presents the fundamentals of logic programming from both practical and theoretical viewpoints. It also covers various extensions of the formalism, its relationship to Prolog, its formal semantics and its applications to program analysis and transformation. The text is illustrated throughout with numerous diagrams. The material is organized into sixty modular themes,...
Logic programming has developed into a broad discipline within computing science, contributing to such fields as artificial intelligence, new-generati...
|
cena:
252,71 |
![]() |
Computation and Reasoning - A Type Theory for Computer Science
ISBN: 9780198538356 / Angielski / Twarda / 1994 / 240 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This book develops a type theory, studies its properties, and explains its uses in computer science. The book focuses in particular on how the study of type theory may offer a powerful and uniform language for programming, program specification and development, and logical reasoning. The type theory developed here reflects a conceptual distinction between logical propositions and computational data types. Starting from an introduction of the basic concepts, the author explains the meaning and use of the type-theoretic language with proof-theoretic justifications, and discusses various issues...
This book develops a type theory, studies its properties, and explains its uses in computer science. The book focuses in particular on how the study o...
|
cena:
415,44 |
![]() |
An Introduction to Discrete Mathematics, Formal System Specification, and Z
ISBN: 9780198538363 / Angielski / Miękka / 1993 / 296 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Formal specification is the name given to the use of discrete mathematics in computer science for describing the function of both hardware and software systems. Poor specification often gives rise to severe problems in software and hardware installation. This textbook is an introduction to both the theory and practice of formal specification, and this new edition includes two new chapters on Z, one giving a number of small examples in Z, the other covering design and Z. Prerequisites in this edition have been kept to a minimum since Professor Ince is at pains to develop the techniques of...
Formal specification is the name given to the use of discrete mathematics in computer science for describing the function of both hardware and softwar...
|
cena:
252,71 |
![]() |
Derivation and Validation of Software Metrics
ISBN: 9780198538424 / Angielski / Twarda / 1993 / 176 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This landmark book is the first to describe a methodical derivation process for software metrics--measurements of software products and processes used to monitor, estimate, and control the quality and utility of software projects. The author reviews the subject, discusses a number of weaknesses inherent in software metrication, and describes a method for derivation and validation. Students and professionals in computer science, software engineering, and software quality assurance will want to read this important new contribution to the literature.
This landmark book is the first to describe a methodical derivation process for software metrics--measurements of software products and processes used...
|
cena:
141,09 |
![]() |
Neural Networks for Pattern Recognition
ISBN: 9780198538646 / Angielski / Miękka / 1996 / 504 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This is the first comprehensive treatment of feed-forward neural networks from the perspective of statistical pattern recognition. After introducing the basic concepts, the book examines techniques for modeling probability density functions and the properties and merits of the multi-layer perceptron and radial basis function network models. Also covered are various forms of error functions, principal algorithms for error function minimalization, learning and generalization in neural networks, and Bayesian techniques and their applications. Designed as a text, with over 100 exercises, this...
This is the first comprehensive treatment of feed-forward neural networks from the perspective of statistical pattern recognition. After introducing t...
|
cena:
429,40 |
![]() |
An Introduction to Quantum Computing
ISBN: 9780198570493 / Angielski / Miękka / 2007 / 288 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This concise, accessible text provides a thorough introduction to quantum computing - an exciting emergent field at the interface of the computer, engineering, mathematical and physical sciences. Aimed at advanced undergraduate and beginning graduate students in these disciplines, the text is technically detailed and is clearly illustrated throughout with diagrams and exercises. Some prior knowledge of linear algebra is assumed, including vector spaces and inner products. However, prior familiarity with topics such as tensor products and spectral decomposition is not required, as the...
This concise, accessible text provides a thorough introduction to quantum computing - an exciting emergent field at the interface of the computer, eng...
|
cena:
308,51 |
![]() |
Agency and the Semantic Web
ISBN: 9780199292486 / Angielski / Twarda / 2006 / 272 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This highly topical text considers the construction of the next generation of the Web, called the Semantic Web. This will enable computers to automatically consume Web-based information, overcoming the human-centric focus of the Web as it stands at present, and expediting the construction of a whole new class of knowledge-based applications that will intelligently utilize Web content. The text is structured into three main sections on knowledge representation techniques, reasoning with multi-agent systems, and knowledge services. For each of these topics, the text provides an overview of the...
This highly topical text considers the construction of the next generation of the Web, called the Semantic Web. This will enable computers to automati...
|
cena:
359,66 |
![]() |
Introduction To The Theory Of Neural Computation
ISBN: 9780201515602 / Angielski / Miękka / 1991 / 352 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book is a comprehensive introduction to the neural network models currently under intensive study for computational applications. It is a detailed, logically-developed treatment that covers the theory and uses of collective computational networks, including associative memory, feed forward networks, and unsupervised learning. It also provides coverage of neural network applications in a variety of problems of both theoretical and practical interest.
This book is a comprehensive introduction to the neural network models currently under intensive study for computational applications. It is a detaile...
|
cena:
372,94 |
![]() |
Buying and Selling Multimedia Services
ISBN: 9780240802725 / Angielski / Miękka / 1997 / 244 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Seeking to help the multimedia producer and buyer, this work teaches the reader to recognize flaws in past performances and to anticipate situations in future projects, in order to save money and avoid conference room confrontations. Souter examines the skills necessary to both the producer and the purchaser of multimedia, allowing each to see the other's problems and viewpoints. Viewing the multimedia project from both sides, Souter highlights the issues which will allow for effective communication between parties, resulting in a better product and a more creative relationship among all...
Seeking to help the multimedia producer and buyer, this work teaches the reader to recognize flaws in past performances and to anticipate situations i...
|
cena:
191,35 |
![]() |
Fortran 95 Handbook: Complete Iso/Ansi Reference
ISBN: 9780262510967 / Angielski / Miękka / 1997 / 726 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The Fortran 95 Handbook, a comprehensive reference work for the Fortran programmer and implementor, contains a complete description of the Fortran 95 programming language. The chapters follow the same sequence of topics as the Fortran 95 standard, but contain a more thorough and informal explanation of the language's features and many more examples. Appendices describe all the intrinsic features, the deprecated features, and the complete syntax of the language. The Handbook also includs a feature not found in the standard: a cross reference of all the syntax terms, giving the rule that... The Fortran 95 Handbook, a comprehensive reference work for the Fortran programmer and implementor, contains a complete description of the Fortran ... |
cena:
493,16 |
![]() |
Talking Nets: An Oral History of Neural Networks
ISBN: 9780262511117 / Angielski / Miękka / 2000 / 448 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Since World War II, a group of scientists has been attempting to understand the human nervous system and to build computer systems that emulate the brain's abilities. Many of the early workers in this field of neural networks came from cybernetics; others came from neuroscience, physics, electrical engineering, mathematics, psychology, even economics. In this collection of interviews, those who helped to shape the field share their childhood memories, their influences, how they became interested in neural networks, and what they see as its future. The subjects tell stories that have... Since World War II, a group of scientists has been attempting to understand the human nervous system and to build computer systems that emulate the... |
cena:
276,78 |
![]() |
Computer Science Logo Style: Symbolic Computing
ISBN: 9780262581486 / Angielski / Miękka / 1997 / 340 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This series is for people--adults and teenagers--who are interested in computer programming because it's fun. The three volumes use the Logo programming language as the vehicle for an exploration of computer science from the perspective of symbolic computation and artificial intelligence. Logo is a dialect of Lisp, a language used in the most advanced research projects in computer science, especially in artificial intelligence. Throughout the series, functional programming techniques (including higher order functions and recursion) are emphasized, but traditional sequential programming is... This series is for people--adults and teenagers--who are interested in computer programming because it's fun. The three volumes use the Logo progra... |
cena:
276,78 |
![]() |
The Art of the Metaobject Protocol
ISBN: 9780262610742 / Angielski / Miękka / 1991 / 352 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The CLOS metaobject protocol is an elegant, high-performance extension to the CommonLisp Object System. The authors, who developed the metaobject protocol and who were among the group that developed CLOS, introduce this new approach to programming language design, describe its evolution and design principles, and present a formal specification of a metaobject protocol for CLOS. Kiczales, des Rivieres, and Bobrow show that the "art of metaobject protocol design" lies in creating a synthetic combination of object-oriented and reflective techniques that can be applied under existing... The CLOS metaobject protocol is an elegant, high-performance extension to the CommonLisp Object System. The authors, who developed the metaobject p... |
cena:
439,07 |
![]() |
Thoughtful Interaction Design: A Design Perspective on Information Technology
ISBN: 9780262622097 / Angielski / Miękka / 2007 / 198 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The authors of Thoughtful Interaction Design go beyond the usual technical concerns of usability and usefulness to consider interaction design from a design perspective. The shaping of digital artifacts is a design process that influences the form and functions of workplaces, schools, communication, and culture; the successful interaction designer must use both ethical and aesthetic judgment to create designs that are appropriate to a given environment. This book is not a how-to manual, but a collection of tools for thought about interaction design. Working with information... The authors of Thoughtful Interaction Design go beyond the usual technical concerns of usability and usefulness to consider interaction desi... |
cena:
168,59 |
![]() |
Logic Programming: The 1997 International Symposium
ISBN: 9780262631808 / Angielski / Miękka / 1997 / 443 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The annual International Logic Programming Symposium, traditionally held in North America, is one of the main international conferences sponsored by the Association of Logic Programming. The themes of the 1997 conference are new theoretical and practical accomplishments in logic programming, new research directions where ideas originating from logic programming can play a fundamental role, and relations between logic programming and other fields of computer science. Topics include theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and... The annual International Logic Programming Symposium, traditionally held in North America, is one of the main international conferences sponsored b... |
cena:
574,31 |
![]() |
Beowulf Cluster Computing with Windows
ISBN: 9780262692755 / Angielski / Miękka / 2001 / 482 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Beowulf clusters, which exploit mass-market PC hardware and software in conjunction with cost-effective commercial network technology, are becoming the platform for many scientific, engineering, and commercial applications. With growing popularity has come growing complexity. Addressing that complexity, Beowulf Cluster Computing with Linux and Beowulf Cluster Computing with Windows provide system users and administrators with the tools they need to run the most advanced Beowulf clusters. The book is appearing in both Linux and Windows versions in order to reach the entire PC cluster... Beowulf clusters, which exploit mass-market PC hardware and software in conjunction with cost-effective commercial network technology, are becoming... |
cena:
330,88 |
![]() |
The Formal Semantics of Programming Languages: An Introduction
ISBN: 9780262731034 / Angielski / Miękka / 1993 / 384 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although the treatment is elementary, several of the topics covered are drawn from recent research, including the vital area of concurency. The book contains many exercises ranging from simple to miniprojects.Starting with basic set theory, structural operational... The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the seman... |
cena:
439,07 |
![]() |
Parallel Programming Using C++
ISBN: 9780262731188 / Angielski / Miękka / 1996 / 760 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Foreword by Bjarne Stroustrup Software is generally acknowledged to be the single greatest obstacle preventing mainstream adoption of massively-parallel computing. While sequential applications are routinely ported to platforms ranging from PCs to mainframes, most parallel programs only ever run on one type of machine. One reason for this is that most parallel programming systems have failed to insulate their users from the architectures of the machines on which they have run. Those that have been platform-independent have usually also had poor performance.Many researchers now believe that... Foreword by Bjarne Stroustrup Software is generally acknowledged to be the single greatest obstacle preventing mainstream adoption of massively-par... |
cena:
357,92 |