MDS005.131
Definizioni: GeneralitàGeneralitàProgrammazione, programmi, datiProgrammingLanguagesFormal Specification; Mathematical Languages
Dewmoji: ℹ️?????
0 Generalità 216,948 ℹ️ | 1 Filosofia, Psicologia 229,419 💭 | 2 Religione 562,779 🙏 | 3 Scienze sociali 1,169,921 👫 | 4 Linguaggio 177,109 💬 | 5 Scienze naturali e matematica 380,441 🔬 | 6 Tecnologie 844,132 💡 | 7 Belle arti e arti decorative 857,504 🎨 | 8 Letteratura 1,201,263 📚 | 9 Geografia, Storia e discipline ausiliarie 703,933 🗺️ |
00 Generalità 121,406 💻 | 01 Bibliografia 22,690 📚 | 02 Biblioteconomia 27,085 📗 | 03 Enciclopedie 10,798 📕 | 04 Pubblicazioni miscellanee 705 🗃 | 05 Riviste generali 5,183 𝐓 | 06 Istituti culturali, fondazioni, accademie. Congressi 4,943 🏢 | 07 Giornali. Giornalismo. Editoria 15,961 📰 | 08 Poligrafia. Msicellanee generali 6,034 💬 | 09 Manoscritti e libri rari 2,143 📜 |
000 Unclassified works [current usage]; Use 001 for general works 837 🌫 | 001 Conoscenza 15,776 🦉 | 002 History of the book 1,368 🔙 | 003 Sistemi 2,966 💭 | 004 Computer science 26,805 💻 | 005 Programmazione, programmi, dati 52,070 💿 | 006 Metodi speciali di elaborazione 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 DATI NEI SISTEMI DI ELABORATORI 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 |
Opere selezionate per la classe MDS 005.131 (184)
- Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach di Kenneth Slonneger
- Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures (Lecture Notes in Computer Science) di Gilles Barthe
- Logic of Programming and Calculi of Discrete Design (Nato a S I Series Series III, Computer and Systems Sciences) di Manfred Broy
- The logic of categorial grammars : a deductive account of natural language syntax and semantics di Richard Moot
- Symbolic Rewriting Techniques (Progress in Computer Science and Applied Logic (PCS)) di Manuel Bronstein
- Logic, language, information and computation 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18 - 20, 2011 ; proceedings di Lev D. Beklemishev
- Logic, Language and Meaning 18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011, Revised Selected Papers di Maria Aloni
- Logic Programming: Proceedings of the Fourth International Conference (Mit Press Series in Logic Programming) di Jean-Louis Lassez
- Relational and algebraic methods in computer science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014, proceedings di Peter Höfner
- Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, P di Michael Hanus
- Inductive logic programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012 : revised selected papers di Fabrizio Riguzzi
Etichette correlate
"Amici lontani"
Classi MDS con una proporzione significativa di consigli in comune, escluse quelle appartenenti alla stessa classe di primo livello.
Nessuno
Definizioni
Edizione del 1922 |
Linguaggio moderno |
Emoji |