Saltar al contenido principal
Elsevier

Libros en Ciencias de la Computación

  • A Transfinite Type Theory with Type Variables

    • 1 Edición
    • Volumen 37
    • Lev D. Beklemishev
    • Inglés

  • Problems in the Philosophy of Science

    • 1 Edición
    • Volumen 49
    • Lev D. Beklemishev
    • Inglés

  • Elementary Induction on Abstract Structures

    • 1 Edición
    • Volumen 77
    • Lev D. Beklemishev
    • Inglés

  • The Collected Papers of Gerhard Gentzen

    • 1 Edición
    • Volumen 55
    • Lev D. Beklemishev
    • Inglés

  • Generalized Recursion Theory II

    • 1 Edición
    • Volumen 94
    • Lev D. Beklemishev
    • Inglés

  • A Deductive Theory of Space and Time

    • 1 Edición
    • Volumen 45
    • Lev D. Beklemishev
    • Inglés

  • Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971

    • 1 Edición
    • Volumen 74
    • Lev D. Beklemishev
    • Inglés

  • Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic

    • 1 Edición
    • Volumen 99
    • Lev D. Beklemishev
    • Inglés

  • The Theory of Semisets

    • 1 Edición
    • Volumen 70
    • Lev D. Beklemishev
    • Inglés

  • Logic Colloquium '78, Proceedings of the colloquium held in Mons

    • 1 Edición
    • Volumen 97
    • Lev D. Beklemishev
    • Inglés

  • Large Infinitary Languages

    • 1 Edición
    • Volumen 83
    • Lev D. Beklemishev
    • Inglés

  • Lincos

    Design of a Language for Cosmic Intercourse
    • 1 Edición
    • Volumen 28
    • Lev D. Beklemishev
    • Inglés

  • Logic, Methodology and Philosophy of Science III

    • 1 Edición
    • Volumen 52
    • Lev D. Beklemishev
    • Inglés

  • Sets and Classes on The Work by Paul Bernays

    • 1 Edición
    • Volumen 84
    • Lev D. Beklemishev
    • Inglés

  • Animal Cognition and Behavior

    • 1 Edición
    • Volumen 13
    • R.L. Mellgren
    • Inglés
    Contributed chapters by psychologists and behavioral biologists provide a broad coverage of animal behavior, and governing brain processes. Topics covered include: foraging behavior and strategies, economics and psychology, memory of events and space, time perception, expectancies, food preferences and diet selection, behavior variability and the concept of mind.The volume is designed to satisfy an intderdisciplinary audience, embracing the behavioristic tradition, biological and physiological approaches, and evolutionary theory as philosophical underpinnings to the chapters. Also achieved in this work is a good balance between empirical results and theory.

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 33
    • Lev D. Beklemishev
    • Inglés

  • SET THEORY

    • 1 Edición
    • Volumen 53
    • Lev D. Beklemishev
    • Inglés

  • Combinatorial Set Theory

    • 1 Edición
    • Volumen 91
    • Lev D. Beklemishev
    • Inglés

  • Foundational Studies Selected Works

    • 1 Edición
    • Volumen 93A
    • Lev D. Beklemishev
    • Inglés

  • Elements of Mathematical Logic

    • 1 Edición
    • Volumen 48
    • Lev D. Beklemishev
    • Inglés

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 5
    • Lev D. Beklemishev
    • Inglés

  • Quantitative Psychology

    Some Chosen Problems and New Ideas
    • 1 Edición
    • Volumen 15
    • M. Nowakowska
    • Inglés
    Examining selected statistical and modeling approaches in psychology, the book concentrates on the topics of mental test theory and theory of measurement. The main objective is not only to present a critical view of the approaches suggested up until now, but also their reinterpretation, extension and enrichment by new theories and concepts, for example, formal theories of semiotics and knowledge, and a unifying theory of actions.The book also shows a relation between test theory and the foundations of fuzzy set theory. It presents new models of measurement tools and new measurement theories of concepts such as objective and subjective time, risk or utility, and discusses the cognitive foundations of these theories, namely the theory of perception and observability.

  • Sets, Models and Recursion Theory

    • 1 Edición
    • Volumen 46
    • Lev D. Beklemishev
    • Inglés

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 34
    • Lev D. Beklemishev
    • Inglés
    The book consists of a selection of the forms of the axiom of choice which appeared in the literature together with additional forms which were obtained in the process of writing the book. Forms which were either used often in practice, unusual, relatively unknown, or particularly weak or strong were chosen for inclusion. The book assumes a knowledge of logic and elementary set theory (von Neumann-Bemays-Godel set theory), but does include a list of definitions of set theoretical symbols and terms in the section entitled "Preliminary Definitions and Theorems".

  • Proceedings of the Second Scandinavian Logic Symposium

    • 1 Edición
    • Volumen 63
    • Lev D. Beklemishev
    • Inglés

  • The Foundations of Intuitionistic Mathematics

    • 1 Edición
    • Volumen 39
    • Lev D. Beklemishev
    • Inglés

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 18
    • Lev D. Beklemishev
    • Inglés

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 20
    • Lev D. Beklemishev
    • Inglés
    Studies in Logic publishes monographs and occasionally edited volumes in the area of mathematical logic and its applications.

  • SET THEORY

    • 1 Edición
    • Volumen 86
    • Lev D. Beklemishev
    • Inglés

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 19
    • Lev D. Beklemishev
    • Inglés

  • Axiomatic Set Theory

    • 1 Edición
    • Volumen 21
    • Lev D. Beklemishev
    • Inglés

  • The Problem of Inductive Logic

    • 1 Edición
    • Volumen 51
    • Lev D. Beklemishev
    • Inglés

  • Logic in Algebraic Form

    • 1 Edición
    • Volumen 72
    • Lev D. Beklemishev
    • Inglés

  • Algebra of Proofs

    • 1 Edición
    • Volumen 88
    • Lev D. Beklemishev
    • Inglés

  • Languages with Expressions of Infinite Length

    • 1 Edición
    • Volumen 36
    • Lev D. Beklemishev
    • Inglés

  • Contributions to Mathematical Logic

    • 1 Edición
    • Volumen 50
    • Lev D. Beklemishev
    • Inglés

  • Contributions to Non-Standard Analysis

    • 1 Edición
    • Volumen 69
    • Lev D. Beklemishev
    • Inglés

  • Troubleshooting Windows 2000 TCP/IP

    • 1 Edición
    • Syngress
    • Inglés
    TCP/IP is a set of proposals developed to allow cooperating computers to share resources across a network. Some of the largest networks today are built on the TPC/IP protocol suite. Understanding how TCP/IP is "supposed" to work is not enough for today's network managers. In this book, readers will learn to prevent, detect, troubleshoot and correct TCP/IP network problems. By using products such as distributed sniffers, field metering tools and protocol analyses, network managers can learn a lot about what is going on in (or wrong in) an internetwork and be able to troubleshoot a live TPC/IP network. This book focuses specifically on identifying problem areas, including identifying and correcting protocol errors, DNS route problems, application faults and slow response times.Syngress have sold over 700,000 Microsoft and Cisco certification guides in the last two years. Most of the administrators buying these will be interested in this book.

  • Computer Busses

    • 1 Edición
    • William Buchanan
    • Inglés
    As more and more equipment is interface or'bus' driven, either by the use of controllers or directly from PCs, the question of which bus to use is becoming increasingly important both in industry and in the office. 'Computer Busses' has been designed to help choose the best type of bus for the particular application. There are several books which cover individual busses, but none which provide a complete guide to computer busses. The author provides a basic theory of busses and draws examples and applications from real bus case studies. Busses are analysed using from a top-down approach, helping the undergraduate electrical or computer engineer to chose the right type of bus for their particular application. This book is essential reading for students of software engineering and electronic design, as well as for those working in disciplines such as production engineering or process control. It will also be a handy reference book for professional engineers, systems designers, consultants and those working in technical support.

  • Windows 2000 Configuration Wizards

    • 1 Edición
    • Syngress
    • Inglés
    Developers are used to working with Wizards, component-like products that allow them to create certain elements - like dialog buttons - quickly and easily while they are coding applications. With the launch of Windows 2000, Microsoft has announced a new set of Wizards that will help administrators and users configure and set up Windows 2000 Professional (the Windows NT 4 Workstation successor) and Windows 2000 Server (the Windows NT 4 Server successor). Windows 2000 Setup and Configuration Wizards covers all the available Wizards, with an emphasis on those new to Windows 2000. Each Wizard is broken down by dialog box, with explanations of all options and required elements so administrators will know what to be prepared with.In addition, coverage of new services that will speed configuration and set up (like the Windows Installer) will be covered.

  • Psychological Experiments on the Internet

    • 1 Edición
    • Michael H. Birnbaum
    • Inglés
    Until recently, most psychological research was conducted using subject samples in close proximity to the investigators--namel... university undergraduates. In recent years, however, it has become possible to test people from all over the world by placing experiments on the internet. The number of people using the internet for this purpose is likely to become the main venue for subject pools in coming years. As such, learning about experiments on the internet will be of vital interest to all research psychologists. Psychological Experiments on the Internet is divided into three sections. Section I discusses the history of web experimentation, as well as the advantages, disadvantages, and validity of web-based psychological research. Section II discusses examples of web-based experiments on individual differences and cross-cultural studies. Section III provides readers with the necessary information and techniques for utilizing the internet in their own research designs.

  • A Computational Framework for Segmentation and Grouping

    • 1 Edición
    • G. Medioni + 2 más
    • Inglés
    This book represents a summary of the research we have been conducting since the early 1990s, and describes a conceptual framework which addresses some current shortcomings, and proposes a unified approach for a broad class of problems. While the framework is defined, our research continues, and some of the elements presented here will no doubt evolve in the coming years.It is organized in eight chapters. In the Introduction chapter, we present the definition of the problems, and give an overview of the proposed approach and its implementation. In particular, we illustrate the limitations of the 2.5D sketch, and motivate the use of a representation in terms of layers instead.In chapter 2, we review some of the relevant research in the literature. The discussion focuses on general computational approaches for early vision, and individual methods are only cited as references. Chapter 3 is the fundamental chapter, as it presents the elements of our salient feature inference engine, and their interaction. It introduced tensors as a way to represent information, tensor fields as a way to encode both constraints and results, and tensor voting as the communication scheme. Chapter 4 describes the feature extraction steps, given the computations performed by the engine described earlier. In chapter 5, we apply the generic framework to the inference of regions, curves, and junctions in 2-D. The input may take the form of 2-D points, with or without orientation. We illustrate the approach on a number of examples, both basic and advanced. In chapter 6, we apply the framework to the inference of surfaces, curves and junctions in 3-D. Here, the input consists of a set of 3-D points, with or without as associated normal or tangent direction. We show a number of illustrative examples, and also point to some applications of the approach. In chapter 7, we use our framework to tackle 3 early vision problems, shape from shading, stereo matching, and optical flow computation. In chapter 8, we conclude this book with a few remarks, and discuss future research directions.We include 3 appendices, one on Tensor Calculus, one dealing with proofs and details of the Feature Extraction process, and one dealing with the companion software packages.

  • Windows 2000 Server System Administration Handbook

    • 1 Edición
    • Syngress
    • Inglés
    Many organizations and network administrators are looking for information on Windows 2000 and its new features. IT professionals responsible for installing, configuring, and managing Microsoft products will be highly motivated to migrate to this new technology, based on its promise of reducing administrative overhead.Windows 2000 Server System Administration Handbook will help NT4 professionals to administer and support the Windows 2000 Server operating system. NT administrators will be able to differentiate the features and technology changes from Windows NT 4.0 to Windows 2000. In the handbook, readers will find a complete overview of the product, catered to their needs.

  • Managing Windows 2000 Network Services

    • 1 Edición
    • Syngress
    • Inglés
    Many organizations and network administrators are looking for information on Windows 2000 and its new features. IT professionals responsible for installing, configuring and managing Microsoft products will be highly motivated to migrate to this new technology, based on its promise of reducing administrative overhead.Microsoft Windows 2000 Server (the predecessor to Windows NT 4 Server) integrates network services for companies and administrators to set up and manage networks, remote access and extranets, as well as to manage other communications. Managing Windows 2000 Network Services will be the first book to focus exclusively on networking and integrated voice, video, and data on networks. Readers will learn how to deploy and integrate all Windows 2000 networking technologies within an enterprise network.

  • IP Addressing and Subnetting INC IPV6

    Including IPv6
    • 1 Edición
    • Syngress
    • Inglés
    Internetworking Protocol (IP) addresses are the unique numeric identifiers required of every device connected to the Internet. They allow for the precise routing of data across very complex worldwide internetworks. The rules for their format and use are governed by the Internet Engineering Task Force (IETF) of the The Internet SOCiety (ISOC). In response to the exponential increase in demand for new IP addresses, the IETF has finalized its revision on IP addressing as IP Version 6, also know as IPng (ng = Next Generation). Key hardware vendors such as Cisco and major Internet Service Providers such as America Online have already announced plans to migrate to IP Version 6.IP address allocation within an organization requires a lot of long-term planning. This timely publication addresses the administrator and engineer's need to know how IP 6 impacts their enterprise networks.

  • Multifunction Peripherals for PCs

    Technology, Troubleshooting and Repair
    • 1 Edición
    • Marvin Hobbs
    • Inglés
    Multifunction devices combine the essentials of a fax machine, printer, scanner, and copier into one peripheral for small and home offices. As the market for this equipment grows, the need for skilled repair and maintenance increases. Unfortunately the service documentation supplied by the manufacturers is completely inadequate making the repair jobs even harder and more expensive. Marvin Hobbs teaches you how multifunction peripherals work in theory and in practice with lots of hands-on examples and important troubleshooting and repair tips you don't want to miss. This book fills a gap in the literature, and will be a welcome addition to the library of any technician or do-it-yourselfer.

  • Advanced RenderMan

    Creating CGI for Motion Pictures
    • 1 Edición
    • Anthony A. Apodaca + 1 más
    • Inglés
    Advanced RenderMan: Creating CGI for Motion Pictures is precisely what you and other RenderMan users are dying for. Written by the world's foremost RenderMan experts, it offers thoroughly updated coverage of the standard while moving beyond the scope of the original RenderMan Companion to provide in-depth information on dozens of advanced topics. Both a reference and a tutorial, this book will quickly prove indispensable, whether you're a technical director, graphics programmer, modeler, animator, or hobbyist.

  • Industrial Strength Parallel Computing

    • 1 Edición
    • Alice E. Koniges
    • Inglés
    Today, parallel computing experts can solve problems previously deemed impossible and make the "merely difficult" problems economically feasible to solve. This book presents and synthesizes the recent experiences of reknown expert developers who design robust and complex parallel computing applications. They demonstrate how to adapt and implement today's most advanced, most effective parallel computing techniques. The book begins with a highly focused introductory course designed to provide a working knowledge of all the relevant architectures, programming models, and performance issues, as well as the basic approaches to assessment, optimization, scheduling, and debugging.Next comes a series of seventeen detailed case studies—all dealing with production-quality industrial and scientific applications, all presented firsthand by the actual code developers. Each chapter follows the same comparison-inviting format, presenting lessons learned and algorithms developed in the course of meeting real, non-academic challenges. A final section highlights the case studies' most important insights and turns an eye to the future of the discipline.

  • Cumulative Subject and Author Indexes for Part II

    • 1 Edición
    • Volumen 51
    • Inglés
    As we approach the 21st century, the Advances in Computers serial remains the oldes continuously published anthology chronicling the evolution of the information technology field. Since 1960, this series has described the ever-changing nature of computing. In this volume, we will emphasize the major themes that have dominated computing in these latter days of the 1990s. Of course we mean the distributed nature of information technology.The growth of networking, the Internet and the World Wide Web have greatly changed the role of the computer, and in turn, our lives as well. Starting as a computer science research topic in 1969, the ARPANET, funded by the U.S. government's Advanced Research Projects Agency (ARPA), tied together university, research, and military computing centers. By the mid-1980s the ARPANET evolved into the Internet under funding by the U.S. National Science Foundation (NSF). The computer experimenter, the so-called "computer geek," discovered the Internet and joined the fun. By the early 1990s, the World Wide Web (WWW) grew as a subnet of the Internet, and email and Web browsing became available to all. Today millions of "computer illiterate" individuals daily use these resources to send mail and search for online information. No longer is the Internet the domain of the serious computer researcher. In this volume we will describe some of the changes the Internet has brought us.

  • Soft Computing and Intelligent Systems

    Theory and Applications
    • 1 Edición
    • Madan M. Gupta
    • Naresh K. Sinha
    • Inglés
    The field of soft computing is emerging from the cutting edge research over the last ten years devoted to fuzzy engineering and genetic algorithms. The subject is being called soft computing and computational intelligence. With acceptance of the research fundamentals in these important areas, the field is expanding into direct applications through engineering and systems science.This book cover the fundamentals of this emerging filed, as well as direct applications and case studies. There is a need for practicing engineers, computer scientists, and system scientists to directly apply "fuzzy" engineering into a wide array of devices and systems.

Temas relacionados