Formal Science . Computer Science . Computer Systems . Computer Networks
- Network Programmability and Automation: Skills for the Next-Generation Network Engineer, Jason Edelman
- Software-Defined Networking (SDN) with OpenStack, Sriram Subramanian
- SDN: Software Defined Networks: An Authoritative Review of Network Programmability Technologies, Thomas D. Nadeau
Formal Science . Computer Science . Computer Systems . Computer Security and Cryptography
- Cryptography Engineering: Design Principles and Practical Applications, Niels Ferguson
- Applied Cryptography: Protocols, Algorithms and Source Code in C, Bruce Schneier
- Serious Cryptography: A Practical Introduction to Modern Encryption, Jean-Philippe Aumasson
- Kerberos: The Definitive Guide: The Definitive Guide, Jason Garman
- Hadoop Security: Protecting Your Big Data Platform, Ben Spivey
- Network Security: Private Communications in a Public World (Radia Perlman Series in Computer Networking and Security), Mike Speciner
- Getting Started with OAuth 2.0: Programming Clients for Secure Web API Authorization and Authentication, Ryan Boyd
Formal Science . Computer Science . Computer Systems . Computer Architecture and Engineering
- Clean Architecture: A Craftsman's Guide to Software Structure and Design (Robert C. Martin Series), Robert C. Martin
- Building Evolutionary Architectures: Support Constant Change, Neal Ford
- Cloud Native Infrastructure: Patterns for Scalable Infrastructure and Applications in a Dynamic Environment, Justin Garrison
Formal Science . Computer Science . Theoretical Computer Science . Programming Language Theory . Programming Languages
- Concurrency in Go: Tools and Techniques for Developers, Katherine Cox-Buday
- Introducing Go: Build Reliable, Scalable Programs, Caleb Doxsey
- Programming Rust: Fast, Safe Systems Development, Jim Blandy
- Switching to Angular - Third Edition: Align with Angular version 5 and Google's long-term vision for Angular, Minko Gechev
- C# 4.0 in a Nutshell: The Definitive Reference, Joseph Albahari
- An Introduction to Functional Programming Through Lambda Calculus (Dover Books on Mathematics), Greg Michaelson
- Programming Scala: Scalability = Functional Programming + Objects, Dean Wampler
- Learning SPARQL: Querying and Updating with SPARQL 1.1, Bob DuCharme
- Core Java, Volume II--Advanced Features (Core Series Book 2), Cay S. Horstmann
- Core Java Volume I--Fundamentals (Core Series Book 1), Cay S. Horstmann
- R Tutorial with Bayesian Statistics Using OpenBUGS, Chi Yau
- Professional JavaScript for Web Developers, Nicholas C. Zakas
- Practical Object-Oriented Design in Ruby: An Agile Primer (Addison-Wesley Professional Ruby Series), Sandi Metz
- Learning Python: Powerful Object-Oriented Programming, Mark Lutz
- Programming: Principles and Practice Using C++, Bjarne Stroustrup
- The C++ Programming Language, Bjarne Stroustrup
- The Art of R Programming: A Tour of Statistical Software Design, Norman Matloff
- AngularJS, Brad Green
- R Cookbook: Proven Recipes for Data Analysis, Statistics, and Graphics (O'reilly Cookbooks), Paul Teetor
- Programming Pig: Dataflow Scripting with Hadoop, Alan Gates
- Python in a Nutshell: A Desktop Quick Reference (In a Nutshell (O'Reilly)), Alex Martelli
- Node: Up and Running: Scalable Server-Side Code with JavaScript, Tom Hughes-Croucher
- Programming Hive: Data Warehouse and Query Language for Hadoop, Edward Capriolo
- Programming F#: A comprehensive guide for writing simple code to solve complex problems (Animal Guide), Chris Smith
- The C++ Standard Library: A Tutorial and Reference, Nicolai M. Josuttis
- C++ Primer Plus (Developer's Library), Stephen Prata
- JavaScript: The Definitive Guide: Activate Your Web Pages (Definitive Guides), David Flanagan
- LINQ to Objects Using C# 4.0: Using and Extending LINQ to Objects and Parallel LINQ (PLINQ) (Addison-Wesley Microsoft Technology Series), Troy Magennis
- Programming Entity Framework, Julia Lerman
Formal Science . Computer Science . Theoretical Computer Science . Programming Language Theory . Programming Languages . Application Programming Interfaces
- GraphQL API Design (API-University Series Book 5), Matthias Biehl
- OData Programming Cookbook for .NET Developers, Steven Cheng
- Mastering OpenLDAP: Configuring, Securing and Integrating Directory Services, Matt Butcher
Formal Science . Computer Science . Software Engineering . Software development . Microservices (Technique)
- Building Microservices with Go: Develop seamless, efficient, and robust microservices with Go, Nic Jackson
- Microservice Architecture: Aligning Principles, Practices, and Culture, Irakli Nadareishvili
- RESTful Web APIs: Services for a Changing World, Leonard Richardson
- Production-Ready Microservices: Building Standardized Systems Across an Engineering OrganizationSusan J. Fowler
- Domain-Driven Design: Tackling Complexity in the Heart of Software, Eric Evans
- REST in Practice: Hypermedia and Systems Architecture, Ian Robinson
- Building Microservices: Designing Fine-Grained Systems, Sam Newman
- RESTful Web Services, Leonard Richardson
- Service Design Patterns: Fundamental Design Solutions for SOAP/WSDL and RESTful Web Services (Addison-Wesley Signature Series (Fowler)), Robert Daigneau
- RESTful .NET: Build and Consume RESTful Web Services with .NET 3.5, Jon Flanders
Formal Science . Computer Science . Computer Applications . Artificial Intelligence
- Neuroplasticity (The MIT Press Essential Knowledge series), Moheb Costandi
- Machine Learning with Neural Networks: An In-depth Visual Introduction with Python: Make Your Own Neural Network in Python: A Simple Guide on Machine Learning with Neural Networks, Michael Taylor
- Neural Network Methods for Natural Language Processing (Synthesis Lectures on Human Language Technologies), Yoav Goldberg
- Artificial General Intelligence: 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings (Lecture Notes in Computer Science), Everitt
- Hands-On Machine Learning with Scikit-Learn and TensorFlow: Concepts, Tools, and Techniques to Build Intelligent Systems, Aurélien Géron
- Superintelligence: Paths, Dangers, StrategiesNick BostromDeep Learning (NONE), Ian Goodfellow
- Theoretical Aspects of Evolutionary Computing (Natural Computing Series), Kallel
- Computational Intelligence, Evolutionary Computing and Evolutionary Clustering Algorithms, Terje Kristensen
- Genetic and Evolutionary Computing: Proceedings of the Tenth International Conference on Genetic and Evolutionary Computing, November 7-9, 2016 Fuzhou ... in Intelligent Systems and Computing, Pan
- Reinforcement Learning and Approximate Dynamic Programming for Feedback Control (IEEE Press Series on Computational Intelligence), Lewis
- Reinforcement Learning: An Introduction (Adaptive Computation and Machine Learning series), Richard S. Sutton
- Bayesian Reasoning and Machine Learning, David Barber
- Computer Vision – ECCV 2016 Workshops: Amsterdam, The Netherlands, October 8-10 and 15-16, 2016, Proceedings, Part II (Lecture Notes in Computer Science), Hua
- Computer Vision And Image Processing, Virender Singh
- Computer and Machine Vision: Theory, Algorithms, Practicalities, E. R. Davies
- Feature Extraction and Image Processing for Computer Vision, Mark Nixon
- Mastering OpenCV with Practical Computer Vision Projects, Daniel Lélis Baggio
- OpenCV Essentials, Oscar Deniz Suarez
- Algorithms for Image Processing and Computer Vision, J. R. Parker
- Numerical Algorithms: Methods for Computer Vision, Machine Learning, and Graphics, Justin Solomon
- Multiple View Geometry in Computer Vision, Richard Hartley
- Programming Computer Vision with Python: Tools and algorithms for analyzing images, Jan Erik Solem
- Computer Vision: Algorithms and Applications (Texts in Computer Science), Richard Szeliski
- Computer Vision, Simon J. D. Prince
- Machine Learning With Random Forests And Decision Trees: A Visual Guide For Beginners, Scott Hartshorn
- Speech and Language Processing, Daniel Jurafsky
- Fundamentals of Machine Learning for Predictive Data Analytics (The MIT Press), John D. Kelleher
- Getting Started with TensorFlow, Giancarlo Zaccone
- Convolutional Neural Networks in Python: Master Data Science and Machine Learning with Modern Deep Learning in Python, Theano, and TensorFlow (Machine Learning in Python), LazyProgrammer
- Deep Learning in Python: Master Data Science and Machine Learning with Modern Neural Networks written in Python, Theano, and TensorFlow (Machine Learning in Python), LazyProgrammer
- Deep Learning in Python Prerequisites: Master Data Science and Machine Learning with Linear Regression and Logistic Regression in Python (Machine Learning in Python), LazyProgrammer
- Make Your Own Mandelbrot, Tariq Rashid
- Make Your Own Neural Network, Tariq Rashid
- Artificial Intelligence: A Modern Approach, 3/e, Stuart Russell
- The Master Algorithm: How the Quest for the Ultimate Learning Machine Will Remake Our World, Pedro Domingos
- Artificial Intelligence for Humans, Volume 3: Deep Learning and Neural Networks, Jeff Heaton
- Machine Learning: An Algorithmic Perspective, Second Edition (Chapman & Hall/Crc Machine Learning & Pattern Recognition), Stephen Marsland
- On Intelligence: How a New Understanding of the Brain Will Lead to the Creation of Truly Intelligent Machines, Jeff Hawkins
- Computational Cognitive Neuroscience, Michael Frank
- Artificial Intelligence for Humans, Volume 2: Nature-Inspired Algorithms, Jeff Heaton
- Artificial Intelligence for Humans, Volume 1: Fundamental Algorithms, Jeff Heaton
- A.I. and Genius Machines, Scientific American Editors
- Machine Learning for Hackers: Case Studies and Algorithms to Get You Started, Drew Conway
- Pattern Classification: Pattern Classification Pt.1, David G. Stork
Formal Science . Computer Science . Computer Systems . Concurrent, Parallel and Distributed Systems
- Containers in OpenStack: Leverage OpenStack services to make the most of Docker, Kubernetes and Mesos, Pradeep Kumar Singh
- Openstack for Architects, Michael Solberg
- Infrastructure as Code: Managing Servers in the Cloud, Kief Morris
- The Kubernetes Book: Version 2.2 - January 2018, Nigel Poulton
- Docker Deep Dive, Nigel Poulton
- Terraform: Up and Running: Writing Infrastructure as Code, Yevgeniy Brikman
- Kubernetes: Up and Running: Dive into the Future of InfrastructureKelsey Hightower
- Getting Started with Kubernetes, Jonathan Baier
- Cloud Architecture Patterns: Using Microsoft Azure, Bill Wilder
- ZooKeeper: Distributed Process Coordination, Flavio Junqueira
- Docker: Up & Running: Shipping Reliable Containers in Production, Karl Matthias
- Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions (Addison-Wesley Signature Series (Fowler)), Gregor Hohpe
- Distributed Computing Through Combinatorial Topology, Maurice Herlihy
- Distributed Algorithms: An Intuitive Approach (The MIT Press), Wan Fokkink
- Learning Spark: Lightning-Fast Big Data Analysis, Holden Karau
Formal Science . Computer Science . Computer Systems . Computer Storage
- Software Defined Storage with OpenStack Swift, Joe Arnold
Formal Science . Computer Science . Computer Applications . Blockchain
- Blockchain For Dummies (For Dummies (Computers)), Tiana Laurence
- Blockchain: The History, Mechanics, Technical Implementation And Powerful Uses of Blockchain Technology (blockchain guide, smart contracts, financial technology, blockchain programming), Matthew Adams
Formal Science . Computer Science . Computer Systems . Databases
- Microsoft SQL Server 2012 Performance Tuning Cookbook, Ritesh Shah
- SQL Server 2012 Query Performance Tuning (Expert's Voice in SQL Server), Grant Fritchey
- SQL Server 2008 Query Performance Tuning Distilled (Expert's Voice in SQL Server), Sajal Dam
- Microsoft SQL Server 2008 R2 Unleashed, Ray Rankins
Formal Science . Computer Science . Computer Systems . No-SQL Databases
- Graph Databases: New Opportunities for Connected Data, Ian Robinson
- Practical RDF: Solving Problems with the Resource Description Framework, Shelley Powers
- MongoDB: The Definitive Guide, Kristina Chodorow
- Cassandra: The Definitive Guide, Eben Hewitt
- HBase: The Definitive Guide: Random Access to Your Planet-Size Data, Lars George
- Apache Hadoop YARN: Moving beyond MapReduce and Batch Processing with Apache Hadoop 2 (Addison-Wesley Data & Analytics Series), Arun Murthy
- Hadoop Operations: A Guide for Developers and Administrators, Eric Sammer
- MapReduce Design Patterns: Building Effective Algorithms and Analytics for Hadoop and Other Systems, Donald Miner
- Hadoop: The Definitive Guide, Tom White
- NoSQL Distilled: A Brief Guide to the Emerging World of Polyglot Persistence, Pramod J. Sadalage
Formal Science . Computer Science , Software Engineering . Software engineering management
- Effective DevOps: Building a Culture of Collaboration, Affinity, and Tooling at Scale, Jennifer Davis
- Site Reliability Engineering: How Google Runs Production Systems, Betsy Beyer
Formal Science . Computer Science , Software Engineering . Software configuration management
- Learning Puppet 4: A Guide to Configuration Management and Automation, Jo Rhett
- Ansible: Up and Running: Automating Configuration Management and Deployment the Easy Way, Lorin Hochstein
- Learning Chef: A Guide to Configuration Management and Automation, Mischa Taylor
Formal Science . Computer Science , Software Engineering . Software engineering process
- Jenkins: The Definitive Guide: Continuous Integration for the Masses, John Ferguson Smart
- Ant: The Definitive Guide: Complete Build Management for Java, Steve Holzner
- Version Control with Git: Powerful tools and techniques for collaborative software development, Jon Loeliger
- Maven: The Definitive Guide: The Definitive Guide, Sonatype Company
- Ry's Git Tutorial, Ryan Hodson
- Puppet Continuous Delivery, Bill Ward
- Vagrant: Up and Running: Create and Manage Virtualized Development Environments, Mitchell Hashimoto
- Salt Essentials: Getting Started with Automation at Scale, Craig Sebenik
Formal Science . Computer Science . Computer Systems . Computer Architecture and Engineering
- Learning the bash Shell: Unix Shell Programming (In a Nutshell (O'Reilly)), Cameron Newham
- Software Engineering for Real-Time Systems: Lindentree Edition, Jim Cooling
- Real-time Operating Systems: Book 1 - The Theory (The engineering of real-time embedded systems), Jim Cooling
- Real-Time Embedded Systems Fundamentals, Tom Sheppard
- Real-Time Systems Design and Analysis: Tools for the Practitioner, Phillip A. Laplante
- Preemptive Kernel Development with Task Management and Switch Based on Priority, Yankee Bush Software LLC
- Real-time Systems Scheduling 1: Fundamentals (Networks and Telecommunications), Chetto
- Real-time Systems Scheduling 2: Focuses (Networks and Telecommunications Series), Chetto
- Real-Time Analytics: Techniques to Analyze and Visualize Streaming Data, Byron Ellis
- The Official Ubuntu Server Book, Kyle Rankin
- Ubuntu Unleashed 2014 Edition: Covering 13.10 and 14.04, Matthew Helmke
- Advanced Windows Debugging, Mario Hewardt
Formal Science . Computer Science . Computer Applications . Enterprise Resource Planning
- Modeling Business Processes: A Petri Net-Oriented Approach (Information Systems), Wil van der Aalst
- Process Mining: Discovery, Conformance and Enhancement of Business Processes, van der Aalst
- Supply Chain Management (4th Edition), Sunil Chopra
- Enterprise Resource Planning, Bret Wagner
- Essentials of Business Processes and Information Systems, Simha R. Magal
- Accounting Information Systems, James A. Hall
Formal Science . Computer Science . Theoretical Computer Science . Data Structures and Algorithms
- The Art of Computer Programming: Volume 3: Sorting and Searching, Donald E. Knuth
- The Art of Computer Programming, Volume 1, Fascicle 1: MMIX -- A RISC Computer for the New Millennium, Donald E. Knuth
- The Art of Computer Programming, Volume 4A: Combinatorial Algorithms, Part 1, Donald E. Knuth
- Art of Computer Programming, Volume 2: Seminumerical Algorithms, Donald E. Knuth
- The Art of Computer Programming: Volume 1: Fundamental Algorithms, Donald E. Knuth
- The Boost C++ Libraries, Boris Schäling
- Effective STL: 50 Specific Ways to Improve Your Use of the Standard Template Library (Addison-Wesley Professional Computing Series), Scott Meyers
- The Algorithm Design Manual, Steven S Skiena
- Introduction to Algorithms (The MIT Press), Thomas H. Cormen
Formal Science . Computer Science . Theoretical Computer Science . Information Theory
- An Introduction to Information Theory: Symbols, Signals and Noise (Dover Books on Mathematics), John R. Pierce
- Advanced Topics in Information Retrieval (The Information Retrieval Series Book 33), Melucci
Formal Science . Computer Science , Software Engineering
- HTML & XHTML: The Definitive Guide: The Definitive Guide (Definitive Guides), Chuck Musciano
- Developing Web Widget with HTML, CSS, JSON and AJAX, Rajesh Lal