MDS 005.101
Wording: Computer science, information & general works Computer science, knowledge & systems Artificial Intelligence/Virtual Reality Software development modified standard subdivisions Philosophy & theory
Dewmoji: ℹ️💻💿⌨️??
0 Computer science, information & general works 252,013 ℹ️ | 1 Philosophy & psychology 270,129 🧠 | 2 Religion 681,242 🙏 | 3 Society, government, & culture 1,328,382 👫 | 4 Language 209,883 💬 | 5 Natural sciences & mathematics 431,918 🔬 | 6 Applied science & technology 940,635 💡 | 7 Arts & recreation 1,031,850 🎨 | 8 Literature & rhetoric 1,436,736 📚 | 9 History & geography 837,760 🗺️ |
00 Computer science, knowledge & systems 134,608 💻 | 01 Bibliographies (books containing lists of books) 26,001 📚 | 02 Library & information sciences 34,982 📗 | 03 Encyclopedias & books of facts 12,903 📕 | 04 [Formerly: General collected Essays] 780 | 05 Magazines, journals & serials 7,835 𝐓 | 06 Associations, organizations & museums 6,348 🏢 | 07 News media, journalism & publishing 18,506 📰 | 08 Anthologies and Quotations 7,534 💬 | 09 Manuscripts & rare books (books about rare books) 2,516 📜 |
000 Generalities / Catch-all 1,927 | 001 Knowledge and learning in general 18,858 🦉 | 002 Books (Science and history of the book) 1,744 🔙 | 003 Systems 3,255 💭 | 004 Computer science 28,954 💻 | 005 Artificial Intelligence/Virtual Reality 56,113 💿 | 006 Special computer methods (AI, barcoding, VR, web design, social media) 23,380 🤓 | 007 [Formerly: Activity and organization in general] 87 | 008 [Never assigned] 139 | 009 [Never assigned] 151 |
005.0 modified standard subdivisions 72 | 005.1 Software development 15,918 ⌨️ | 005.2 Programming for Specific Environments 6,192 ⚙️ | 005.3 Software 3,771 📱 | 005.4 Systems programming and programs 7,545 💻 | 005.5 General purpose application programs 2,226 🖱 | 005.6 Firmware, Microprogramming 39 | 005.7 Data in computer systems 10,547 🔣 | 005.8 Computer Security 5,701 🔒 | 005.9 --- 5 |
005.10 modified standard subdivisions 546 | 005.11 Software development methods; programming paradigms 831 📐 | 005.12 Software systems analysis and design 225 🧪 | 005.13 Computer programming 7,934 📜 | 005.14 Verification, testing, measurement, debugging 332 🔧 | 005.15 Software Documentation 35 📜 | 005.16 Maintenance 67 🛠️ | 005.17 7 | 005.18 Microprogramming 12 🧩 | 005.19 |
005.100 1 | 005.101 Philosophy & theory 135 | 005.102 Miscellany 74 | 005.103 Dictionaries & Encyclopedias 3 | 005.104 | 005.105 Serial publications 26 | 005.106 Organizations and management 228 | 005.107 Education, research, related topics 20 | 005.108 Groups of people 2 | 005.109 History, geographic treatment, biography 52 |
005.1010 | 005.1011 | 005.1012 | 005.1013 | 005.1014 | 005.1015 109 | 005.1016 | 005.1017 | 005.1018 | 005.1019 Psychological principles; Human-computer interaction, human factors, usability 7 |
Selected Works under MDS 005.101 (135)
127 items
- The Psychology of Computer Programming: Silver Anniversary Edition by Gerald M. Weinberg
- The Little Typer (The MIT Press) by Daniel P. Friedman
- Logic in Computer Science: Modelling and Reasoning about Systems by Michael Huth
- The Philosophical Programmer: Reflections on the Moth in the Machine by Daniel Kohanski
- A Friendly Introduction to Mathematical Logic by Christopher C. Leary
- Logic and Discrete Mathematics: A Computer Science Perspective by Winfried Karl Grassmann
- Software Creativity by Robert L. Glass
- Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings by Claude Bolduc
- Interactive Theorem Proving First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings by Matt Kaufmann
- Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings by Tayssir Touili
- Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings by Sergei Artemov
- CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings by Mario Bravetti
- A First Introduction to Quantum Computing and Information by Bernard Zygelman
- Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings by Michael Leuschel
- Algebraic Informatics 3rd International Conference on Algebraic Informatics, CAI 2009, Thessaloniki, Greece, Mai 19-22, 2009 by Symeon Bozapalidis
- Formale Sprachen, abstrakte Automaten und Compiler: Lehr- und Arbeitsbuch für Grundstudium und Fortbildung (German Edition) by Christian Wagenknecht
- Essential Logic for Computer Science (The MIT Press) by Rex Page
- Get Set Go: Computing - Logic and Data by Tech Age Kids (author)
- Unifying Theories of Programming by C.A.R. Hoare
- Computer Arithmetic and Validity: Theory, Implementation, and Applications (de Gruyter Studies in Mathematics) by Ulrich Kulisch
Related Tags
"Far Friends"
MDS classes with significant recommendations overlap, excluding ones under the same top-level class.
None
Wording
| 1922 Edition |
| Modern Language |
| Emoji |