Biblioteca Dr. Antonio Monteiro · Catálogo | |
68 | Computer science | ||
68-00 | General reference works (handbooks, dictionaries, bibliographies, etc.) | ||
68-01 | Instructional exposition (textbooks, tutorial papers, etc.) | ||
68-02 | Research exposition (monographs, survey articles) | ||
68-03 | Historical | ||
68-04 | Explicit machine computation and programs (not the theory of computation or programming) | ||
68-06 | Proceedings, conferences, collections, etc. | ||
68-99 | Computer science (not classified at a more specific level) | ||
68M | Computer system organization | ||
68M01 | General | ||
68M07 | Mathematical problems of computer architecture | ||
68M10 | Network design and communication [See also 68R10, 90B18] | ||
68M12 | Network protocols | ||
68M14 | Distributed systems | ||
68M15 | Reliability, testing and fault tolerance [See also 94C12] | ||
68M20 | Performance evaluation; queueing; scheduling [See also 60K25, 90Bxx] | ||
68M99 | None of the above, but in this section | ||
68N | Software | ||
68N01 | General | ||
68N15 | Programming languages | ||
68N17 | Logic programming | ||
68N18 | Functional programming and lambda calculus [See also 03B40] | ||
68N19 | Other programming techniques (object-oriented, sequential, concurrent, automatic, etc.) | ||
68N20 | Compilers and interpreters | ||
68N25 | Operating systems | ||
68N30 | Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) | ||
68N99 | None of the above, but in this section | ||
68P | Theory of data | ||
68P01 | General | ||
68P05 | Data structures | ||
68P10 | Searching and sorting | ||
68P15 | Database theory | ||
68P20 | Information storage and retrieval | ||
68P25 | Data encryption [See also 94A60, 81P68] | ||
68P30 | Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) [See also 94Axx] | ||
68P99 | None of the above, but in this section | ||
68Q | Theory of computing | ||
68Q01 | General | ||
68Q05 | Models of computation (Turing machines, etc.) [See also 03D10, 81P68] | ||
68Q10 | Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) [See also 68Q85] | ||
68Q15 | Complexity classes (hierarchies, relations among complexity classes, etc.) [See also 03D15, 68Q17, 68Q19] | ||
68Q17 | Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) [See also 68Q15] | ||
68Q19 | Descriptive complexity and finite models [See also 03C13] | ||
68Q25 | Analysis of algorithms and problem complexity [See also 68W40] | ||
68Q30 | Algorithmic information theory (Kolmogorov complexity, etc.) | ||
68Q32 | Computational learning theory [See also 68T05] | ||
68Q42 | Grammars and rewriting systems | ||
68Q45 | Formal languages and automata [See also 03D05, 68Q70, 94A45] | ||
68Q55 | Semantics [See also 03B70, 06B35, 18C50] | ||
68Q60 | Specification and verification (program logics, model checking, etc.) [See also 03B70] | ||
68Q65 | Abstract data types; algebraic specification [See also 18C50] | ||
68Q70 | Algebraic theory of languages and automata [See also 18B20, 20M35] | ||
68Q80 | Cellular automata [See also 37B15] | ||
68Q85 | Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) | ||
68Q99 | None of the above, but in this section | ||
68R | Discrete mathematics in relation to computer science | ||
68R01 | General | ||
68R05 | Combinatorics | ||
68R10 | Graph theory [See also 05Cxx, 90B10, 90B35, 90C35] | ||
68R15 | Combinatorics on words | ||
68R99 | None of the above, but in this section | ||
68T | Artificial intelligence | ||
68T01 | General | ||
68T05 | Learning and adaptive systems [See also 68Q32, 91E40] | ||
68T10 | Pattern recognition, speech recognition {For cluster analysis, see 62H30} | ||
68T15 | Theorem proving (deduction, resolution, etc.) [See also 03B35] | ||
68T20 | Problem solving (heuristics, search strategies, etc.) | ||
68T27 | Logic in artificial intelligence | ||
68T30 | Knowledge representation | ||
68T35 | Languages and software systems (knowledge-based systems, expert systems, etc.) | ||
68T37 | Reasoning under uncertainty | ||
68T40 | Robotics [See also 93C85] | ||
68T45 | Machine vision and scene understanding | ||
68T50 | Natural language processing [See also 03B65] | ||
68T99 | None of the above, but in this section | ||
68U | Computing methodologies and applications | ||
68U01 | General | ||
68U05 | Computer graphics; computational geometry [See also 65D18] | ||
68U07 | Computer-aided design [See also 65D17] | ||
68U10 | Image processing | ||
68U15 | Text processing; mathematical typography | ||
68U20 | Simulation [See also 65Cxx] | ||
68U35 | Information systems (hypertext navigation, interfaces, decision support, etc.) | ||
68U99 | None of the above, but in this section | ||
68W | Algorithms {For numerical algorithms, see 65-XX; for combinatorics and graph theory, see 68Rxx} | ||
68W01 | General | ||
68W05 | Nonnumerical algorithms | ||
68W10 | Parallel algorithms | ||
68W15 | Distributed algorithms | ||
68W20 | Randomized algorithms | ||
68W25 | Approximation algorithms | ||
68W30 | Symbolic computation and algebraic computation [See also 11Yxx, 12Y05, 13Pxx, 14Qxx, 16Z05, 17-08, 33F10] | ||
68W35 | VLSI algorithms | ||
68W40 | Analysis of algorithms [See also 68Q25] | ||
68W99 | None of the above, but in this section |
Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.
Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com