Non Fiction

Updated 5 months ago
557 Books

Position	Details	Rating	Readers Count
#102	Paradigms of artificial intelligence programming	0	0 reads
#103	Applied Combinatorics on Words M. Lothaire	0	0 reads
#105	Languages and Machines: An Introduction to the Theory of Computer Science Thomas A. Sudkamp	0	0 reads
#106	Abstract and Concrete Categories Jiri Adamek Jiří Adámek (ing.) Horst Herrlich George E. Strecker	0	1 read
#107	Category Theory Steve Awodey	3	3 reads
#108	Basic category theory for computer scientists Benjamin C. Pierce	2.5	2 reads
#109	Engineering a Compiler Keith D. Cooper Linda Torczon	0	0 reads
#110	Computability and Logic Computability and Logic George S. Boolos John P. Burgess Richard C. Jeffrey	0	1 read
#111	Computer Architecture: A Quantitative Approach John L. Hennessy David A. Patterson	4	3 reads
#112	Computer Organization V. Carl Hamacher	0	1 read
#113	Structured Computer Organization Andrew S. Tanenbaum Todd Austin	4	4 reads
#114	Computational Geometry: Algorithms and Applications Mark de Berg Marc van Kreveld Mark Overmars Otfried Cheong Schwarzkopf	0	0 reads
#115	Computer Graphics: Principles and Practice Andries van Dam Andries van Dam Steven K. Feiner John F. Hughes	0	2 reads
#116	Fundamentals of Computer Graphics Peter Shirley	0	2 reads
#117	Database Management Systems Raghu Ramakrishnan Johannes Gehrke	0	1 read
#118	Database Systems: The Complete Book Hector Garcia-Molina Jeffrey D. Ullman Jennifer D. Widom	0	0 reads
#119	Distributed Systems: Concepts and Design George Coulouris Jean Dollimore Tim Kindberg	5	1 read
#120	Introduction to Reliable and Secure Distributed Programming Introduction to Reliable and Secure Distributed Programming Christian Cachin Rachid Guerraoui Luis Rodrigues	0	0 reads
#121	Principles of Concurrent and Distributed Programming Mordechai Ben-Ari	0	0 reads
#122	Introduction to Functional Programming using Haskell Richard S. Bird	0	0 reads
#123	Learn You a Haskell for Great Good! Miran Lipovača	4.38	17 reads
#124	The seasoned schemer Daniel P. Friedman Matthias Felleisen	0	0 reads
#125	ML for the Working Programmer, 2nd Edition Lawrence C. Paulson	0	0 reads
#126	Logic in Computer Science: Modelling and Reasoning About Systems Michael Huth Mark Ryan	3	1 read
#127	Mathematical Logic for Computer Science Mordechai Ben-Ari	0	0 reads
#128	Designing the User Interface: Strategies for Effective Human-Computer Interaction Ben Shneiderman Catherine Plaisant	0	2 reads
#129	Elements of Information Theory Thomas M. Cover Joy A. Thomas	4	1 read
#130	Information Theory and Reliable Communication Robert G. Gallager	0	0 reads
#131	INFORMATION THEORY, INFERENCE, AND LEARNING ALGORITHMS. David J.C. MacKay	4.33	4 reads
#132	Computational Complexity Computational Complexity Christos H. Papadimitriou	0	0 reads
#133	An Introduction to Lambda Calculi for Computer Scientists Chris Hankin	0	0 reads
#134	PROLOG PROLOG: Programming for Artificial Intelligence Ivan Bratko	0	0 reads
#135	The Art of Prolog, second edition The Art of Prolog, second edition Leon S. Sterling Ehud Y. Shapiro	0	0 reads
#136	Bayesian Reasoning and Machine Learning David Barber	0	1 read
#137	Data Mining: Practical Machine Learning Tools and Techniques Ian H. Witten Eibe Frank Mark A. Hall	3	1 read
#138	The Elements of Statistical Learning: Data Mining, Inference, and Prediction Trevor Hastie Robert Tibshirani Jerome Friedman	4.33	6 reads
#139	Machine Learning Machine Learning Tom M. Mitchell	0	2 reads
#140	Mining of Massive Datasets Anand Rajaraman Jeffrey David Ullman	0	0 reads
#141	Pattern Recognition and Machine Learning Christopher M. Bishop	3.67	5 reads
#142	Pattern Classification Richard O. Duda Peter E. Hart David G. Stork	0	0 reads
#143	Foundations of Statistical Natural Language Processing Christopher Manning Hinrich Schutze	5	1 read
#144	Speech and Language Processing: An Introduction to Natural Language Processing, Computational Linguistics and Speech Recognition Dan Jurafsky James H. Martin	0	2 reads
#145	Computer Networking James F. Kurose Keith Ross	4	7 reads
#146	Computer Networks Andrew S. Tanenbaum	3.8	7 reads
#147	Numerical Recipes in C Numerical Recipes in C: The Art of Scientific Computing William H. Press Brian P. Flannery Saul A. Teukolsky William T. Vetterling	3	1 read
#148	Operating Systems Andrew S. Tanenbaum Albert S. Woodhull	0	1 read
#149	Convex Optimization Stephen Boyd Stephen P. Boyd Lieven Vandenberghe	0	1 read
#150	Linear Programming and Network Flows Mokhtar S. Bazaraa John Jarvis Hanif D. Sherali	0	0 reads
#151	Communicating and Mobile Systems: The Pi-Calculus Robin Milner	0	0 reads
#152	Principles of Program Analysis Flemming Nielson Hanne R. Nielson Chris Hankin	0	0 reads
#153	Essentials of programming languages Daniel P. Friedman Mitchell Wand Christopher T. Haynes	0	0 reads
#154	Modern Programming Languages: A Practical Introduction Adam Webber	4	1 read
#155	Programming Languages Programming Languages: Application and Interpretation Shriram Krishnamurthi	0	0 reads
#156	Formal Semantics of Programming Languages Glynn Winskel	5	1 read
#157	Foundations for Programming Languages John C. Mitchell	0	0 reads
#158	Semantics Engineering with PLT Redex Semantics Engineering with PLT Redex Matthias Felleisen Robert Bruce Findler Matthew Flatt	0	0 reads
#159	Semantics of Programming Languages: Structures and Techniques Carl A. Gunter	0	0 reads
#160	Quantum Computation and Quantum Information Michael A. Nielsen Isaac L. Chuang	0	1 read
#161	Randomized Algorithms Rajeev Motwani Prabhakar Raghavan	0	0 reads
#162	Probability and Computing: Randomized Algorithms and Probabilistic Analysis Michael Mitzenmacher Eli Upfal	3	1 read
#163	Security Engineering Ross J. Anderson	3.67	4 reads
#164	Software Engineering Ian Sommerville	4	3 reads
#165	Term Rewriting and All That Franz Baader Tobias Nipkow	0	0 reads
#166	Types and Programming Languages Benjamin C. Pierce	4.25	5 reads
#167	Crystal Clear Crystal Clear: A Human-Powered Methodology for Small Teams Alistair Cockburn	3	1 read
#168	How to Design Programs, second edition Matthias Felleisen Robert Bruce Findler Matthew Flatt Shriram Krishnamurthi	5	2 reads
#169	Why Programs Fail Why Programs Fail: A Guide to Systematic Debugging Andreas Zeller	1	1 read
#170	Mastering Regular Expressions Jeffrey E.F. Friedl	4.22	11 reads
#171	Pro Git Scott Chacon	4.14	31 reads
#172	Programming Languages Allen B. Tucker Jr. Robert E. Noonan	0	0 reads
#173	Masterminds of Programming	3.67	3 reads
#174	Programming Interactivity: A Designer's Guide to Processing, Arduino, and openFrameworks Joshua Noble	0	0 reads
#175	The Art of Scalability Martin L. Abbott Michael T. Fisher	0	0 reads
#176	Linux kernel development Robert Love	0	0 reads
#177	UNIX Network Programming UNIX Network Programming: Networking APIs: Sockets and XTI; Volume 1 W. Richard Stevens	5	2 reads
#178	Metasploit: The Penetration Tester's Guide David Kennedy Jim O'Gorman Devon Kearns Mati Aharoni	0	2 reads
#179	Version Control By Example Eric Sink	3	2 reads
#180	Software Foundations Benjamin C. Pierce	0	0 reads
#181	Mathematics for 3D game programming and computer graphics Eric Lengyel	0	0 reads
#182	SQL and Relational Theory: How to Write Accurate SQL Code C.J. Date	4.5	1 read
#183	Sistemas operativos modernos Andrew S. Tanenbaum	4.5	8 reads
#184	The Art of Computer Programming - 4 volumes Donald Ervin Knuth	5	2 reads
#185	Clean Code: A Handbook of Agile Software Craftsmanship Robert C. Martin	4.11	134 reads
#186	Coders at Work Peter Seibel	3.77	25 reads
#187	The Inmates Are Running the Asylum Alan Cooper	4	13 reads
#188	The Art of UNIX Programming Eric S. Raymond	4.17	7 reads
#189	Test-Driven development by Example Kent Beck	0	0 reads
#190	Practices of an Agile Developer: Working in the Real World Venkat Subramaniam Andy Hunt	4.2	6 reads
#191	Agile Software Development, Principles, Patterns, and Practices Robert C. Martin	4.33	3 reads
#192	The Practice of Programming Rob Pike	4	5 reads
#193	Software Estimation: Demystifying the Black Art Steve McConnell	0	1 read
#194	The Passionate Programmer Chad Fowler	3.86	13 reads
#195	Hackerlar Steven Levy	4.05	49 reads
#196	Algorithms + Data Structures = Programs Algorithms + Data Structures = Programs Niklaus Wirth	0	2 reads
#197	Writing Solid Code Steve Maguire	4	3 reads
#198	Getting Real 37 Signals	4.17	26 reads
#199	Foundations of Programming - Building Better Software Foundations of Programming - Building Better Software Karl Seguin	0	0 reads
#200	Refactoring to Patterns Joshua Kerievsky	4.25	5 reads
#201	The Annotated Turing Charles Petzold	4.25	12 reads
#202	Things That Make Us Smart Donald A. Norman	0	1 read