Computer Science & Programming, • Web Development & Design, • Database Systems & SQL, • Open Source Software, • Rare Technical Classics from Robert McLean

Search Robert McLean

Catalogues from Robert McLean

• Abstract Algebra, Group Theory, Ring Theory, Field Theory, Module Theory, Lattice Theory, Category‑theoretic Foundations, Mac Lane And Birkhoff, Algebraic Structures, Aït‑Kaci Technical Library
• Algebraic Semantics, Denotational Semantics, Programming‑language Theory, Categorical Methods, Equational Reasoning, Formal Specification, Theoretical Computer Science, Cambridge University Press Computing, Semantic Models, Aït‑Kaci Technica
• Algebraic Specification, Equational Logic, Term Rewriting Systems, Unification Theory, Algebraic Semantics, Symbolic Computation, Formal Methods, Computational Algebra, Theoretical Computer Science, Academic Press Algebraic‑structures Series
• Algorithm Analysis Foundations, Combinatorial Methods In Computing, Theoretical Computer Science, Asymptotic & Analytic Techniques, Graduate‑Level Algorithms, Aït‑Kaci Research Library — Theoretical Foundations
• Algorithm Design, Algorithm Analysis, Computational Complexity, Graph Algorithms, Divide‑and‑conquer, Dynamic Programming, NP‑completeness, Theoretical Computer Science, Addison‑Wesley Computer Science, Aït‑Kaci Technical Library
• Algorithms & Complexity Theory, Computer Science Foundations, Data Structures & Algorithm Design, Computational Theory, Programming Methodology, Aït‑Kaci Research Library — Theoretical Computer Science
• Analytic Hierarchy Process, Decision Theory, Multi‑criteria Decision Making, Pairwise Comparisons, Priority Theory, Operations Research, Mathematical Modeling, Decision Analysis, Hierarchical Systems, RWS Publications Decision Science
• Applied Probability & Stochastic Processes, Operations Research Foundations, Management Science Modeling, Optimization Under Uncertainty, Queueing & Markov Systems, Aït‑Kaci Research Library — Mathematical Methods
• Arabic Calligraphy & Islamic Art, • Typography & Letterform Design, • Middle Eastern Art & Culture, • Artist Monograph, • Oversized Art Books
• Architecture – Italian Renaissance, • Art & Architectural Photography, • European Cultural History, • Landscape & Garden Design, • Oversized Art Monographs, • Tuscan Villas & Estates
• Artificial Intelligence
• Artificial Intelligence & Semantics Knowledge Representation & Logic Computer Science & Programming Operations Research & Decision Science Rare Technical Classics Academic & Scholarly Monographs
• Artificial Intelligence (Classical AI), • Object Oriented Programming, • C++ Programming, • Heuristic Search & Planning, • Knowledge Representation, • Academic & Technical Textbooks, • Vintage Computing Literature
• Artificial Intelligence (Foundations), • Symbolic AI & Knowledge Representation, • Computer Science (1980s Classics), • Logic Programming & Reasoning Systems, • History Of AI
• Artificial Intelligence — Pedagogical Materials, Common Lisp & Symbolic AI, AI Instructional Resources — 1990s, Knowledge Representation & Problem Solving, AI Textbook Companion Volumes
• Artificial Intelligence Foundations, Common Lisp Programming, Symbolic Reasoning Systems, Search Strategies In AI, Knowledge Representation, Rule‑based Systems, Learning Methods In Symbolic AI, Lisp‑based AI Instruction, AI Programming Paradigms, Midâ
• Automata Theory & Formal Languages, • Computational Complexity, • Mathematical Foundations Of Computer Science, • Theoretical Computer Science Monographs, • Academic Press Classics, • Vintage Computing Literature
• Automata Theory & Formal Languages, • Theory Of Computation, • Computational Complexity, • Mathematics & Logic, • Computer Science Foundations, • Academic & Technical Textbooks
• Automata Theory Foundations, Formal Languages And Grammars, Computability And Turing Machines, Complexity Theory Basics, Finite Automata And Regular Languages, Pushdown Automata And Context‑free Languages, Computational Models And Semantics, Theoretical
• Automatic Theorem Proving, • Symbolic & Mathematical Logic, • Logic Programming Foundations, • Formal Methods & Verification, • Theoretical Computer Science (1980s Classics), • Aït Kaci Research Library — Logic & Semantics
• • Computer Science & Programming, • Parallel & Concurrent Systems, • Software Engineering & Design, • Rare Technical Classics, • Mathematics & Theory Of Computation
• • Computer Science & Programming • Perl & Scripting Languages, • Web Development & CGI Programming, • UNIX & System Administration, • O’Reilly Technical Classics
• • Decision Analysis Foundations, • Multi Attribute Utility Theory, • Operations Research & Optimization, • Risk Analysis & Policy Modeling, • Management Science Theory, Aït Kaci Research Library — Decision & Systems Theory
• Bayesian Networks & Probabilistic Graphical Models, Machine Learning — Uncertainty & Inference, Decision Support & Risk Modeling, Artificial Intelligence — Probabilistic Methods, Graphical Models In Engineering & Data Science, Aït‑Kaci Researc
• Bioinformatics Algorithms, Computational Molecular Biology, Sequence Analysis Methods, Dynamic Programming In Biology, Graph Algorithms For Genomics, Pattern Matching And Alignment, Genome Assembly Algorithms, Phylogenetic Reconstruction, Algorithmic Foun
• Business‑rules Verification, Rule‑based Systems, Formal Semantics, Logic‑based Program Analysis, Consistency Checking, Conflict Detection In Rules, Automated Reasoning, Knowledge‑based Systems, Formal Verification Methods, Springer Comput
• C Programming Fundamentals, Systems Programming Techniques, C Syntax And Operators, Functions, Pointers, And Memory, Standard Library Usage, Structured Programming Practices, Prentice Hall Technical References, Foundations Of Systems Software
• Calculus Of Variations, Optimal Control Theory, Dynamic Optimization, Continuous‑time Systems, Economic Dynamics, Management Science Models, Pontryagin Maximum Principle, Euler–Lagrange Equations, Dynamic Decision Processes, North‑Holland O
• Categorical Combinators, Sequential Algorithms, Functional Programming Theory, Category Theory, Lambda Calculus, Denotational Semantics, Theoretical Computer Science, Pitman Research Notes, Computational Semantics, Aït‑Kaci Technical Library
• Categorical Logic, Higher‑order Logic, Typed Lambda Calculus, Cartesian Closed Categories, Topos Theory, Intuitionistic Type Theory, Categorical Semantics, Proof Theory, Foundations Of Computation, Cambridge Studies In Advanced Mathematics
• Category Theory Foundations, Categorical Semantics, Functors And Natural Transformations, Type Theory And Structure, Formal Methods In Computation, Algebraic Models Of Programming Languages, Foundations Of Computing Series, MIT Press Theoretical Co
• Category Theory, Categorical Semantics, Algebraic Structures, Universal Algebra, Automata Theory, Systems Theory, Theoretical Computer Science, Categorical Methods, Academic Press Monographs, Aït‑Kaci Technical Library
• Category Theory, Functors And Natural Transformations, Limits And Colimits, Adjunctions, Monoidal Categories, Categorical Algebra, Mathematical Foundations, Algebraic Structures, Topology And Categories, Springer Graduate Texts
• Combinatorial Algorithms, Graph Theory Methods, Enumeration Techniques, Backtracking Strategies, Optimization Heuristics, Discrete Structures, Algorithmic Problem Solving, Data Structures For Combinatorics, Theoretical Computer Science Foundations
• Combinatorics & Graph Theory Applications, Mathematical Biology, Social Network Modeling, Applied Discrete Mathematics, Systems Theory & Interdisciplinary Modeling, Aït‑Kaci Research Library — Mathematical Systems Theory
• Common Lisp Language Specification, Symbolic Computation Foundations, Lisp Macros And Evaluation, Functional And Declarative Programming, AI Programming Environments, Language Design And Semantics, Digital Press Technical Monographs, HP Technologie
• Compiler Construction, Code Generation, Optimization Techniques, Intermediate Representations, Flow Analysis, Runtime Organization, Formal Language Theory, Translation Theory, Program Analysis, Prentice‑Hall Automatic Computation Series
• Compiler Construction, Java‑based Compiler Implementation, Lexing And Parsing Theory, Semantic Analysis, Intermediate Representations, Instruction Selection, Register Allocation Algorithms, Code Generation Techniques, Programming‑language Theory, Camb
• Compiler Construction, Lexing And Parsing Theory, Semantic Analysis, Intermediate Representations, Instruction Selection, Register Allocation Algorithms, Code Generation Techniques, C‑based Compiler Implementation, Programming‑language Theory, Cambrid
• Compiler Design & Construction, • Programming Languages & Translation, • Algorithms & Systems Programming, • Computer Science Classics, • Theoretical Computer Science, • Academic & Technical Textbooks
• Complex Analysis, Analytic Functions, Conformal Mapping, Cauchy Integral Theory, Series Expansions, Residue Calculus, Holomorphic Functions, Mathematical Methods, Applied Complex Variables, Dover Mathematics Classics
• Computability Theory, Recursive Function Theory, Turing Machines, Formal Languages And Automata, Decision Problems, Program Semantics, Program Verification, Mathematical Foundations Of Programming, Theoretical Computer Science History, Logic And Computati
• Computational Complexity Theory, NP‑completeness Foundations, Polynomial‑time Reductions, Algorithmic Intractability, Classification Of Computational Problems, Theoretical Computer Science Landmarks, W. H. Freeman Mathematical Sciences, Limits
• Computational Logic Foundations, Resolution And Unification Theory, Automated Deduction, Logic Programming Semantics, Constraint Systems And Rewriting, Theorem Proving Methods, Formal Reasoning In AI, MIT Press Logic And Computation
• Computer Graphics Foundations, Geometric Transformations, Viewing And Projection Systems, Rasterization Techniques, Illumination And Shading Models, Color Theory In Graphics, 3D Object Representation, Interactive Graphics, Rendering Algorithms, P
• Computer History & Vintage Computing • Apple & Macintosh Collectibles, • Computer Science & Programming, • Early Home Computing, • Technical Manuals & User Guides
• Computer Science & Programming Artificial Intelligence & Machine Learning Information Theory & Coding Mathematics & Applied Probability Academic & Scholarly Monographs Rare Technical Classics
• Computer Science & Programming Digital Publishing & Typesetting Mathematics & Scientific Communication Rare Technical Classics Academic & Scholarly Monographs
• Computer Science & Programming Microsoft Technologies & .NET Development Web Development & Internet Technologies Rare Technical Classics Academic & Scholarly Monographs
• Computer Science & Programming Networking & Internet Protocols Information Technology Textbooks Academic & Scholarly Monographs Rare Technical Classics
• Computer Science & Programming Web Development & Internet Technologies XML & Data Exchange Standards Academic & Scholarly Monographs Rare Technical Classics
• Computer Science & Programming Web Development & Internet Technologies XML & Data Exchange Standards Rare Technical Classics Academic & Scholarly Monographs
• Computer Science & Programming • C & C++ Programming, • Microsoft Visual C++, • Russian Technical Publications, • Software Development History, • Rare Technical Classics
• Computer Science & Programming • Database Systems & SQL, • Information Technology Textbooks, • Data Modeling & Architecture, • Academic & Scholarly Monographs, • Morgan Kaufmann Technical Series
• Computer Science & Programming • Perl & Scripting Languages, • Web Development & CGI Programming, • UNIX & System Administration, • O’Reilly Technical Classics
• Computer Science & Programming, • Automata Theory & Formal Languages, • Computational Complexity, • Mathematical Logic & Foundations, • Academic & Technical Textbooks, • Vintage Computing Literature
• Computer Science & Programming, • C & C++ Programming, • Software Development History, • Academic & Technical Textbooks, • Rare Technical Classics
• Computer Science & Programming, • Compiler Design & Language Theory, • Systems Programming, • Programming Languages & Formal Methods, • Academic & Technical Textbooks, • Vintage Computing Literature
• Computer Science & Programming, • Cybersecurity & Cryptography, • Information Security Textbooks, • Academic & Scholarly Monographs, • Rare Technical Classics
• Computer Science & Programming, • Functional Programming Languages, • Programming Language Theory, • ML / Standard ML / SML/NJ, • Academic & Technical Textbooks
• Computer Science & Programming, • Game Development & Graphics Programming, • C++ Programming, • 3D Graphics & DirectX, • Academic & Technical Textbooks, • Rare Technical Classics, • Canadian Technical Publications
• Computer Science & Programming, • Web Development & Design, • Database Systems & SQL, • Open Source Software, • Rare Technical Classics
• Computer Science & Programming, • Web Development & Design, • Information Technology Textbooks, • Academic & Scholarly Monographs, • Rare Technical Classics
• Computer Science & Programming, • Web Development & Design, • Multimedia & Graphic Design, • Software Training Manuals, • Rare Technical Classics
• Constraint Databases, Logical And Algebraic Data Models, Constraint Query Languages, Spatial And Temporal Data Modeling, Database Theory Foundations, Constraint Logic Programming, Computational Logic And Data Management, Texts In Computer Science (
• Constraint Databases, Spatiotemporal Data, Efficient Query Evaluation, Geometric Querying, Affine‑invariant Methods, Database Theory, Constraint Logic, LNCS Proceedings, CDB Conference Series, Aït‑Kaci Technical Library
• Constraint Processing Theory, Constraint Satisfaction Problems, Search And Inference Algorithms, Consistency Techniques In AI, Graph‑based Reasoning Models, Probabilistic Constraint Networks, Combinatorial Problem Solving, Knowledge Representation Frame
• Constraint Programming & CSP Theory, Logic Programming & Declarative Methods, Artificial Intelligence — Constraint Systems, Combinatorial Optimization Models, Declarative Problem Solving, Aït‑Kaci Research Library — Logic & Constraints
• Constraint Programming, Constraint Satisfaction, Global Constraints, Search Strategies, Optimization Methods, Constraint Logic Programming, Formal Methods, LNCS Proceedings, CP Conference Series, Aït‑Kaci Technical Library
• Constraint Propagation, Constraint Programming, Logic Programming, Optimization Of Constraint Systems, Symbolic Computation, Automated Reasoning, Formal Methods, Computational Logic, Programming‑language Semantics, Doctoral Dissertations In Com
• Constraint Satisfaction, Constraint Logic Programming, Consistency Algorithms, Constraint Propagation, Search Strategies, Declarative Programming, Logic‑based Computation, Combinatorial Problem Solving, AI Constraint Frameworks, MIT Press Logic
• Constraint‑based Grammar Formalisms, Computational Linguistics Theory, Typed Feature Structures, Unification‑based Grammars, Parsing Theory And Algorithms, Type Inference Systems, Formal Language Analysis, Logic‑based Language Modeling, Grammar Fram
• Constraint‑based Scheduling, Constraint Programming, Operations Research, Scheduling Algorithms, Resource Allocation, Optimization Methods, Industrial Scheduling, Management Science, Springer OR Series, Aït‑Kaci Technical Library
• Continuation‑passing Style, Compiler Optimization, Intermediate Representations, Functional Language Compilation, Control‑flow Transformation, Program Transformation Theory, Lambda Calculus And CPS, Runtime Systems, Code Generation Techniques,
• CORBA Programming, Distributed Systems, Java ORBs, Object Request Brokers, IDL Interfaces, Enterprise Middleware, Wiley Computer Publishing, Distributed Object Computing, Networked Applications, Aït‑Kaci Technical Library
• Data Structures & Algorithms, • Computer Science Foundations, • Software Engineering, • Mathematics For Computer Science, • Academic & Technical Textbooks, • Vintage Computing Literature
• Database Systems Research, Data Management Theory, Query Processing, Transaction Models, Indexing And Storage, Distributed Data Systems, XML And Semi‑structured Data, Stream Processing, SIGMOD Conference Proceedings, ACM Data‑management Monog
• Database Theory Foundations, Query Languages And Semantics, Data‑model Logic, Complexity Of Database Operations, Constraints And Dependencies, Algorithmic Aspects Of Data Management, ACM SIGMOD–SIGACT–SIGART Proceedings, PODS Symposium Resear
• Decision Support Systems, Operations Research Foundations, Information Processing & Decision Theory, Management Science, Knowledge‑Based Systems, Aït‑Kaci Research Library — Systems & Decision Modeling
• Decision Theory & Multi‑Criteria Analysis, Analytic Network Process (ANP), Systems Modeling & Feedback Structures, Operations Research & Strategic Decision Making, Complex Networks In Decision Systems, Aït‑Kaci Research Library — Formal Method
• Declarative Programming, Logic Programming, Functional Programming Theory, Type Theory, Constraint Programming, Module Systems, Program Semantics, LNCS Proceedings, Program Development Tools, Aït‑Kaci Technical Library
• Discrete Mathematics Foundations, Logic And Formal Reasoning, Sets, Relations, And Functions, Combinatorics And Counting Methods, Graph Theory Basics, Boolean Algebra And Switching Theory, Mathematical Structures In Computation, Houghton Mifflin Co
• Discrete Mathematics, Combinatorics, Graph Theory, Recurrence Relations, Logic And Proofs, Algebraic Structures, Applied Mathematics, Computer Science Foundations, Addison‑Wesley Mathematics, Aït‑Kaci Technical Library
• Discrete Mathematics, • Computer Science Foundations, • Algorithms & Data Structures, • Mathematics For Computer Science, • Academic & Technical Textbooks, • Vintage Computing Literature
• Discrete Mathematics, • Foundations Of Computer Science, • Applied Algebra, • Automata & Formal Languages, • History Of Computer Science (1970s), • Aït Kaci Research Library
• Discrete Structures For Computation, Sets, Relations, And Functions, Combinatorics And Counting, Graph Theory Fundamentals, Boolean Algebra And Logic, Formal Languages And Structures, Mathematical Foundations Of Computer Science, Addison‑Wesley E
• Dynamic Programming Foundations, Optimal Control Theory, Deterministic And Stochastic Decision Processes, Value And Policy Iteration Methods, Approximate Dynamic Programming, Optimization Algorithms, Systems And Control Engineering, Computational M
• Dynamic Programming Theory, Optimal Control Methods, Deterministic And Stochastic Optimization, Policy And Value Iteration, Approximate Dynamic Programming, Computational Optimization Techniques, Athena Scientific Optimization Series, Algorithmic D
• Dynamic Programming, Optimal Control Theory, Recursive Optimization, Decision Processes, Operations Research, Stochastic Systems, Deterministic Optimization, Mathematical Programming, Bellman Equations, Princeton University Press Monographs
• Dynamic Programming, Reinforcement Learning, Approximate Dynamic Programming, Neural Computation, Value‑function Approximation, Temporal‑difference Methods, Optimization Theory, Machine Learning Foundations, Control Theory, Athena Scientific
• Dynamical Systems Theory, Ergodic Theory, Measure‑preserving Transformations, Invariant Measures, Entropy And Mixing, Symbolic Dynamics, Thermodynamic Formalism, Long‑term System Behavior, Mathematical Foundations Of Dynamics, Cambridge Unive
• Elliott Wave Theory, Market Pattern Analysis, Technical Analysis Frameworks, Wave Structure Classification, Trend Identification Methods, Financial Time‑series Interpretation, Pattern‑based Forecasting, Rule‑based Market Analysis, Applied Ma
• Engineering Mathematics, Applied Algebra, Real Analysis, Functional Analysis, Systems Theory Foundations, Control Engineering Mathematics, Applied Linear Algebra, Differential Equations, Mathematical Methods In Science, Prentice‑Hall Engineerin
• English Dictionary And Usage, Lexicography And Reference Works, Definitions And Etymology, Contemporary English Vocabulary, Pronunciation And Usage Notes, Merriam‑Webster Reference Series, Cross‑disciplinary Language Tools, General Reference Fo
• Evolutionary Algorithms, Genetic Algorithms, Management Science, Optimization Methods, Decision Support Systems, Computational Intelligence, Operations Research, Evolutionary Computation, Springer Management Science, Applied Algorithms
• Evolutionary Computation & Genetic Algorithms, Optimization & Search Methods, Artificial Intelligence — Evolutionary Models, Computational Intelligence, Algorithm Design & Adaptive Systems, Aït‑Kaci Research Library — Evolutionary Methods
• Finitely Presented Algebras, Canonical Forms, Term Rewriting, Equational Reasoning, Algebraic Specification, Automated Deduction, Theoretical Computer Science, Wiley Pitman Research Notes, Algebraic Computation, Aït‑Kaci Technical Library
• First‑order Logic, Mathematical Logic, Proof Theory, Tableau Methods, Formal Systems, Quantifier Theory, Model Theory Foundations, Ergebnisse Der Mathematik, Springer‑Verlag Classics, Aït‑Kaci Technical Library
• Formal Methods & Programming‑Language Theory, Semantics Of Programming Languages, Algebraic & Denotational Specification, Compiler Theory & Language Design, Foundations Of Computer Science
• Formal Methods In Programming, Program Verification & Correctness, Logic In Computer Science, Specification‑Driven Program Design, Theoretical Foundations Of Software Engineering, Aït‑Kaci Research Library — Logic & Semantics
• Foundations Of Mathematical Logic, Proof Theory & Automated Reasoning, History Of Logic, Philosophy Of Mathematics, Early 20th‑Century Logic, Aït‑Kaci Research Library — Logical Foundations
• Foundations Of Mathematics, Mathematical Philosophy And History, Set‑theoretic Paradoxes, Formalism, Intuitionism, Logicism, Non‑Euclidean Geometries, Epistemology Of Mathematics, Crises In Mathematical Certainty, Oxford Galaxy Books
• French Photography & Art Books, • Travel & Cultural Heritage – France, • European Architecture & Landscapes, • Oversized Coffee Table Books, • Visual History & Geography
• French–English Bilingual Dictionaries, English–French Translation Tools, Idioms And Usage Distinctions, Advanced French Language Reference, Lexicography And Vocabulary Resources, Chambers Bilingual Dictionary Series, Cross‑lingual Academic Ref
• French–English Bilingual Dictionaries, Lexicography And Translation Tools, Idioms And Usage Distinctions, Advanced French Language Reference, English–French Vocabulary Resources, Bordas / Harrap’s Lexicographic Series, Cross‑lingual Academic
• Functional Data Structures, Persistent And Immutable Structures, Lazy And Strict Evaluation, Amortized And Real‑time Algorithms, Functional Programming Theory, Algorithmic Structure And Semantics, Cambridge Functional‑programming Monographs, Co
• Functional Logic Programming, Equational Reasoning In Computation, Algebraic Semantics, Relations And Functions In Logic Programming, Unification And Declarative Paradigms, Computational Logic Foundations, Integration Of Functional And Logic Program
• Functional Programming Foundations, Denotational And Operational Semantics, Lazy Evaluation And Program Transformation, Algebraic Specification, Functional Language Design, Symbolic And Declarative Computation, Cambridge Functional‑programming Mon
• Functional Programming Theory, Typed Lambda Calculus, Rewriting Systems, Program Semantics, Program Transformation, Logical Foundations Of Computation, Formal Methods In Programming, Functional Language Design, Computational Logic, Addison‑Wesl
• Fundamental Algorithms, Data Structures, Algorithm Analysis, Computational Foundations, Mathematical Preliminaries, Computer Science Classics, Algorithmic Methods, Formal Computation, Addison‑Wesley Computing, Knuth Works
• Fuzzy Logic & Fuzzy Set Theory, • Artificial Intelligence Foundations, • Systems Theory & Control, • Applied Mathematics, • Mathematics In Science And Engineering Series, • History Of Computational Intelligence
• Fuzzy Logic & Fuzzy Set Theory, • Artificial Intelligence Foundations, • Systems Theory & Cybernetics, • Pattern Recognition & Classification, • Applied Mathematics, • Engineering & Control Theory, • Vintage Technical Monographs
• Fuzzy Logic Foundations, Approximate Reasoning, Fuzzy Control Systems, Uncertainty Modeling, Computational Reasoning Under Vagueness, Non‑classical Logics, Human‑machine Decision Systems, Early Intelligent Systems Research, Academic Press Computers An
• Fuzzy Set Theory & Linguistic Applications, Logic, Semantics & Approximate Reasoning, Computational Linguistics Foundations, Non‑Classical Logic & Meaning Representation, Early Works In Fuzzy Semantics, Aït‑Kaci Research Library — Logic & Lang
• Fuzzy Set Theory, Fuzzy Logic, Approximate Reasoning, Uncertainty Modeling, Membership Functions, Fuzzy Relations, Fuzzy Control Systems, Decision‑making Under Uncertainty, Non‑classical Logics, Pearson Computational Intelligence Texts
• Game Development & Graphics Programming, • C# Programming, • Microsoft XNA & .NET Technologies, • Computer Science & Programming, • Technical & Academic Textbooks, • Rare Technical Classics
• Game Theory Foundations, Decision Theory & Rational Choice, Utility Theory, Strategic Interaction Models, Mathematical Social Science, Aït‑Kaci Research Library — Decision & Systems Theory
• Game Theory Foundations, Zero‑sum And Mixed‑strategy Games, Strategic Interaction Models, Matrix Games And Equilibria, Decision Theory And Optimization, RAND Mathematical Research, Applied Mathematics Of Strategy, Dover Mathematical Classics
• General Systems Theory, • Cybernetics & Systems Behavior, • Organizational Theory & Decision Systems, • Social Systems & Human Behavior, • Operations Research Foundations, • Aït Kaci Research Library — Systems Theory
• Graph Theory, Network Analysis, Combinatorial Optimization, Connectivity, Graph Algorithms, Applied Mathematics, Computing Science, Oxford Clarendon Press, Discrete Structures, Aït‑Kaci Technical Library
• Higher‑order Logic Programming, λ‑tree Syntax, Higher‑order Unification, Logical Frameworks, λProlog And Meta‑programming, Proof Theory And Computation, Formal Semantics Of Programming Languages, Cambridge Logic And Computation
• Higher‑order Unification, Lambda Calculus, Rewriting Systems, Logic Programming, Constraint Solving, Formal Methods, Theoretical Computer Science, Birkhäuser Computer Science, Equational Reasoning, Aït‑Kaci Technical Library
• History Of Mathematical Logic, Foundations Of Mathematics, Predicate Logic, Set Theory Origins, Metamathematics, Logical Paradoxes, Gödel Incompleteness, Frege And Russell, Harvard University Press Classics, Aït‑Kaci Technical Library
• Illustrated English Dictionaries, Lexicography And Reference Works, Mid‑century English Usage, Definitions And Etymology, Visual Reference Aids, Clarendon Press Lexicographic Series, Cross‑disciplinary Reference Tools, Language Foundations For
• International Handbooks On Information Systems, First Edition, 2004, Hardcover, Berlin / Heidelberg / New York, Staab, S.; Studer, R., Ontology Engineering; Knowledge Representation, Semantic Web Foundations; Early Ontology Standardization, Core Reference
• Java Database Programming, JDBC And SQL Integration, Client/server Data Access, Web‑based Database Techniques, Networked Application Development, Early Java Programming Practices, Database Connectivity Models, Mid‑1990s Web Technologies
• Juvenile Science & Technology Artificial Intelligence & Robotics Educational Factbooks Lucent Library Of Science And Technology STEM For Young Adults
• Knowledge Discovery, Data Mining, Machine Learning, Pattern Recognition, Statistical Modeling, Classification Methods, Clustering Algorithms, Data Visualization, KDD Foundations, AAAI Research Volumes
• Lambda Calculus & Combinatory Logic, Foundations Of Programming Language Theory, Mathematical Logic & Proof Theory, Functional Programming Foundations, Formal Semantics & Type Theory, Aït‑Kaci Research Library — Logic & Computation
• Lambda‑calculus Foundations, Combinatory Logic, Functional Programming Theory, Reduction Systems And Semantics, Fixed‑point Theory In Computation, Algebraic Models Of Computation, Theoretical Computer Science Monographs, Cambridge Tracts In TCS
• Langages Orientés Objet, Modèles à Objets, Ingénierie Des Modèles, Systèmes De Types, Méthodes Formelles, Architecture Logicielle, Réutilisation Logicielle, Conception Orientée Objet, Composants Logiciels, Théorie Des Langages De Progra
• Latin American Literature, Short Story Anthologies, Modern Latin American Fiction, Magical Realism, Translated Literature, Dutton First Editions, World Literature Collections, Cultural Studies, Fiction Anthologies, Aït‑Kaci Personal Library
• Lattice Theory Foundations, Partially Ordered Sets, Distributive And Modular Lattices, Boolean Algebras, Congruence Relations And Representations, Universal Algebra Structures, Order Theory In Computation, American Mathematical Society Colloquium P
• Lazy Functional Languages, Abstract Interpretation, Non‑strict Evaluation, Functional Language Compilation, Operational Semantics, Strictness Analysis, Demand‑driven Computation, Program Analysis, Declarative Language Implementation, MIT Pres
• LIFE Programming Language, Logic‑based Data Models, Persistent Storage For Logic Systems, Constraint‑based Computation, Database Integration With Symbolic Systems, Computational Logic Research, Knowledge Representation And Persistence, Simon Fr
• Linear Algebra Foundations, Vector Spaces And Transformations, Eigenvalues And Canonical Forms, Inner‑product Spaces, Problem‑based Mathematical Exposition, Mathematical Structures In Computation, Dolciani Mathematical Expositions, MAA Advanced
• Linear Complementarity Problems, Linear Programming Theory, Nonlinear Programming, Optimization Algorithms, Variational Inequalities, Equilibrium Modeling, Applied Mathematics Monographs, Sigma Series In Applied Mathematics
• Linux Reference, GNU Tools, Shell Commands, Systems Administration, Software Tools, O’Reilly Nutshell Series, UNIX‑like Systems, Command‑line Utilities, Open‑source Computing, Aït‑Kaci Technical Library
• Literate Programming, Digital Typography, TEX Typesetting System, Algorithms For Typesetting, Programming‑language Design, Software Documentation, WEB Programming Language, Computer‑aided Publishing, Addison‑Wesley Computing Classics, Compu
• Logic Programming Foundations, Unification And Resolution Methods, Program Transformation And Optimization, Semantics Of Logic Programs, Constraint Logic Programming, Parallel And Distributed Logic Execution, Computational Logic Research, MIT Press
• Logic Programming, Computational Logic, Unification Theory, Program Semantics, Knowledge Representation, Deductive Databases, Expert Systems, AI Reasoning Methods, MIT Press Logic Programming Series, Theoretical Computer Science
• Logic Programming, Formal Methods, Compiler Correctness, Parallel Logic Programs, Constraint Logic Programming, Deductive Databases, Warren Abstract Machine, North‑Holland Monographs, AI Formal Foundations, Aït‑Kaci Technical Library
• Logic Programming, Prolog Techniques, Declarative Programming, Unification Theory, Program Development, Computational Logic, MIT Press Computing, Advanced Prolog Methods, Symbolic Computation, Aït‑Kaci Technical Library
• Logic Programming, Resolution Methods, Program Transformation, Unification Theory, Knowledge Representation, Computational Logic, Declarative Programming, Logic‑based Systems, APIC Data Processing Series, Programming‑language Theory
• Logic‑based Learning, Inductive Logic Programming, Structured Data Theory Formation, Relational Learning, Symbolic Machine Learning, Knowledge Representation And Inference, Computational Logic Foundations, Springer Cognitive Technologies
• Logic‑Based Optimization & Hybrid Methods, Constraint Programming & Integer Programming, Operations Research — Advanced Methods, Artificial Intelligence & Reasoning Systems, Combinatorial Optimization & Problem Decomposition, Research Library —
• Machine‑learning Foundations, Inductive Inference, Concept Learning, Knowledge‑based Learning, Explanation‑based Learning, Analogical Reasoning, Symbolic AI, Pattern Recognition Theory, Early AI Research, Computational Learning Models
• Mathematical Logic & Foundations, Type Theory & Formal Systems, Lambda Calculus & Proof Theory, Automated Reasoning & Theorem Proving, Foundations Of Computer Science
• Mathematical Logic, First‑order Logic, Formal Deduction, Proof Theory, Logical Foundations, Symbolic Logic, Wiley Academic Monographs, Logic Textbooks, Computability Foundations, Aït‑Kaci Technical Library
• Mathematical Logic, • Lambda Calculus & Type Theory, • Foundations Of Computer Science, • Category Theory & Semantics, • Studies In Logic And The Foundations Of Mathematics, • History Of Theoretical Computer Science
• Mathematical Logic, • Proof Theory, • Foundations Of Mathematics, • Philosophy Of Logic, • Theoretical Computer Science, • Advanced Mathematics Monographs, • North Holland Logic Series
• Mathematical Logic, • Category Theory, • Topos Theory, • Foundations Of Mathematics, • Philosophy Of Logic, • Advanced Mathematics Monographs, • North Holland Logic Series
• Mathematical Logic, • Combinatory Logic & Lambda Calculus, • Foundations Of Computer Science, • Proof Theory & Type Theory, • Studies In Logic And The Foundations Of Mathematics, • History Of Theoretical Computer Science
• Mathematical Logic, • Lambda Calculus & Type Theory, • Proof Theory, • Foundations Of Computer Science, • Philosophy Of Logic (Synthese Library), • Academic & Technical Monographs
• Mathematical Reference Works, Definitions And Terminology, Pure And Applied Mathematics, Algebraic And Analytic Concepts, Mathematical Structures And Notation, Reference Tools For Computation, Collins Mathematical Dictionaries, Cross‑disciplinary
• Mathematics & Theory Of Computation Numerical Analysis & Applied Mathematics Computer Science Foundations Rare Technical Classics Academic & Scholarly Monographs
• Mathematics & Theory Of Computation Operations Research & Decision Science Probability & Statistics Rare Technical Classics Academic & Scholarly Monographs
• Matrix Logic, Unified Theories Of Mind, Cognitive Foundations, Mathematical Logic, Mind–matter Models, Theoretical Cognition, Formal Reasoning Systems, Logic And Computation, North‑Holland Mathematics, Foundational Studies
• Meta‑logics And Formal Semantics, Logic Programming Foundations, Proof Theory And Program Transformation, Higher‑order Logic Programming, Meta‑interpretation And Executable Logics, Computational Logic Theory, Semantics Of Logic Programs, MIT
• Multiple‑criteria Decision Making, Decision Theory, Optimization Methods, Systems Analysis, Utility Theory, Goal Programming, Multi‑attribute Evaluation, Operations Research, South Carolina Academic Monographs, Aït‑Kaci Technical Library
• Natural Language Processing, Prolog Programming, Computational Linguistics, Grammar Formalisms, Parsing Techniques, Semantic Interpretation, Logic‑based Language Processing, Discourse Modeling, Language Understanding Systems, AI And Symbolic Pr
• Network Theory, Combinatorial Optimization, Operations Research Foundations, Graph Theory & Algorithms, Applied Mathematics, Aït‑Kaci Research Library — Mathematical Systems Theory
• Neural Networks & Machine Learning, Financial Time‑Series Modeling, Computational Finance & Forecasting, Artificial Intelligence In Markets, Quantitative Methods & Predictive Models, Aït‑Kaci Research Library — Intelligent Systems
• Neural Networks, Machine Learning Foundations, Connectionist Models, Learning Algorithms, Computational Intelligence, Pattern Recognition, Springer Computer Science, Artificial Neural Systems, Algorithmic Learning Theory, Aït‑Kaci Technical Li
• Nonlinear Equation Theory, Iterative Numerical Methods, Fixed‑point Analysis, Stability And Convergence, Applied Nonlinear Systems, Computational Mathematics Foundations, McGraw‑Hill Applied Mathematics, Numerical Analysis Of Nonlinear Problems
• Nonlinear Programming Theory, Convex Analysis And Optimization, Duality In Nonlinear Systems, Constraint Qualifications, Saddle‑point Methods, Operations Research Foundations, Applied Mathematics Of Optimization, McGraw‑Hill Systems Science
• Nonlinear Programming, Optimization Theory, Constrained Optimization, Unconstrained Optimization, Lagrange Multipliers, Convex Analysis, Duality Theory, Numerical Optimization, Operations Research, Aït‑Kaci Technical Library
• Object Constraint Language, Formal Modeling With UML, Constraint‑based Specification, Object‑oriented Semantics, Model Invariants And Pre/postconditions, Formal Methods In Software Engineering, Precise Modeling Languages, Addison‑Wesley Objec
• Object‑Oriented Design & Development, UML & Software Modeling, C++ Programming & Implementation, Software Engineering Methodology, Aït‑Kaci Provenance Collection
• Object‑Oriented Programming Theory, Software Architecture & Design, Adaptive Programming, Programming Languages & Methodology, Aspect‑Oriented Software Foundations, Aït‑Kaci Research Library — Software Systems Theory
• Object‑oriented Theory, Object Calculus, Type Systems For Objects, Operational Semantics, Programming‑language Theory, Formal Models Of Computation, Class‑based And Object‑based Languages, Subtyping And Inheritance Theory, Semantics Of Object‑or
• Ontology Engineering, Knowledge Representation, Semantic Web Foundations, Ontology Languages And Formalisms, Ontology Engineering Methodologies, Semantic Infrastructures, Knowledge Sharing And Reuse, Formal Semantics In Information Systems, Logic‑based
• Operations Research Foundations, Optimization & Decision Models, Management Science, Industrial & Systems Engineering, Applied Mathematical Modeling, Aït‑Kaci Research Library — Applied Systems Theory
• Operations Research Foundations, Optimization Algorithms, Linear Programming Methods, Applied Mathematical Modeling, Industrial & Systems Engineering, Aït‑Kaci Research Library — Applied Systems Theory
• Operations Research, • Applied Probability, • Optimization & Decision Theory, • Search Theory & Detection, • Mathematics In Science And Engineering Series, • History Of Applied Mathematics
• Operations Research, • Management Science, • Decision Theory & Optimization, • Applied Mathematics For Management, • Industrial Engineering Foundations, • Aït Kaci Research Library — Applied Mathematics
• Operations Research, • Optimization & Decision Models, • Industrial & Systems Engineering, • Management Science Applications, • Applied Mathematical Modeling, • Aït Kaci Research Library — Applied Systems Theory
• Optimization & Operations Research, • Applied Mathematics, • Computer Science & Algorithms, • Numerical Analysis, • Engineering & Control Theory, • Academic & Technical Monographs
• Parallel & Concurrent Systems Computer Science & Programming Artificial Intelligence & Semantics Knowledge Representation & Logic Rare Technical Classics
• Philosophy Of Language — Analytic Tradition, Philosophy Of Mind & Cognitive Foundations, Semantics, Reference & Meaning, Analytic Philosophy — 20th Century, Logic, Language & Computation, Aït‑Kaci Provenance Collection
• Photography (Aerial & Environmental), • Coffee Table & Oversized Art Books, • Environmental Studies & Ecology, • Travel & World Geography, • French Language Art Books
• Photography – Humanist & Documentary, • French Street Photography, • Robert Doisneau Monographs, • European Cultural History, • Oversized Art & Photography Books
• Probability & Stochastic Processes, • Markov Chains & Random Processes, • Algorithmic Theory, • Mathematics & Statistics, • Computer Science Foundations, • London Mathematical Society Student Texts
• Probability Theory Foundations, Discrete And Continuous Probability, Limit Theorems, Random Walks, Generating Functions, Classical Probabilistic Methods, Mathematical Statistics, Historical Development Of Probability, Wiley Probability And Statistics Seri
• Probability Theory, Mathematical Statistics, Distribution Theory, Estimation Methods, Hypothesis Testing, Sampling Distributions, Regression Analysis, Nonparametric Methods, McGraw‑Hill Statistics, Mathematical Foundations
• Probability Theory, Mathematical Statistics, Random Variables, Distribution Theory, Limit Theorems, Statistical Inference, Estimation Theory, Hypothesis Testing, Wiley Probability Series, Mathematical Foundations
• Probability Theory, Renewal Theory, Markov Chains, Random Walks, Limit Theorems, Branching Processes, Stochastic Processes, Fluctuation Theory, Mathematical Statistics, Wiley Probability Series
• Program Verification, Model Checking, Abstract Interpretation, Numerical Abstraction, Heap And Shape Analysis, Temporal Logic, Automated Reasoning, Formal Methods, LNCS Proceedings, Aït‑Kaci Technical Library
• Program Verification, Model Checking, Abstract Interpretation, Static Analysis, Temporal Logic, Automated Reasoning, Formal Methods, LNCS Proceedings, VMCAI Conference Series, Aït‑Kaci Technical Library
• Programming Languages & Formal Semantics, • Operational Semantics & Interpreter Design, • Functional Programming Theory, • Scheme & Continuations, • History Of Computer Science (1990s), • Aït Kaci Research Library — Association Copy
• Programming Methodology & Software Engineering, • Programming Languages & Formal Methods, • Algorithms & Data Structures, • Computer Science History, • Theoretical Computer Science, • Academic & Technical Monographs
• Programming‑language Concepts, Computational Models, Multi‑paradigm Programming, Functional Programming Foundations, Logic Programming Principles, Concurrent Programming Models, Distributed Computation, Declarative Programming, Programming‑l
• Programming‑language Design, Language Implementation, Syntax And Grammar Formalisms, Type Systems, Runtime Environments, Memory Management, Compiler Construction, Interpreter Design, Language Paradigms, Semantics Of Programming Languages
• Programming‑language Design, Programming‑language Semantics, Type Systems, Control Structures, Abstraction Mechanisms, Implementation Strategies, Formal Language Theory, Computational Models, Programming Paradigms, Language Evaluation
• Programming‑language Theory, Formal Semantics And Type Systems, Program Analysis And Verification, Logic And Computation, Concurrency And Language Design, ACM SIGPLAN Conference Proceedings, Theoretical Computer Science Research, POPL Symposium P
• Programming‑language Theory, Formal Semantics, Operational Semantics, Denotational Semantics, Axiomatic Semantics, Type Systems, Control Structures, Abstraction Mechanisms, Language Design Principles, Computing‑science Foundations
• Programming‑language Theory, Imperative Programming, Object‑oriented Programming, Functional Programming, Logic Programming, Type Systems, Control Structures, Language Semantics, Addison‑Wesley Computing, Aït‑Kaci Technical Library
• Quantum Brain Theory, Neural Computation, Quantum Models Of Cognition, Brain Dynamics, Theoretical Neuroscience, Quantum Information Processing, Computational Models Of Mind, Physics Of Cognition, Quantum Neurobiology, Foundations Of Intelligent
• Queueing Theory, Stochastic Processes, Markov Chains, Network Performance, Operations Research, Telecommunications Theory, Service Disciplines, Probability Models, Wiley‑Interscience Mathematics, Aït‑Kaci Technical Library
• Queueing Theory, Stochastic Processes, Operations Research, Probability Models, Birth‑death Processes, Service Systems, Telecommunications Modeling, Industrial Engineering Mathematics, McGraw‑Hill Applied Mathematics, Aït‑Kaci Technical Li
• Real Analysis, Metric Spaces, Measure Theory, Lebesgue Integration, Functional Analysis, Topological Foundations, Dover Mathematics, Mathematical Rigor, Analysis Foundations, Kolmogorov–Fomin Series
• Recursive Function Theory, Computability Theory, Effective Procedures, Unsolvability, Reducibility Theory, Degrees Of Computability, Mathematical Logic, Foundations Of Computation, McGraw‑Hill Higher Mathematics, Theoretical Computer Science
• Recursive Programming, Lambda Calculus, Combinatory Logic, Functional Programming Theory, Tree Structures, List Processing, Algorithmic Semantics, Addison‑Wesley Systems Programming, Program Construction, Aït‑Kaci Technical Library
• Relational Database Theory, Data Models And Abstractions, Relational Algebra And Calculus, Query Languages And Optimization, Normalization And Schema Design, Transaction Concepts, Logical Foundations Of Databases, Formal Approaches To Data Manageme
• Research Significance: Note Its Status As The 1983 ACM Doctoral Dissertation Award Recipient, Underscoring Its Importance In PL Theory And Environment Generation, Provenance Note: Record The Embossed Library Of Hassan Aït‑Kaci Seal As Part Of The Item
• Scientific Computing & Numerical Methods, C Programming For Numerical Analysis, Algorithm Implementation, Computational Physics & Engineering, Applied Mathematics — Numerical Techniques, Aït‑Kaci Research Library — Computational Methods
• Semantic Web Research, Ontology Engineering, Knowledge Representation, Semantic Search, RDF And OWL Technologies, Semantic Annotation, Web Data Integration, LNCS Proceedings, ISWC Conference Series, Aït‑Kaci Technical Library
• Semantic Web Research, Ontology Engineering, Knowledge Representation, Semantic Web Services, Ontology Learning, Inference And Mapping, Web Data Models, LNCS Proceedings, ESWC Conference Series, Aït‑Kaci Technical Library
• Seminumerical Algorithms, Random Number Generation, Arithmetic Algorithms, Number‑theoretic Methods, Algorithm Analysis, Computational Mathematics, Computer Science Classics, Algorithmic Foundations, Addison‑Wesley Computing, Knuth Works
• Sequence Comparison & Edit Distance, Computational Biology, Pattern Recognition & Signal Analysis, Algorithms & Dynamic Programming, Mathematical Foundations Of Bioinformatics, Aït‑Kaci Research Library — Computational Systems Theory
• Set Theory Foundations, Topological Structures, Metric And Topological Spaces, Relations, Functions, And Cardinality, Foundations Of Modern Mathematics, Abstract Structures In Computation, Kuratowski Topology, Pergamon Mathematical Classics
• Software Agents, Autonomous Systems, Distributed AI, Multi‑agent Architectures, Cooperative Problem Solving, Interface Agents, Agent Communication, Intelligent Software Systems, Adaptive Computational Models, AI Systems Design
• Sorting Algorithms, Searching Algorithms, Algorithm Analysis, Data Structures, Information Retrieval, Hashing Methods, Computational Foundations, Algorithmic Methods, Addison‑Wesley Computing, Knuth Works
• Southwestern Photography, • Women Photographers, • Documentary & Portrait Photography, • American Art & Western Studies, • Large Format Photography Monographs, • Museum Exhibition Catalogues
• Statistical Learning Foundations, Empirical And Structural Risk Minimization, VC‑dimension And Generalization Theory, Support Vector Machine Theory, Mathematical Foundations Of Machine Learning, Computational Learning Theory, Pattern Recognition T
• Statistical Learning Theory, Machine Learning Foundations, VC‑dimension, Structural Risk Minimization, Support Vector Machines, Generalization Theory, Computational Learning Theory, Springer Information Science, Mathematical Statistics, Aït‑
• Stochastic Control Theory, Stochastic Differential Equations, Optimal Control, Dynamic Programming, Filtering And Estimation, Probabilistic Systems, Continuous‑time Control, Discrete‑time Stochastic Models, Systems Theory, Mathematics In Scie
• Stochastic Process Theory, Markov Processes, Renewal Theory, Probability Foundations, Continuous‑time Stochastic Modeling, Applied Probability, Operations Research Mathematics, Mathematical Systems Analysis, Early Stochastic Process Monographs
• Stochastic Processes, Probability Theory, Applied Mathematics, Operations Research Foundations, Statistical Modeling, Aït‑Kaci Research Library — Probability & Stochastic Systems
• Structured Programming Foundations, Algorithms And Data Structures, Program Construction Methodologies, Compiler Design Principles, Formal Methods In Computing, Programming Language Theory, Computational Logic Lineage, Early Computer Science Monographs, P
• Support Vector Machines, Kernel‑based Learning Methods, Statistical Learning Theory, Margin‑based Classification, Feature‑space Transformations, Machine Learning Foundations, Pattern Recognition Theory, Cambridge Machine Learning Monographs
• Swarm Intelligence Theory, Particle Swarm Optimization, Evolutionary Computation, Collective Behavior Models, Distributed Problem Solving, Population‑based Search Algorithms, Adaptive Systems, Bio‑inspired Computation, Algorithmic Models Of Cooperatio
• Technology, • Computer Science, • Networking, • Distributed Systems, • Internet Systems, • Client/Server Architecture, • Web Development, • IT Professionals, • Software Engineers, • Students In Computer Science Programs, • Network Arch
• Term Rewriting Systems, Rewriting Techniques, Confluence And Termination, Completion Procedures, Algebraic Specification, Equational Reasoning, Symbolic Computation, Formal Methods, Computational Algebra, Academic Press Algebraic‑structures Ser
• Term Rewriting, Rewriting Techniques, Termination Analysis, Confluence Theory, Higher‑order Rewriting, Rewriting Logic, Automated Deduction, LNCS Proceedings, RTA Conference Series, Aït‑Kaci Technical Library
• Theoretical Computer Science, • Computability & Automata Theory, • Foundations Of Computer Science, • Mathematical Logic & Computation, • History Of Computing, • McGraw Hill Computer Science Series
• Theory Of Computation & Algorithms, Computability & Complexity Theory, Formal Models Of Computation, Foundations Of Theoretical Computer Science, Algorithmic Logic & Recursive Functions, Aït‑Kaci Research Library — Computation Theory
• Type Systems, Programming‑language Theory, Operational Semantics, Polymorphism, Subtyping, Formal Semantics, Theoretical Computer Science, MIT Press Computing, Language Design, Aït‑Kaci Technical Library
• Unification Theory, Equational Unification, Term Rewriting, Higher‑order Unification, Typed Unification, Automated Deduction, Logic Programming Foundations, Computational Logic, Equational Theories, Academic Press Computer Science
• Universal Algebra, Algebraic Structures, Equational Logic, Congruence Relations, Homomorphisms, Varieties Of Algebras, Free Algebras, Mathematical Foundations, Abstract Algebra, Reidel Mathematics Series
• UNIX Programming, Shell Design, Software Tools, Systems Programming, C Programming Interfaces, Operating Systems, Addison‑Wesley Computing, UNIX History, International Computer Science Series, Aït‑Kaci Technical Library
• UNIX Programming, Shell Programming, Software Tools, Systems Programming, Text Processing, Prentice‑Hall Software Series, Operating Systems, Software Craftsmanship, Computing History, Aït‑Kaci Technical Library
• UNIX Reference, Berkeley UNIX, Shell Commands, Software Tools, Text Processing, O’Reilly Nutshell Series, Systems Programming, UNIX History, Command‑line Utilities, Aït‑Kaci Technical Library
• UNIX Shell Programming, Bourne Shell Scripting, Systems Programming Foundations, Command‑line Tools And Pipelines, Portable UNIX Scripting, Software Tools Philosophy, Hayden UNIX System Library, UNIX Environments In Research Computing
• Urbanisation Des Systèmes D’information, Business Process Management, Architecture D’entreprise, Gouvernance Des SI, Modélisation Des Processus, Alignement Stratégique, Ingénierie Des Systèmes, Management Des Technologies, Transformation
• Web Programming, HTML, Java, CGI Scripting, JavaScript, Client‑server Development, Internet Technologies, Prentice Hall Programming, Software Engineering, Aït‑Kaci Technical Library
• X Window System Architecture, Xlib Programming Reference, X Protocol And Client–server Interaction, ICCCM Conventions And Window Management, XLFD And Font Description, UNIX Graphical Systems, Workstation Computing History, Butterworth‑Heinemann