Passer au contenu principal

SDM004.015113

Libellé: INFORMATIQUE, INFORMATION, OUVRAGES GENERAUXGénéralités sur l'informationInformatiqueComputer science -- subdivisionsTheory And InstructionComputer MathematicsNon renseignéNon renseignéNon renseigné

Dewmoji: ?????????

0 INFORMATIQUE, INFORMATION, OUVRAGES GENERAUX 216,948 ℹ️	1 PHILOSOPHIE, PARAPSYCHOLOGIE ET OCCULTISME, PSYCHOLOGIE 229,419 💭	2 RELIGION 562,779 🙏	3 SCIENCES SOCIALES 1,169,921 👫	4 LANGUES 177,109 💬	5 SCIENCES DE LA NATURE ET MATHEMATIQUES 380,441 🔬	6 TECHNOLOGIE 844,132 💡	7 ARTS, LOISIRS ET SPORTS 857,504 🎨	8 LINGUISTIQUE - LITTÉRATURE 1,201,263 📚	9 HISTOIRE ET GÉOGRAPHIE 703,933 🗺️
00 Généralités sur l'information 121,406 💻	01 Bibliographie 22,690 📚	02 Bibliothéconomie et sciences de l'information 27,085 📗	03 Encyclopédies 10,798 📕	04 [vacant] 705 🗃	05 Publications en série d’ordre général 5,183 𝐓	06 Associations, organisations générales et muséologie 4,943 🏢	07 Édition, journalisme, médias documentaires 15,961 📰	08 Recueils généraux 6,034 💬	09 Livres rares et manuscrits 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 Informatique 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

Oeuvres sélectionnées sous MDS 004.015113 (63)

Gems of Theoretical Computer Science par Uwe Schöning

Models of Computation and Formal Languages par R. Gregory Taylor

Introductory Logic and Sets for Computer Scientists par Nimal Nissanke

The Calculus of Computation: Decision Procedures with Applications to Verification par Aaron R. Bradley

Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science) par Gilles Dowek

Automated reasoning : second international joint conference, IJCAR 2004 Cork, Ireland, July 4-8, 2004 proceedings par David Basin

Automated Theorem Proving: Theory and Practice par Monty Newborn

Logic for Computer Science (International Computer Science Series) par Steve Reeves

Propositional Logic: Deduction and Algorithms par Hans Kleine Büning

Higher Order Operational Techniques in Semantics (Publications of the Newton Institute) par Andrew D. Gordon

Recent progress in the Boolean domain par Bernd Steinbach

Automated technology for verification and analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings par Farn Wang

Logic and algebra of specification par Friedrich Ludwig Bauer

Logics in computer science a study on extensions of temporal and strategic logics par Fabio Mogavero

The Functional Interpretation of Logical Deduction (Advances in Logic) par Ruy J. G. B. de Queiroz

Proof and computation par Helmut Schwichtenberg

Modern trends and techniques in computer science : 3rd Computer Science On-line Conference 2014 (CSOC 2014) par Radek Silhavy

Clusters, orders, and trees : methods and applications : in honor of Boris Mirkin's 70th birthday par F. T. Aleskerov

Probabilistic Proof Systems: A Primer par Oded Goldreich

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 par Giuseppe F. Italiano

Computational Thinking: A Perspective on Computer Science par Zhiwei Xu

Semantics and Logics of Computation (Publications of the Newton Institute) par A. M. Pitts

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 par Gerwin Klein

Proceedings of the 3rd International Conference on Advanced Computing, Networking, and Informatics (ICACNI 2015). Volume 1 par Atulya Nagar

Advances in computer and computational sciences. proceedings of ICCCCS 2016 / Volume 2 par Sanjiv K. Bhatia

Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings par Hung Van Dang

Computational logic par Ulrich Berger

Rough sets, fuzzy sets, data mining, and granular computing : 14th International Conference, RSFDGrC 2013, Halifax, NS, Canada, October 11-14, 2013. Proceedings par 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) par Manuel Clavel

Logic, language, and computation : 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised selected papers par Guram Bezhanishvili

Computer science logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 ; proceedings par Anuj Dawar

Introduction to Computation: Haskell, Logic and Automata (Undergraduate Topics in Computer Science) par Donald Sannella

Computational science and its applications -- ICCSA 2015 : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings. Part I par 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) par 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 par 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) par 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 par 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 par Stéphane Demri

Multiple Valued Logic, 23rd Symposium/Ismvl '93 par University of California

Computer science logic : 13th international workshop, CSL'99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings par Jörg Flum

Proceedings the 22nd International Symposium on Multiple Valued Logic May 27-29-92 Sendai Japan par 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 par Martin Davis

Isabelle/HOL : a proof assistant for higher-order logic par Tobias Nipkow

Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic, May 26-29, 1991, Victoria, B.C., Canad par 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 par Mark A. Brown

Introduction to fuzzy reliability par Kai-Yuan Cai

Recent advances in information and communication technology 2017 : proceedings of the 13th International Conference on Computing and Information Technology (IC2IT) par 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) par Lou Goble

Fields of logic and computation II : essays dedicated to Yuri Gurevich on the occasion of his 75th birthday par Yuri Gurevich

We Will Show Them: Essays in Honour of Dov Gabbay. Volume 2 par S. Artemov

Titres Couvertures

Mots-clés connexes

2007 (1) 2009 (1) 9780131480056 (1) @goog (1) A lire (3) Algorithmique (2) Analyse des données (1) Bureau (1) Calibre (1) Combinatoire (1) computability theory (1) computational logic (1) Computing Science (2) CS (3) decision procedures (1) Design & Engineering (1) Documentation (1) eBook - Toc (1) fail_1 (1) Haskell (1) informatics (1) Informatique (3) Informatique (22) Informatique théorique (3) kontoret (2) Langage (1) Langage formel (1) li_3 (9) Livre électronique (3) location:torgersen (1) Logiciel (2) Logique (9) making (1) Manuel scolaire (1) math/algorithms/formal-languages (1) Mathématiques (4) Mathématiques discrètes (1) Maude (1) Non lu (1) Non possédé (1) non-fiction (3) Ordinateur (1) Possédé (1) Programmation (3) Programmation fonctionnelle (1) Réécriture (1) Springer (4) Storage Box 26 (1) symbolic and mathematical logic (1) Theoretische Informatik (2) theory of computation (2) Théorie (1) Théorie de la complexité (1) Théorie des automates (1) Théorie des ensembles (1) verified (1) Vérification (1) working (1) X-jlk-acq-college for class (1) X-jlk-loc-parents my room (1)

Traduction des mots-clés activée

"Amis lointains"

Les classes CDM avec un important chevauchement des recommandations, excluant celles de la même classe qu'une de niveau supérieur.

Aucun

Libellé

Édition de 1922

Langue moderne

Emoji

What is the MDS?

The Melvil Decimal System (MDS) is named after Melvil Dewey, whose Dewey Decimal System is used by libraries around the world.

Genres associés

Genres

General Nonfiction

Supergenres

Classifications associées LC

QA75-76.95. Calculating machines

QA71-90. Instruments and machines

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

Ce site utilise des cookies pour fournir nos services, optimiser les performances, pour les analyses, et (si vous n'êtes pas connecté) pour les publicités. En utilisant Librarything, vous reconnaissez avoir lu et compris nos conditions générales d'utilisation et de services. Votre utilisation du site et de ses services vaut acceptation de ces conditions et termes.