Contact
DMCA
Privacy Policy
Filepdf
Toggle navigation
Categories
Genre
Best Book 2021
Best Young Adult Books
Best Sci-Fict & Fantasy
NY Times Best Books
Best Romance Novel
Best self-published Amazon
Best Kindle & Prime Amazon
100 Books to Read
100 Child Books to Read
Art
Biography
Business
Childrens
Classics
Comics
Contemporary
Manga
Memoir
Music
Mystery
Non Fiction
Poetry
Psychology
Cookbooks
Religion
Crime
Romance
Science
Fantasy
Science Fiction
Fiction
Graphic Novels
Sport
History
Thriller
Horror
Travel
Humor and Comedy
Young Adult
More Than
12,0657,538
Books Collection
Home
New release
Popular Books
Most Read
Popular Author
Uclib Books Categories
home
Uclib Books Categories
Uclib Categories Books List
Uclib Books Categories
View More
Algol-Like Languages (2-Volume Set)
By:
Peter O'Hearn
View More
Art of Computer Programming, The: Satisfiability, Volume 4, Fascicle 6 (Paperback)
By:
Donald Ervin Knuth
View More
A Guide to LATEX: Document Preparation for Beginners and Advanced Users (Paperback)
By:
Helmut Kopka
View More
LATEX: A Document Preparation System: User's Guide and Reference Manual (Paperback)
By:
Leslie Lamport
View More
The LaTeX Companion (Tools and Techniques for Computer Typesetting)
By:
Frank Mittelbach
View More
The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)
By:
David J. Pym
View More
Universal Algebra (Mathematics and Its Applications, 6)
By:
Paul M. Cohn
View More
Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)
By:
Robert Goldblatt
View More
Correctness and Completeness (Progress in Theoretical Computer Science)
By:
Thomas Streicher
View More
Algebraic Theories: A Categorical Introduction to General Algebra (Cambridge Tracts in Mathematics, Series Number 184)
By:
Jirí Adámek
View More
Categories for Types (Cambridge Mathematical Textbooks)
By:
Roy L. Crole
View More
Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)
By:
Gordon Plotkin
View More
Call-By-Push-Value: A Functional/Imperative Synthesis (Semantics Structures in Computation, 2)
By:
Paul Blain Levy
View More
Practical Foundations of Mathematics (Cambridge Studies in Advanced Mathematics, Series Number 59)
By:
Paul Taylor
View More
Modern Compiler Implementation in Java (Hardcover)
By:
Andrew W. Appel
View More
Lambda Calculus with Types (Perspectives in Logic)
By:
Henk Barendregt
View More
Seven Sketches in Compositionality: An Invitation to Applied Category Theory (ebook)
By:
Brendan Fong
View More
Style: Toward Clarity and Grace (Chicago Guides to Writing, Editing, and Publishing)
By:
Joseph M. Williams
View More
Engineering a Compiler (Hardcover)
By:
Keith D. Cooper
View More
Denotational Semantics: A Methodology for Language Development (Paperback)
By:
David A. Schmidt
View More
Continuations: A Mathematical Semantics For Handling Full Jumps
By:
Christopher Strachey
View More
Theories of Programming Languages (Paperback)
By:
John C. Reynolds
View More
The Implementation of Functional Programming Languages (Prentice-hall International Series in Computer Science)
By:
Simon L. Peyton Jones
View More
Why I am a Hindu (Hardcover)
By:
Shashi Tharoor
View More
Trust and Reciprocity: Interdisciplinary Lessons for Experimental Research (Paperback)
By:
Elinor Ostrom
View More
Design Concepts in Programming Languages (Hardcover)
By:
Franklyn A. Turbak
View More
Semantics of Programming Languages: Structures and Techniques (Foundations of Computing)
By:
Carl A. Gunter
View More
Drawing Theories Apart: The Dispersion of Feynman Diagrams in Postwar Physics (Paperback)
By:
David Kaiser
View More
Semantic Techniques in Quantum Computation (Hardcover)
By:
Simon Gay
View More
Quantum Computer Science: An Introduction (Hardcover)
By:
N. David Mermin
View More
Flatland: A Romance of Many Dimensions (Paperback)
By:
Edwin A. Abbott
View More
Computational Category Theory (Prentice-hall International Series in Computer Science)
By:
D.E. Rydeheard
View More
Randomized Algorithms (Hardcover)
By:
Rajeev Motwani
View More
Data Structures and Network Algorithms (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 44)
By:
Robert Endre Tarjan
View More
Semantics Engineering with PLT Redex (Hardcover)
By:
Matthias Felleisen
View More
The Science of Programming (Monographs in Computer Science)
By:
David Gries
View More
Foundations for Programming Languages (Foundations of Computing)
By:
John C. Mitchell
View More
Formal Semantics of Programming Languages (Paperback)
By:
Glynn Winskel
View More
Where Does The Weirdness Go?: Why Quantum Mechanics Is Strange, But Not As Strange As You Think (Paperback)
By:
David Lindley
View More
The Little Typer (Mit Press)
By:
Daniel P. Friedman
View More
A Discipline of Programming (Paperback)
By:
Edsger W. Dijkstra
View More
Nonviolent Communication: A Language of Life (Paperback)
By:
Marshall B. Rosenberg
View More
The Three Innocents, and Ors (Paperback)
By:
Ismat Chughtai
View More
The Quilt and Other Stories (Paperback)
By:
Ismat Chughtai
View More
Algeria Is Beautiful Like America (Hardcover)
By:
Olivia Burton
View More
Interactive Theorem Proving and Program Development (Hardcover)
By:
Yves Bertot
View More
A Wrinkle in Time (Time Quintet, #1)
By:
Madeleine L'Engle
View More
Basic Category Theory for Computer Scientists (Foundations of Computing)
By:
Benjamin C. Pierce