Related Books

Specification and Transformation of Programs
Language: en
Pages: 508
Authors: Helmut A. Partsch
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

"Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved,
Automated Planning
Language: en
Pages: 665
Authors: Malik Ghallab
Categories: Business & Economics
Type: BOOK - Published: 2004-05-03 - Publisher: Elsevier

DOWNLOAD EBOOK

Publisher Description
MathLink ® Hardback with CD-ROM
Language: en
Pages: 282
Authors: Chikara Miyaji
Categories: Computers
Type: BOOK - Published: 2001-07-30 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

This book introduces the basic concepts of MathLink and explains how to extend Mathematica using MathLink. Miyaji and Abbott show how to write Mathlink programs
REC-ERC.
Language: en
Pages: 656
Authors: Engineering and Research Center (U.S.)
Categories:
Type: BOOK - Published: 1979 - Publisher:

DOWNLOAD EBOOK

Computation Structures
Language: en
Pages: 826
Authors: Stephen A. Ward
Categories: Computers
Type: BOOK - Published: 1990 - Publisher: MIT Press

DOWNLOAD EBOOK

Computer Systems Organization -- general.