Libros en Ciencias de la Computación

Elsevier's Dictionary of Cybernyms
Abbreviations and Acronyms used in Telecommunications, Electronics and Computer Science
1 Edición
T.R. Pyper + 1 más
Inglés
This dictionary was produced in response to the rapidly increasing amount of quasi-industrial jargon in the field of information technology, compounded by the fact that these somewhat esoteric terms are often further reduced to acronyms and abbreviations that are seldom explained. Even when they are defined, individual interpretations continue to diverge.Until now the codes have been reproduced in separate (language) publications: there is no universal listing in alphabetical order that covers the English, French, Spanish and German languages. This dictionary sets out the English, French, Spanish and German alternatives as a single, merge-sorted whole. Today, most of the codes have passed into the public domain, simply because they exist in most of the telecommunications systems installed throughout the developed (and developing) world and are largely known to most of those who work in that particular area. However, foreign variants often defy even the most astute observer. This dictionary seeks to clarify this bewildering situation as much as possible. The 26,000 definitions set out here, drawn from some 16,000 individual cybernyms, cover computing, electronics, telecommunications (including intelligent networks and mobile telephony), together with satellite technology and Internet/Web terminology.Annex I lists some of the innumerable file types found in the filing systems of computers using powerful desktop managers and Annex II lists the abbreviations of country names found in universal resource locators (URL).Elsevier's Dictionary of Cybernyms is a useful tool for translators, students, universities and computer enthusiasts.
DBAs Guide to Databases Under Linux
1 Edición
Syngress
Inglés
In an effort to increase its marketshare and threat to Windows NT, Oracle8 was ported to Linux in late 1998, opening the popular database to an additional 10 million Linux users worldwide. The availability of Oracle8 enables current Linux users to deploy enterprise-class applications at low cost and provides an alternative to Microsoft Windows NT. This book covers that marriage of the most popular database and the fastest growing operating system.
Computer Vision and Applications
A Guide for Students and Practitioners,Concise Edition
1 Edición
Bernd Jahne
Inglés
Based on the highly successful 3-volume reference Handbook of Computer Vision and Applications, this concise edition covers in a single volume the entire spectrum of computer vision ranging form the imaging process to high-end algorithms and applications. This book consists of three parts, including an application gallery.
Provability, Computability and Reflection
1 Edición
Volumen 27
Lev D. Beklemishev
Inglés
Formal Systems and Recursive Functions
1 Edición
Volumen 40
Lev D. Beklemishev
Inglés
Studies in Logic and the Foundations of Mathematics
1 Edición
Volumen 42
Lev D. Beklemishev
Inglés
Proof Theory
1 Edición
Volumen 81
Lev D. Beklemishev
Inglés
Provability, Computability and Reflection
1 Edición
Volumen 12
Lev D. Beklemishev
Inglés
WORD PROBLEMS II
1 Edición
Volumen 95
Lev D. Beklemishev
Inglés
Non-Classical Logics, Model Theory, And Computability
1 Edición
Volumen 89
Lev D. Beklemishev
Inglés
Provability, Computability and Reflection
1 Edición
Volumen 30
Lev D. Beklemishev
Inglés
Intuitionism An Introduction
1 Edición
Volumen 41
Lev D. Beklemishev
Inglés
Sentences Undecidable in Formalized Arithmetic
1 Edición
Volumen 10
Lev D. Beklemishev
Inglés
Constructive Order Types
1 Edición
Volumen 56
Lev D. Beklemishev
Inglés
Aspects of Inductive Logic
1 Edición
Volumen 43
Lev D. Beklemishev
Inglés
Model Theory For Infinitary Logic
1 Edición
Volumen 62
Lev D. Beklemishev
Inglés
Computer Programming and Formal Systems
1 Edición
Volumen 35
Lev D. Beklemishev
Inglés
Truth, Syntax and Modality
1 Edición
Volumen 68
Lev D. Beklemishev
Inglés
Mathematical Logic and Foundations of Set Theory, Proceedings of an International Colloquium Held Under the Auspices of The Israel Academy of Sciences and Humanities
1 Edición
Volumen 59
Lev D. Beklemishev
Inglés
Provability, Computability and Reflection
1 Edición
Volumen 24
Lev D. Beklemishev
Inglés
Provability, Computability and Reflection
1 Edición
Volumen 14
Lev D. Beklemishev
Inglés
Computer Programming and Formal Systems
1 Edición
Volumen 26
Lev D. Beklemishev
Inglés
Provability, Computability and Reflection
1 Edición
Volumen 23
Lev D. Beklemishev
Inglés
Provability, Computability and Reflection
1 Edición
Volumen 13
Lev D. Beklemishev
Inglés
Introduction to the Theory of Finite Automata
1 Edición
Volumen 38
Lev D. Beklemishev
Inglés
Provability, Computability and Reflection
1 Edición
Volumen 32
Lev D. Beklemishev
Inglés
An Algebraic Approach to Non-Classical Logics
1 Edición
Volumen 78
Lev D. Beklemishev
Inglés
Provability, Computability and Reflection
1 Edición
Volumen 11
Lev D. Beklemishev
Inglés
Provability, Computability and Reflection
1 Edición
Volumen 3
Lev D. Beklemishev
Inglés
Provability, Computability and Reflection
1 Edición
Volumen 17
Lev D. Beklemishev
Inglés
Provability, Computability and Reflection
1 Edición
Volumen 31
Lev D. Beklemishev
Inglés
Word Problems
1 Edición
Volumen 71
Lev D. Beklemishev
Inglés
Provability, Computability and Reflection
1 Edición
Volumen 25
Lev D. Beklemishev
Inglés
Provability, Computability and Reflection
1 Edición
Volumen 29
Lev D. Beklemishev
Inglés
A Theory of Cognitive Aging
1 Edición
Volumen 28
T. Salthouse
Inglés
Over a half-century of research has documented the fact that people of different ages perform at different levels on a variety of tests of cognitive functioning, and yet there are still no comprehensive theories to account for these phenomena. A Theory of Cognitive Aging is intended to begin intellectual discussion in this area by identifying major issues of controversy, and proposing a particular theoretical interpretation based on the notion that the rate of processing information slows down with increased age. Although still quite preliminary, the theoretical perspective is demonstrated to provide a plausible account for age-related differences in functioning on measures of memory, spatial ability and reasoning. The book has four aims: - To advocate a more explicitly theoretical approach to research in the area of cognitive aging. - To outline three important dimensions along which it is argued that any theory of cognitive aging phenomena must take a position. - To evaluate empirical evidence relevant to specific positions along those dimensions. - To summarize the major concepts of the current theory, and to describe its application to selected findings in the research literature.
Provability, Computability and Reflection
1 Edición
Volumen 16
Lev D. Beklemishev
Inglés
The Metamathematics of Algebraic Systems
1 Edición
Volumen 66
Lev D. Beklemishev
Inglés
Constructible Sets with Applications
1 Edición
Volumen 57
Lev D. Beklemishev
Inglés
The Axiom of Choice
1 Edición
Volumen 75
Lev D. Beklemishev
Inglés
LOGIC COLLOQUIUM '69
1 Edición
Volumen 61
Lev D. Beklemishev
Inglés
Logic Colloquium '77
1 Edición
Volumen 96
Lev D. Beklemishev
Inglés
Set Theory
1 Edición
Volumen 76
Lev D. Beklemishev
Inglés
Generalized Recursion Theory
1 Edición
Volumen 79
Lev D. Beklemishev
Inglés
Provability, Computability and Reflection
1 Edición
Volumen 22
Lev D. Beklemishev
Inglés
Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968
1 Edición
Volumen 60
Lev D. Beklemishev
Inglés
Provability, Computability and Reflection
1 Edición
Volumen 15
Lev D. Beklemishev
Inglés
Foundational Studies
1 Edición
Volumen 93B
Lev D. Beklemishev
Inglés
Provability, Computability and Reflection
1 Edición
Volumen 4
Lev D. Beklemishev
Inglés
Provability, Computability and Reflection
1 Edición
Volumen 7
Lev D. Beklemishev
Inglés
Intuitionistic Logic Model Theory and Forcing
1 Edición
Volumen 54
Lev D. Beklemishev
Inglés

