Programming

Genetic Programming II extends the results of John Koza's ground-breaking work on programming by means of natural selection, described in his first book, Genetic Programming. Using a hierarchical appr

This book gives a tutorial overview of Goedel, presents example programs, provides a formal definition of the syntax and semantics of the language, and covers background material on logic.Goedel is a

This collection of research provides a survey of developments at the leading edge of concurrent object-oriented programming. It documents progress - from general concepts to specific descriptions - in

Numbers are part of our everyday experience and their properties have fascinated mankind since ancient times. Deciding whether a number is prime and if not, what its factors are, are both fundamental problems. In recent years analysis and solution of these problems have assumed commercial significance since large primes are an essential feature of secure methods of information transmission. The purely mathematical fascination that led to the development of methods for primality testing has been supplemented by the need to test within reasonable timescales, and computational methods have entered at all levels of number theory. In this book, Peter Giblin describes, in the context of an introduction to the theory of numbers, some of the more elementary methods for factorization and primality testing; that is, methods independent of a knowledge of other areas of mathematics. Indeed everything is developed from scratch so the mathematical prerequisites are minimal. An essential feature of t

Programming by demonstration (PBD) is a remarkable method that allows end users to create, customize, and extend programs by demonstrating what the program should do. This volume, which grew out of a

This book presents an elementary introduction to the theoryof oriented matroids. The way oriented matroids are intro-duced emphasizes that they are the most general - and hencesimplest - structu

Here is an introduction to functional programming and its associated systems. A unique feature is its use of the language Haskell for teaching both the rudiments and the finer points of the functional technique. Haskell is a new, internationally agreed and accepted functional language that is designed for teaching, research and applications, that has a complete formal description, that is freely available, and that is based on ideas that have a wide consensus. Thus it encapsulates some of the main thrusts of functional programming itself, which is a style of programming designed to confront the software crisis directly. Programs written in functional languages can be built up from smaller parts, and they can also be proved correct, important when software has to be reliable. Moreover, a certain amount of parallelism can be extracted from functional languages automatically. This book serves as an introduction both to functional programming and Haskell, and will be most useful to student

Artificial intelligence research has thrived in the years since this best-selling AI classic was first published. The revision encompasses these advances by adapting its coding to Common Lisp, the wel

Learning basic logic and fundamental programming techniques are essential for new programmers to succeed. A distinctive fundamentals-first approach and clear, concise writing style characterize this u

Dale (University of Texas) and Weems (University of Massachusetts) introduce C++, object-oriented programming, and software development in this text for undergraduates. The text covers many topics onc

Swift Game Programming for Absolute Beginners teaches Apple’s Swift language in the context of four, fun and colorful games. Learn the Swift 2.0 language, and learn to create game apps for iOS at the

本書主要是給讀者熟悉使用Ameba RTL8195AM偵測各類有害氣體之氣體模組的介紹、使用方式、電路連接範例等等。Ameba RTL8195AM開發板最強大的不只是它的簡單易學的開發工具，最強大的是它網路功能與簡單易學的模組函式庫，幾乎Maker想到應用於物聯網開發的東西，只要透過眾多的周邊模組，都可以輕易的將想要完成的東西用堆積木的方式快速建立，而且Ameba RTL8195AM開發板市售價格比原廠Arduino Yun或Arduino + Wifi Shield更具優勢，最強大的是這些周邊模組對應的函式庫，瑞昱科技有專職的研發人員不斷的支持，讓Maker不需要具有深厚的電子、電機與電路能力，就可以輕易駕御這些模組。