| Shelfclass | Explanation | Number of books |
|---|---|---|
| 1.A | Encyclopedias & handbooks | 530 |
| 1.B.1 | Oxford dictionaries | 17 |
| 1.B.2 | Other English dictionaries | 58 |
| 1.B.3 | Non-English dictionaries | 27 |
| 1.B.4 | Picture dictionaries | 22 |
| 1.C | Intellectual property & law | 218 |
| 1.D | Libraries & archives | 43 |
| 1.F | Miscellaneous | 176 |
| 1.G | Internal documents | 1 |
| 2.A | Mathematics: general | 362 |
| 2.B | Differential & integral calculus | 155 |
| 2.C | Linear algebra & matrices | 55 |
| 2.D | Computational mathematics | 187 |
| 2.E | Optimization | 204 |
| 2.F | Approximation | 30 |
| 2.G | Probability & statistics: general | 249 |
| 2.H | Data analysis & statistical inference | 196 |
| 2.J | Stochastic processes: general | 99 |
| 2.K | Markov models | 58 |
| 2.L | Econometrics & time series analysis | 86 |
| 2.M | Uncertainty, probabilistic reasoning, causality & graphical models | 114 |
| 2.N | Decision theory | 44 |
| 2.P | Clustering | 40 |
| 2.Q | Pattern recognition | 130 |
| 2.R | Number theory | 29 |
| 3.A | Computer science: general | 1933 |
| 3.B | Practical tools (document formatting, etc.) | 51 |
| 3.C | Algorithms & data structures | 79 |
| 3.D.1 | Theory of computing: general | 88 |
| 3.D.2 | Graph theory & graph algorithms | 77 |
| 3.D.3 | Automata & formal languages | 107 |
| 3.D.4 | Models of computing & complexity | 39 |
| 3.E | Operating systems | 75 |
| 3.F.1 | Programming language design: general | 273 |
| 3.F.2 | Type systems | 31 |
| 3.F.3 | Compilers | 100 |
| 3.F.4 | Parallel & distributed computing | 279 |
| 3.F.5 | Garbage collection, Lisp implementations | 33 |
| 3.F.6 | Persistent and distributed object systems | 3 |
| 3.G | Programming paradigms | 24 |
| 3.H | Databases, file systems, object stores, deductive databases | 421 |
| 3.J | Graphics & user interfaces | 166 |
| 3.K | Data communications & Internet | 199 |
| 3.L | Data compression & information theory | 41 |
| 3.M | Digital signal processing | 102 |
| 3.N | Cryptography & Data Security | 730 |
| 3.P | Software engineering | 293 |
| 3.Q | Web design tools & technologies | 57 |
| 3.R | Computing & society | 37 |
| 3.S | Software components, Windows, Java | 96 |
| 3.T | Enterprise IT | 99 |
| 3.U | Cluster computing | 30 |
| 4.A | Artificial intelligence: general | 874 |
| 4.B.1 | Logic: general | 164 |
| 4.B.2 | Non-monotonic logic, knowledge revision, paraconsistent logic | 78 |
| 4.B.3 | Automatic deduction, theorem proving, computational logic | 221 |
| 4.B.4 | Inductive & abductive logic, analogical reasoning, case-based reasoning | 52 |
| 4.B.5 | Logic programming, knowledge bases | 90 |
| 4.C | Knowledge representation: semantic networks, conceptual graphs & ontologies | 138 |
| 4.D | Spatio-temporal reasoning & computational geometry | 78 |
| 4.E | Semantic Web & Semantic Information Processing | 14 |
| 4.F | Expert systems & knowledge acquisition | 65 |
| 4.G | Machine learning | 457 |
| 4.H | Genetic algorithms | 113 |
| 4.J | Neural networks, fuzziness & computational intelligence | 192 |
| 4.L | Vision | 503 |
| 4.M | Speech & hearing | 191 |
| 4.N | Artificial intelligence applications | 157 |
| 4.P | Robotics | 117 |
| 4.Q | Popular AI | 62 |
| 5.A | Philosophy, psychology & cognitive science sociology | 494 |
| 5.B.1 | Linguistics conference proceedings | 214 |
| 5.B.10 | Corpora processing, statistical linguistics | 50 |
| 5.B.11 | Discourse, pragmatics, anaphora, ambiguity resolution | 193 |
| 5.B.12 | Logic and feature structure based semantics | 72 |
| 5.B.13 | Non-logical semantic approaches | 111 |
| 5.B.14 | Metaphora | 44 |
| 5.B.15 | Natural language generation | 37 |
| 5.B.16 | Machine translation | 47 |
| 5.B.17 | Question answering systems, other NLP systems | 66 |
| 5.B.18 | Language acquisition, child language | 43 |
| 5.B.19 | Literature, reading, writing, speaking, criticism, document structure | 50 |
| 5.B.2 | Linguistics workshops, symposiums (smaller/irregular ones) | 116 |
| 5.B.20 | Simple books for testing | 5 |
| 5.B.21 | Machine learning/deep learning for linguistics | 15 |
| 5.B.3 | Linguistics: general | 131 |
| 5.B.4 | English language (grammar, vocabulary, idioms, dictionaries, etc.) | 178 |
| 5.B.5 | Non-English languages, language typology (universals) | 222 |
| 5.B.6 | Transformational/generative tradition (Chomsky et al) | 53 |
| 5.B.7 | Grammar formalisms and parsing (unification, GLR, functional, etc.) | 143 |
| 5.B.8 | Phonology, prosody, morphology | 52 |
| 5.B.9 | Lexicon, lexicography, lexical semantics | 69 |
| 5.C | Education, knowledge management & human factors | 81 |
| 6.A | Electrical engineering general & analog electronics | 404 |
| 6.B | Semiconductors | 219 |
| 6.C | Digital circuits & microprocessors | 310 |
| 6.D | Automaton & control engineering | 228 |
| 6.E | Radio technology | 219 |
| 6.F | Radar & measurement | 295 |
| 6.G | IEEE conference/workshop proceedings | 1025 |
| 6.H | Acoustics | 30 |
| 6.J | GSM, 3G, 4G, 5G, LTE & other wireless networks | 104 |
| 7.A | Chemistry: general | 334 |
| 7.B | Physics: general | 375 |
| 7.C | Optics | 305 |
| 7.D | Thermodynamics, energy technology & heat storage | 230 |
| 7.E | Solar energy | 71 |
| 7.F | Materials science | 279 |
| 7.G | Aerospace | 203 |
| 7.H | Mechanical engineering & industrial technology | 490 |
| 8.A | Economics & finance | 280 |
| 8.B | Business | 21 |
| 8.B.1 | Business - General | 6 |
| 8.B.2 | Sales, cold calling, sales training, closing, negotiation | 94 |
| 8.B.3 | Marketing, online marketing, SEO, business writing | 109 |
| 8.B.4 | Strategy, trends, business modeling, case studies | 82 |
| 8.B.5 | HR, teams, management, recruiting, compensations, scorecards, training | 108 |
| 8.B.6 | Technology management, innovation, R&D process, production technology | 41 |
| 8.B.7 | Startups, new businesses, market disruption, entprepreneurship | 21 |
| 8.B.8 | Product management, product marketing | 18 |
| 8.B.9 | Accounting, finance, investor relations, tax, compliance, ERP, business processes | 56 |
| 8.B - XXX OLD, GOING AWAY | Business | 0 |
| 8.C | Construction, facility management, building maintenance | 18 |
| 9.A | Biosciences, enviromental sciences | 70 |
| 9.B | Bioinformatics | 33 |
| 9.C | Biosignal processing, EEG | 23 |
| S/SPIE | SPIE proceedings (in warehouse) | 3534 |