Descubrar libros e ebooks

Áreas temáticas

Títulos en inglés

Libros en Ciencias de la Computación

Elsevier's Dictionary of Cybernyms

DBAs Guide to Databases Under Linux

Computer Vision and Applications

Provability, Computability and Reflection

Formal Systems and Recursive Functions

Studies in Logic and the Foundations of Mathematics

Proof Theory

Provability, Computability and Reflection

WORD PROBLEMS II

Non-Classical Logics, Model Theory, And Computability

Provability, Computability and Reflection

Intuitionism An Introduction

Sentences Undecidable in Formalized Arithmetic

Constructive Order Types

Aspects of Inductive Logic

Model Theory For Infinitary Logic

Computer Programming and Formal Systems

Truth, Syntax and Modality

Mathematical Logic and Foundations of Set Theory, Proceedings of an International Colloquium Held Under the Auspices of The Israel Academy of Sciences and Humanities

Provability, Computability and Reflection

Provability, Computability and Reflection

Computer Programming and Formal Systems

Provability, Computability and Reflection

Provability, Computability and Reflection

Introduction to the Theory of Finite Automata

Provability, Computability and Reflection

An Algebraic Approach to Non-Classical Logics

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection

Word Problems

Provability, Computability and Reflection

Provability, Computability and Reflection

A Theory of Cognitive Aging

Provability, Computability and Reflection

The Metamathematics of Algebraic Systems

Constructible Sets with Applications

The Axiom of Choice

LOGIC COLLOQUIUM '69

Logic Colloquium '77

Set Theory

Generalized Recursion Theory

Provability, Computability and Reflection

Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968

Provability, Computability and Reflection

Foundational Studies

Provability, Computability and Reflection

Provability, Computability and Reflection

Intuitionistic Logic Model Theory and Forcing

Temas relacionados