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 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