MDS004.015113
Fraseologia: Obras genéricas; Ciências da informaçãoObras genéricasComputer scienceComputer science -- subdivisionsTheory And InstructionComputer MathematicsPor atribuirPor atribuirPor atribuir
Dewmoji: ?????????
0 Obras genéricas; Ciências da informação 216,948 ℹ️ | 1 Filosofia; Psicologia 229,419 💭 | 2 Religião 562,779 🙏 | 3 Ciências sociais 1,169,921 👫 | 4 Linguística 177,109 💬 | 5 Ciência 380,441 🔬 | 6 Ciências aplicadas e tecnologia 844,132 💡 | 7 Arte 857,504 🎨 | 8 Literatura 1,201,263 📚 | 9 História 703,933 🗺️ |
00 Obras genéricas 121,406 💻 | 01 Bibliografia 22,690 📚 | 02 Biblioteconomia 27,085 📗 | 03 Enciclopédias genéricas 10,798 📕 | 04 Coletâneas genéricas 705 🗃 | 05 Periódicos genéricos 5,183 𝐓 | 06 Instituições genéricas; Museus 4,943 🏢 | 07 Jornalismo; Jornais 15,961 📰 | 08 Antologias; Citações 6,034 💬 | 09 Livros raros 2,143 📜 |
000 Unclassified works [current usage]; Use 001 for general works 837 🌫 | 001 Knowledge 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 Special Topics 21,251 🤓 | 007 -- 78 🤷 | 008 -- 127 🤷 | 009 -- 128 🤷 |
004.0 Computer science -- subdivisions 3,756 | 004.1 By Computer Type 3,239 | 004.2 Computer Architectures 1,175 | 004.3 Modes Of Processing 1,766 | 004.4 --- 43 | 004.5 Memory And Storage 272 | 004.6 Networking 8,249 | 004.7 Peripherals 129 | 004.8 9 | 004.9 Non-Electronic Computing 18 |
004.00 11 | 004.01 Theory And Instruction 1,939 | 004.02 Miscellany 273 👝 | 004.03 Dictionaries And Encyclopedias 242 📕 | 004.04 | 004.05 Periodicals 33 𝐓 | 004.06 Business 528 | 004.07 Education And Research 386 | 004.08 Culture Studies 104 | 004.09 History, geographic treatment, biography 238 |
004.010 | 004.011 | 004.012 | 004.013 | 004.014 Glossaries and Dictionaries 15 | 004.015 Computer Mathematics 811 | 004.016 3 | 004.017 | 004.018 | 004.019 Computer Interaction With Humans 646 |
004.0150 | 004.0151 805 | 004.0152 | 004.0153 | 004.0154 | 004.0155 | 004.0156 | 004.0157 | 004.0158 | 004.0159 |
004.01510 1 | 004.01511 74 | 004.01512 4 | 004.01513 5 | 004.01514 | 004.01515 | 004.01516 | 004.01517 | 004.01518 | 004.01519 2 |
004.015110 | 004.015111 | 004.015112 | 004.015113 63 | 004.015114 | 004.015115 5 | 004.015116 | 004.015117 | 004.015118 5 | 004.015119 |
Selected Works under MDS 004.015113 (63)
- The Calculus of Computation: Decision Procedures with Applications to Verification por Aaron R. Bradley
- Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science) por Gilles Dowek
- Automated reasoning : second international joint conference, IJCAR 2004 Cork, Ireland, July 4-8, 2004 proceedings por David Basin
- Higher Order Operational Techniques in Semantics (Publications of the Newton Institute) por Andrew D. Gordon
- Automated technology for verification and analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings por Farn Wang
- Logics in computer science a study on extensions of temporal and strategic logics por Fabio Mogavero
- Modern trends and techniques in computer science : 3rd Computer Science On-line Conference 2014 (CSOC 2014) por Radek Silhavy
- Clusters, orders, and trees : methods and applications : in honor of Boris Mirkin's 70th birthday por F. T. Aleskerov
- Logic, language, and computation : 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised selected papers por Guram Bezhanishvili
- SOFSEM 2015 : theory and practice of computer science : 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Snezkou, Czech Republic, January 24-29, 2015, Proceedings por Giuseppe F. Italiano
- Interactive theorem proving : 5th International Conference, ITP 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings por Gerwin Klein
- Proceedings of the 3rd International Conference on Advanced Computing, Networking, and Informatics (ICACNI 2015). Volume 1 por Atulya Nagar
- Advances in computer and computational sciences. proceedings of ICCCCS 2016 / Volume 2 por Sanjiv K. Bhatia
- Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings por Hung Van Dang
- Rough sets, fuzzy sets, data mining, and granular computing : 14th International Conference, RSFDGrC 2013, Halifax, NS, Canada, October 11-14, 2013. Proceedings por Davide Ciucci
- All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science / Programming and Software Engineering) por Manuel Clavel
- Computer science logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 ; proceedings por Anuj Dawar
- Introduction to Computation: Haskell, Logic and Automata (Undergraduate Topics in Computer Science) por Donald Sannella
- Computational science and its applications -- ICCSA 2015 : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings. Part I por Osvaldo Gervasi
- Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings (Lecture Notes in Computer Science, 11781) por Yu-Fang Chen
- Formal methods for multicore programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced lectures por Marco Bernardo
- Language, Logic, and Computation: 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers (Lecture Notes in Computer Science Book 11456) por Alexandra Silva
- Rewriting logic and its applications : 10th International Workshop, WRLA 2014, held as a satellite Event of ETAPS, Grenoble, France, April 5-6, 2014 : revised selected papers por Santiago Escobar
- Automated reasoning : 7th International Joint Conference, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings por Stéphane Demri
- Computer science logic : 13th international workshop, CSL'99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings por Jörg Flum
- Proceedings the 22nd International Symposium on Multiple Valued Logic May 27-29-92 Sendai Japan por Japan Research Group On Multiple Valued
- Logic for programming, artificial intelligence, and reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings por Martin Davis
- Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic, May 26-29, 1991, Victoria, B.C., Canad por IEEE Computer Society
- Deontic logic, agency and normative systems. [Delta]EON '96 : Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996 por Mark A. Brown
- Recent advances in information and communication technology 2017 : proceedings of the 13th International Conference on Computing and Information Technology (IC2IT) por Phayung Meesad
- Deontic Logic and Artificial Normative Systems: 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July ... / Lecture Notes in Artificial Intelligence) por Lou Goble
Marcas Relacionadas
«Amigos Longínquos»
Classes MDS com sobreposições significativas de recomentações, excluindo as que estiverem sob a mesma classe de topo.
Nenhum(a)
Fraseologia
Edição de 1922 |
Modern Language |
Emoji |