MDS 005.131
Wording: Computer science, information & general works Computer science, knowledge & systems Artificial Intelligence/Virtual Reality Software development Computer programming Symbolic logic {mathematical logic}
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.130 modified standard subdivisions 14 | 005.131 Symbolic logic {mathematical logic} 186 🔢 | 005.132 Properties of programming languages 2 📚 | 005.133 Specific programming languages 4,405 ⚙️ | 005.134 1 | 005.135 | 005.136 Machine and assembly languages 11 🗄️ | 005.137 1 | 005.138 | 005.139 |
005.1310 | 005.1311 | 005.1312 1 | 005.1313 3 | 005.1314 | 005.1315 | 005.1316 | 005.1317 | 005.1318 | 005.1319 |
Selected Works under MDS 005.131 (186)
170 items
- Semantics with Applications: An Appetizer by Hanne Riis Nielson
- Foundations for Programming Languages by John C. Mitchell
- A Theory of Objects (Monographs in Computer Science) by Martin Abadi
- The Algebra of Programming by Richard Bird
- Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings by Adrian Horia Dediu
- Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach by Kenneth Slonneger
- Jeffrey McManus' Database Access with Visual Basic 6 by Jeffrey P. McManus
- Computational Semantics with Functional Programming by Jan van Eijck
- Concurrent and Real-Time Programming in Java by Andrew Wellings
- Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings by María Alpuente
- Relations and Kleene Algebra in Computer Science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009, Proceedings by Rudolf Berghammer
- Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings by Luke Ong
- Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings by Xiangdong He
- Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics by André Platzer
- Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday by Orna Grumberg
- The Structure of Typed Programming Languages by David A. Schmidt
- Stochastic Coalgebraic Logic by Ernst-Erich Doberkat
- Grammatical Inference: Learning Automata and Grammars by Colin de la Higuera
- Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures by Alessandro Aldini
- Computer Algebra in Scientific Computing 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009, Proceedings by Vladimir P. Gerdt
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 |