MDS005.131
Woordgebruik: InformatieInformatica en InformatieComputer programming, programs, data, securityProgrammingLanguagesFormal Specification; Mathematical Languages
Dewmoji: ??????
0 Informatie 216,948 ℹ️ | 1 Filosofie en Psychologie 229,419 💭 | 2 Religies 562,779 🙏 | 3 Sociale wetenschappen 1,169,921 👫 | 4 Taal 177,109 💬 | 5 Natuurwetenschappen en Wiskunde 380,441 🔬 | 6 Technologie en Toegepaste kennis 844,132 💡 | 7 Kunst en Recreatie 857,504 🎨 | 8 Literatuur 1,201,263 📚 | 9 Geschiedenis en Aardrijkskunde 703,933 🗺️ |
00 Informatica en Informatie 121,406 💻 | 01 Bibliografieën 22,690 📚 | 02 Bibliotheek- en Informatiewetenschappen 27,085 📗 | 03 Woordenboeken en Encyclopedieën 10,798 📕 | 04 Speciale onderwerpen 705 🗃 | 05 Tijdschriften 5,183 𝐓 | 06 Organisaties 4,943 🏢 | 07 Journalisme en Uitgeven 15,961 📰 | 08 Bloemlezingen en Citaten 6,034 💬 | 09 Manuscripten en Zeldzame boeken 2,143 📜 |
000 Unclassified works [current usage]; Use 001 for general works 837 🌫 | 001 Kennis 15,776 🦉 | 002 History of the book 1,368 🔙 | 003 Systems Theory 2,966 💭 | 004 Computer science 26,805 💻 | 005 Computer programming, programs, data, security 52,070 💿 | 006 Speciale onderwerpen 21,251 🤓 | 007 -- 78 🤷 | 008 -- 127 🤷 | 009 -- 128 🤷 |
005.0 --- 64 | 005.1 Programming 14,551 ⌨ | 005.2 Programming for Specific Environments 5,826 | 005.3 Programs 3,368 | 005.4 Systems programming and programs 7,013 | 005.5 General purpose application programs 2,029 🖱 | 005.6 Firmware, Microprogramming 34 | 005.7 Data 9,777 🔣 | 005.8 Computer Security 5,207 🔒 | 005.9 --- 4 |
005.10 Programming -- Subdivisions 558 | 005.11 Techniques 863 | 005.12 Systems Analysis And Design 239 | 005.13 Languages 7,126 | 005.14 Software Testing 335 | 005.15 Software Documentation 37 | 005.16 Maintenance 81 | 005.17 6 | 005.18 13 | 005.19 |
005.130 11 | 005.131 Formal Specification; Mathematical Languages 184 | 005.132 | 005.133 General Programming Languages 4,465 | 005.134 2 | 005.135 | 005.136 Assembly Languages 12 | 005.137 | 005.138 | 005.139 |
005.1310 | 005.1311 | 005.1312 | 005.1313 3 | 005.1314 | 005.1315 | 005.1316 | 005.1317 | 005.1318 | 005.1319 |
Geselecteerde werken in MDS 005.131 (184)
- Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach door Kenneth Slonneger
- Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures (Lecture Notes in Computer Science) door Gilles Barthe
- Logic of Programming and Calculi of Discrete Design (Nato a S I Series Series III, Computer and Systems Sciences) door Manfred Broy
- The logic of categorial grammars : a deductive account of natural language syntax and semantics door Richard Moot
- Symbolic Rewriting Techniques (Progress in Computer Science and Applied Logic (PCS)) door Manuel Bronstein
- Logic, language, information and computation 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18 - 20, 2011 ; proceedings door Lev D. Beklemishev
- Logic, Language and Meaning 18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011, Revised Selected Papers door Maria Aloni
- Logic Programming: Proceedings of the Fourth International Conference (Mit Press Series in Logic Programming) door Jean-Louis Lassez
- Relational and algebraic methods in computer science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014, proceedings door Peter Höfner
- Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, P door Michael Hanus
- Inductive logic programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012 : revised selected papers door Fabrizio Riguzzi
Gerelateerde trefwoorden
"Verre vrienden"
MDS-klassen met aanzienlijke aanbevelingsoverlap, uitgezonderd die dezelfde hoofdklasse hebben.
Geen
Woordgebruik
Editie uit 1922 |
Moderne taal |
Emoji |