Search Results: 'Common Lisp'

Search

×
×
×
×
6 results for "Common Lisp"
On lisp By Paul Graham
eBook (PDF): $0.00
Download immediately.
(1 Ratings)
This book is available on the internet. It deals with advanced techniques for Common Lisp, and it is intended for an audience who has a medium undestanding of Common Lisp and functional programming.... More > Should you need to learn lisp from the ground, I suggest you to buy ANSI Common Lisp, from the same author.< Less
Practical Semantic Web and Linked Data Applications, Common Lisp Edition By Mark Watson
eBook (PDF): $7.00
Download immediately.
Learn to build knowledge intensive applications with Common Lisp and Semantic Web technology
Practical Semantic Web and Linked Data Applications, Common Lisp Edition By Mark Watson
Paperback: $14.00
Ships in 3-5 business days
(1 Ratings)
Learn to build knowledge intensive applications with Common Lisp and Semantic Web technology
Let Over Lambda By Doug Hoyte
Paperback: $39.95
Ships in 3-5 business days
(1 Ratings)
Let Over Lambda is one of the most hardcore computer programming books out there. Starting with the fundamentals, it describes the most advanced features of the most advanced language: Common Lisp.... More > The point of this book is to expose you to ideas you might otherwise never be exposed to. If you are looking for a dry coding manual that re-hashes common-sense techniques in whatever langue du jour, this book is not for you. This book is about pushing the boundaries of what we know about programming. While this book teaches useful skills that can help solve your programming problems today and now, it has also been designed to be entertaining and inspiring. If you have ever wondered what lisp or even programming itself is really about, this is the book you have been looking for.< Less
cl-6502: A Readable CPU Emulator By Brit Butler
Paperback: $5.00
Ships in 3-5 business days
A readable edition of the cl-6502 library with commentary. cl-6502 is an emulator for the MOS 6502 written in pure Common Lisp. A free version of the book is available at... More > http://redlinernotes.com/docs/cl-6502.pdf and the source code for the program (and book) are available at https://github.com/redline6561/cl-6502.< Less
Computer-Aided Reasoning: An Approach By Matt Kaufmann, Panagiotis Manolios, J Moore
Paperback: $22.12
Ships in 3-5 business days
Computer-Aided Reasoning: An Approach is a textbook introduction to computer-aided reasoning. It can be used in graduate and undergraduate courses on software engineering or formal methods. It is... More > also suitable in conjunction with other books in courses on hardware design, discrete mathematics, and theory. It is also appropriate as a reference for business and industry. In this book we present: * A practical functional programming language closely related to Common Lisp; * A formal logic in which defined functions correspond to axioms; * The computer-aided reasoning system ACL2, which includes mechanical support for the proof process. ACL2 is part of the Boyer-Moore family of theorem provers, for which its authors have received the 2005 ACM Software System Award. ACL2 has been successfully applied to projects of commercial interest, including hardware and software verification. Approximately 140 exercises are distributed throughout the book.< Less