results
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (MIT Press)
Author: lengen

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (MIT Press) by Adam Chlipala
English | Dec. 6, 2013 | ISBN: 0262026651 | 369 Pages | PDF | 4 MB

The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineering. This book provides an introduction to the Coq software for writing and checking mathematical proofs. It takes a practical engineering focus throughout, emphasizing techniques that will help users to build, understand, and maintain large Coq developments and minimize the cost of code change over time. Details
Programming Clojure (Pragmatic Programmers) by Stuart Halloway (Repost)
Author: thingska

Programming Clojure (Pragmatic Programmers) by Stuart Halloway
English | June 7, 2009 | ISBN: 1934356336 | 304 Pages | PDF | 1.6 MB
Details
Understanding Pragmatic Markers: A Variational Pragmatic Approach
Author: ksveta6

Understanding Pragmatic Markers: A Variational Pragmatic Approach by Karin Aijmer
2013 | ISBN: 0748635491, 0748635505 | English | 203 pages | PDF | 2 MB
Details
Pragmatic Ajax: A Web 2.0 Primer (repost)
Author: karapuzik

Pragmatic Ajax: A Web 2.0 Primer
304 pages | Pragmatic Bookshelf; 1 edition (April 17, 2006) | ISBN-10: 0976694085 | PDF | 2.5 Mb

It's not just another book on Ajax. It's Pragmatic Ajax: a concise, complete look at a new way of envisioning and implementing browser-based applications.

Ajax turns static web pages into interactive applications. Now you can deploy rich-client applications to clients without sacrificing the easy deployment of web applications. But to many folks, Ajax seems difficult. That's why we produced this book. As a Pragmatic guide, it strips away the mystery and shows you the easy way to make Ajax work for you.
Details
Cocoa Programming: A Quick-Start Guide for Developers (Repost)
Author: lout

Cocoa Programming: A Quick-Start Guide for Developers By Daniel H. Steinberg
Publisher: Pragmatic Bookshelf 2010 | 464 Pages | ISBN: 1934356301 | PDF | 4 MB
Details
Cocoa Programming: A Quick-Start Guide for Developers
Author: lout

Cocoa Programming: A Quick-Start Guide for Developers By Daniel H. Steinberg
Publisher: Pragmatic Bookshelf 2010 | 464 Pages | ISBN: 1934356301 | PDF | 4 MB
Details
Agile Web Development with Rails: A Pragmatic Guide
Author: Alexpal

Agile Web Development with Rails: A Pragmatic Guide (Pragmatic Programmers) by Dave Thomas, David Hansson, Leon Breedt, Mike Clark, Thomas Fuchs, Andrea Schwarz
Publisher: Pragmatic Bookshelf | Number Of Pages: 450 | Publication Date: 2005-07-15 | ISBN-10: 097669400X | PDF | 4 Mb

Rails is a full-stack, open source web framework that enables you to create full-featured, sophisticated web-based applications, but with a twist... A full Rails application probably has less total code than the XML you'd need to configure the same application in other frameworks. With this book you'll learn how to use ActiveRecord to connect business objects and database tables. No more painful object-relational mapping. Just create your business objects and let Rails do the rest. You'll learn how to use the Action Pack framework to route incoming requests and render pages using easy-to-write templates and components. See how to exploit the Rails service frameworks to send emails, implement web services, and create dynamic, user-centric web-pages using built-in Javascript and Ajax support. There are extensive chapters on testing, deployment, and scaling. You'll see how easy it is to install Rails using your web server of choice (such as Apache or lighttpd) or using its own included web server. Details
Pragmatic Unit Testing in Java with JUnit
Author: johinson
Pragmatic Unit Testing in Java with JUnit

David Thomas, «Pragmatic Unit Testing in Java with JUnit»
Pragmatic Bookshelf | ISBN: 0974514012 | 2003 | PDF | 159 pages | 1.24 MB

This book shows how to write tests, but more importantly, it goes where other books fear to tread and gives you concrete advice and examples of what to test--the common things that go wrong in all of our programs. Discover the tricky hiding places where bugs breed, and how to catch them using the freely available JUnit framework. It's easy to learn how to think of all the things in your code that are likely to break. We'll show you how with helpful mnemonics, summarized in a handy tip sheet (also available from our website) to help you remember all this stuff. Details
Programming Ruby 1.9 & 2.0: The Pragmatic Programmers' Guide (The Facets of Ruby) by Dave Thoma
Author: tanas.olesya

Programming Ruby 1.9 & 2.0: The Pragmatic Programmers' Guide (The Facets of Ruby) by Dave Thomas
English | 7 July 2013 | ISBN: 1937785491 | 985 Pages | EPUB | 3 MB

Ruby is the fastest growing and most exciting dynamic language out there. If you need to get working programs delivered fast, you should add Ruby to your toolbox. This book is the only complete reference for both Ruby 1.9 and Ruby 2.0, the very latest version of Ruby. Details
Pragmatic Unit Testing in Java 8 with JUnit
Author: nebulae

Jeff Langr and Andy Hunt, "Pragmatic Unit Testing in Java 8 with JUnit"
English | ISBN: 1941222595 | 2015 | 200 pages | PDF, EPUB, code | 5 + 4 + 48 MB
Details
Found 660 post(s)