Title: Type Theory and Formal Proof: An Introduction, Author: Rob Nederpelt
Title: Turtles, Termites, and Traffic Jams: Explorations in Massively Parallel Microworlds / Edition 1, Author: Mitchel Resnick
Title: The Rails 5 Way / Edition 4, Author: Obie Fernandez
Title: The Haskell School of Music: From Signals to Symphonies, Author: Paul Hudak
Title: The Craft of Prolog, Author: Richard O'Keefe
Title: Term Rewriting and All That, Author: Franz Baader
Title: Temporal Logics in Computer Science: Finite-State Systems, Author: Stéphane Demri
Title: Systematic Program Design: From Clarity to Efficiency, Author: Yanhong Annie Liu
Title: Speech and Language Processing for Human-Machine Communications: Proceedings of CSI 2015, Author: S. S. Agrawal
Title: Software Engineering with UML / Edition 1, Author: Bhuvan Unhelkar
Title: Software Engineering Measurement / Edition 1, Author: Ph.D.
Title: Software Configuration Management Handbook, Third Edition / Edition 3, Author: Alexis Leon
Title: SOA and Web Services Interface Design: Principles, Techniques, and Standards, Author: James Bean
Title: Smart Computing with Open Source Platforms / Edition 1, Author: Amartya Mukherjee
Title: Smart Computing with Open Source Platforms / Edition 1, Author: Amartya Mukherjee
Title: Ruby on Rails Tutorial: Learn Web Development with Rails / Edition 4, Author: Michael Hartl
Title: Real-Time Web Application Development: With ASP.NET Core, SignalR, Docker, and Azure, Author: Rami Vemula
Title: R for Statistics / Edition 1, Author: Pierre-Andre Cornillon
Title: Programming in Haskell / Edition 2, Author: Graham Hutton
Title: Program Logics for Certified Compilers, Author: Andrew W. Appel

Pagination Links