Handbook of Logic in Computer Science: Volume 4: Semantic Modelling
ISBN: 9780198537809 / Angielski / Twarda / 672 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of the application of logic to theoretical computer science. It comprises six volumes, each containing five or six chapters giving an in-depth overview of one of the major topics in the field. The handbook is the result of many years of cooperative effort by eminent researchers in the area, and will no doubt be the standard reference work in logic and theoretical computer science for years to come. Volume 4: Semantic Modelling covers the fundamental topics of semantic modelling in logic and...
The Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of the application of logic to theoretical computer scie...
|
|
cena:
1933,82 zł |
Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods
ISBN: 9780198537816 / Angielski / Twarda / 560 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic is now widely recognized as one of the foundational disciplines of computing, and its applications reach almost every aspect of the subject, from software engineering and hardware to programming languages and AI. The Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of application of logic to theoretical computer science. The handbook comprises six volumes, each containing five or six chapters giving an in-depth overview of one of the major topics in field. It is the result of many years of cooperative effort by some of the most eminent frontline...
Logic is now widely recognized as one of the foundational disciplines of computing, and its applications reach almost every aspect of the subject, fro...
|
|
cena:
2341,56 zł |
Hierarchical Strategy Learning for FLUX Agents
ISBN: 9783639431483 / Angielski / Miękka / 100 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
222,78 zł |
Turtle Geometry: The Computer as a Medium for Exploring Mathematics
ISBN: 9780262510370 / Angielski / Miękka / 498 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Turtle Geometry presents an innovative program of mathematical discovery that demonstrates how the effective use of personal computers can profoundly change the nature of a student's contact with mathematics. Using this book and a few simple computer programs, students can explore the properties of space by following an imaginary turtle across the screen.The concept of turtle geometry grew out of the Logo Group at MIT. Directed by Seymour Papert, author of Mindstorms, this group has done extensive work with preschool children, high school students and university undergraduates. Harold... Turtle Geometry presents an innovative program of mathematical discovery that demonstrates how the effective use of personal computers can profound... |
|
cena:
309,86 zł |
Cyberspace and the Law: Your Rights and Duties in the On-Line World
ISBN: 9780262531238 / Angielski / Miękka / 230 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. What legal recourse do you have if someone has read your private e-mail without your consent? Who owns the copyright to the message you just posted on a bulletin board? Can you get into trouble for downloading a sexually explicit file? These are among the many questions that the authors, both practicing attorneys, address in Cyberspace and the Law. Without resorting to confusing legalese, they present a clear and concise analysis of legal issues in the anarchic world of cyberspace for members of the on-line world who have little or no legal background.The introduction provides a quick tour... What legal recourse do you have if someone has read your private e-mail without your consent? Who owns the copyright to the message you just posted... |
|
cena:
218,79 zł |
Computer Ethics: Cautionary Tales and Ethical Dilemmas in Computing
ISBN: 9780262560733 / Angielski / Miękka / 362 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. For anyone interested in the issues arising from computer malfunctions and, more perniciously, from misuse, this new edition of Computer Ethics is right on the mark. Widely acclaimed for its readability and its balanced and authoritative coverage, Computer Ethics has been thoroughly revised and updated with new anecdotes, new revelations, and lively discussion of the ethical, social, and professional issues arising from the computer revolution, such as computer crime, software theft, hacking, viruses, and the invasion of privacy.An entirely rewritten first chapter is followed by expanded... For anyone interested in the issues arising from computer malfunctions and, more perniciously, from misuse, this new edition of Computer Ethics is ... |
|
cena:
249,14 zł |
Imitation of Life: How Biology Is Inspiring Computing
ISBN: 9780262562157 / Angielski / Miękka / 171 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. As computers and the tasks they perform become increasingly complex, researchers are looking to nature -- as model and as metaphor -- for inspiration. The organization and behavior of biological organisms present scientists with an invitation to reinvent computing for the complex tasks of the future. In Imitation of Life, Nancy Forbes surveys the emerging field of biologically inspired computing, looking at some of the most impressive and influential examples of this fertile synergy. Forbes points out that the influence of biology on computing goes back to the early days of... As computers and the tasks they perform become increasingly complex, researchers are looking to nature -- as model and as metaphor -- for inspirati... |
|
cena:
188,43 zł |
AI in the 1980s and Beyond: An MIT Survey
ISBN: 9780262570770 / Angielski / Miękka / 388 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. AI in the 1980s and Beyond provides an inside report on current applications, trends, and future opportunities in one of the world's major centers of artificial intelligence research. The topics covered include a general perspective on AI, knowledge-based systems, expert systems tools and techniques, system building in medical diagnosis, AI and software engineering, intelligent natural language processing, automatic speech recognition, intelligent vision, seeing robots, robot programming, robot tactile sensing, and autonomous mobile robots. W. Eric L. Grimson and Ramesh S. Patil are both... AI in the 1980s and Beyond provides an inside report on current applications, trends, and future opportunities in one of the world's major centers ... |
|
cena:
279,50 zł |
Computer Science Logo Style: Symbolic Computing
ISBN: 9780262581486 / Angielski / Miękka / 340 str. Termin realizacji zamówienia: ok. 5-8 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:
309,86 zł |
Mechanizing Proof: Computing, Risk, and Trust
ISBN: 9780262632959 / Angielski / Miękka / 440 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Most aspects of our private and social lives -- our safety, the integrity of the financial system, the functioning of utilities and other services, and national security -- now depend on computing. But how can we know that this computing is trustworthy? In Mechanizing Proof, Donald MacKenzie addresses this key issue by investigating the interrelations of computing, risk, and mathematical proof over the last half century from the perspectives of history and sociology. His discussion draws on the technical literature of computer science and artificial intelligence and on extensive... Most aspects of our private and social lives -- our safety, the integrity of the financial system, the functioning of utilities and other services,... |
|
cena:
249,14 zł |
Affective Computing
ISBN: 9780262661157 / Angielski / Miękka / 306 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The latest scientific findings indicate that emotions play an essential role in decision making, perception, learning, and more -- that is, they influence the very mechanisms of rational thinking. Not only too much, but too little emotion can impair decision making. According to Rosalind Picard, if we want computers to be genuinely intelligent and to interact naturally with us, we must give computers the ability to recognize, understand, even to have and express emotions. Part 1 of this book provides the intellectual framework for affective computing. It includes background on human... The latest scientific findings indicate that emotions play an essential role in decision making, perception, learning, and more -- that is, they in... |
|
cena:
491,99 zł |
Scalable Input/Output: Achieving System Balance
ISBN: 9780262681421 / Angielski / Miękka / 392 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. As we enter the "decade of data," the disparity between the vast amount of data storage capacity (measurable in terabytes and petabytes) and the bandwidth available for accessing it has created an input/output bottleneck that is proving to be a major constraint on the effective use of scientific data for research. Scalable Input/Output is a summary of the major research results of the Scalable I/O Initiative, launched by Paul Messina, then Director of the Center for Advanced Computing Research at the California Institute of Technology, to explore software and algorithmic solutions... As we enter the "decade of data," the disparity between the vast amount of data storage capacity (measurable in terabytes and petabytes) and the ba... |
|
cena:
249,14 zł |
Safeguards Systems Analysis: With Applications to Nuclear Material Safeguards and Other Inspection Problems
ISBN: 9780306421693 / Angielski / Twarda / 364 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Adequate verification is the key issue not only in today's arms control, arms limitation, and disarmament regimes, but also in less spectacular areas like auditing in economics or control of environmental pollution. Statistical methodologies and system analytical approaches are the tools developed over the past decades for quantifying those components of adequate verification which are quantifiable, i. e., numbers, inventories, mass transfers, etc., together with their uncertainties. In his book Safeguards Systems Analy sis, Professor Rudolf Avenhaus condenses the experience and expertise he...
Adequate verification is the key issue not only in today's arms control, arms limitation, and disarmament regimes, but also in less spectacular areas ...
|
|
cena:
579,64 zł |
SIGMA: A Knowledge-Based Aerial Image Understanding System
ISBN: 9780306433016 / Angielski / Twarda / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It has long been a dream to realize machines with flexible visual perception capability. Research on digital image processing by computers was initiated about 30 years ago, and since then a wide variety of image processing algorithms have been devised. Using such image processing algorithms and advanced hardware technologies, many practical ma chines with visual recognition capability have been implemented and are used in various fields: optical character readers and design chart readers in offices, position-sensing and inspection systems in factories, computer tomography and medical X-ray...
It has long been a dream to realize machines with flexible visual perception capability. Research on digital image processing by computers was initiat...
|
|
cena:
386,41 zł |
Visual Form: Analysis and Recognition
ISBN: 9780306441851 / Angielski / Twarda / 644 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains the papers presented at the International Workshop on Visual Fonn, held in Capri (Italy) on May 27-30, 1991. The workshop, sponsored by the International Association for Pattern Recognition ( APR), has been jointly organized by the Dipartimento di Infonnatica e Sisternistica of the University of Naples and the Istituto di Cibemetica of the National Research Council of Italy, and has focussed on Shape. Shape is a distinctive feature of most patterns, so that recognition can often be attained through shape discrimination. The organizers of the workshop shared the general...
This book contains the papers presented at the International Workshop on Visual Fonn, held in Capri (Italy) on May 27-30, 1991. The workshop, sponsore...
|
|
cena:
772,86 zł |
Computer Science 2: Research and Applications
ISBN: 9780306447303 / Angielski / Twarda / 596 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The articles in this proceedings were presented at the 13th International Conference of the Chilean Computer Science Society held in La Serena, Chile on October 14-16, 1993. A record number of 90 submissions were received this year in response to the call for papers. They came from 19 countries in four continents. The 44 articles presented here were selected by the program committee whose members were Ricardo Baeza-Yates (Chair, Univ. de Chile) Leopoldo Bertossi (U niv. Catolica de Chile) Jorge Boria (Schlumberger, USA & UNICEN, Argentina) Edgardo Broner (Univ. Simon Bolivar, Venezuela) Pere...
The articles in this proceedings were presented at the 13th International Conference of the Chilean Computer Science Society held in La Serena, Chile ...
|
|
cena:
772,86 zł |
Systems Development Methods for Databases, Enterprise Modeling, and Workflow Management
ISBN: 9780306462993 / Angielski / Twarda / 496 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is a result of the ISD'99, Eight International Conference on Infonnation Systems Development-Methods and Tools, Theory, and Practice held August 11-13, 1999 in Boise, Idaho, USA. The purpose of this conference was to address the issues facing academia and industry when specifying, developing, managing, and improving infonnation systems. ISD'99 consisted not only of the technical program represented in these Proceedings, but also of plenary sessions on product support and content management systems for the Internet environment, workshop on a new paradigm for successful acquisition of...
This book is a result of the ISD'99, Eight International Conference on Infonnation Systems Development-Methods and Tools, Theory, and Practice held Au...
|
|
cena:
772,86 zł |
A Parallel Algorithm Synthesis Procedure for High-Performance Computer Architectures
ISBN: 9780306477430 / Angielski / Twarda / 108 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Despite five decades of research, parallel computing remains an exotic, frontier technology on the fringes of mainstream computing. Its much-heralded triumph over sequential computing has yet to materialize. This is in spite of the fact that the processing needs of many signal processing applications continue to eclipse the capabilities of sequential computing. The culprit is largely the software development environment. Fundamental shortcomings in the development environment of many parallel computer architectures thwart the adoption of parallel computing. Foremost, parallel computing has... Despite five decades of research, parallel computing remains an exotic, frontier technology on the fringes of mainstream computing. Its much-herald... |
|
cena:
386,41 zł |
Computing System Reliability: Models and Analysis
ISBN: 9780306484964 / Angielski / Twarda / 293 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computing systems are of growing importance because of their wide use in many areas including those in safety-critical systems. This book describes the basic models and approaches to the reliability analysis of such systems. An extensive review is provided and models are categorized into different types. Some Markov models are extended to the analysis of some specific computing systems such as combined software and hardware, imperfect debugging processes, failure correlation, multi-state systems, heterogeneous subsystems, etc. One of the aims of the presentation is that based on the sound...
Computing systems are of growing importance because of their wide use in many areas including those in safety-critical systems. This book describes th...
|
|
cena:
386,41 zł |
Computers: The Life Story of a Technology
ISBN: 9780313331497 / Angielski / Twarda / 192 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The computer is the great technological and scientific innovation of the last half of the twentieth century. It has revolutionized how we organize information, how we communicate with each other, and even the way that we think about the human mind. Computers have eased the drudgery of such tasks as calculating sums and clerical work, making them both more bearable and more efficient. The computer has become ubiquitous in many aspects of business, recreation, and everyday life, and the trend is that they are becoming both more powerful and easier to use. Computers: The Life Story of a... The computer is the great technological and scientific innovation of the last half of the twentieth century. It has revolutionized how we organize ... |
|
cena:
241,63 zł |