Search

Search

Search Tips Tips  Advanced Search Advanced    All    Author   Title   ISBN   Keywords

Program concepts & learning to program books

135 books were found.

Systematic Program Design: from Clarity to Efficiency

Systematic Program Design: from Clarity to Efficiency...

Author: Yanhong Annie Liu
ISBN: 9781107610798
Format: Paperback
$41.30 $46.95

Describes a systematic program design method, starting with specifications of computations and deriving implementations...  Read More >>

Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges

Statistical Atlases and Computational Models of the...

Author: Oscar Camara ,  Tommaso Mansi
ISBN: 9783642369605
Format: Paperback
$100.30 $113.95

Constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Statistical...  Read More >>

Languages and Compilers for Parallel Computing

Languages and Compilers for Parallel Computing

Author: Sanjay Rajopadhye ,  Michelle Mills Strout
ISBN: 9783642360350
Format: Paperback
$87.10 $98.95

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Workshop on...  Read More >>

Systematic Program Design: From Clarity to Efficiency

Systematic Program Design: From Clarity to Efficiency...

Author: Yanhong Annie Liu
ISBN: 9781107036604
Format: Hardback
$101.20 $115.00

Describes a systematic program design method, starting with specifications of computations and deriving implementations...  Read More >>

The Language Phenomenon

The Language Phenomenon

Author: P.-M. Binder ,  K. Smith
ISBN: 9783642360855
Format: Hardback
$111.70 $126.95

Written by experts in a range of disciplines, this book explores the topic at many scales, from the function of...  Read More >>

Learn You Some Erlang for Great Good! a Beginner's Guide

Learn You Some Erlang for Great Good! a Beginner's Guide...

Author: Fred Hebert
ISBN: 9781593274351
Format: Paperback
$49.50 $55.00

Erlang is the language of choice for programmers who want to write robust, concurrent applications, but its strange...  Read More >>

Learn Lua for IOS Game Development

Learn Lua for IOS Game Development

Author: Jayant Varma
ISBN: 9781430246626
Format: Paperback
$49.35 $58.07

So you have a great game idea for iPhone or iPad, but Objective-C just seems a bit daunting. What are your alternatives?...  Read More >>

Genetic Programming Theory and Practice VIII

Genetic Programming Theory and Practice VIII

Author: Rick Riolo ,  Trent McConaghy
ISBN: 9781461427193
Format: Paperback
$122.20 $143.75

In this book, international experts examine similarities and differences between theoretical and empirical results...  Read More >>

Iterating Infusion: Clearer Views of Objects, Classes, and Systems

Iterating Infusion: Clearer Views of Objects, Classes,...

Author: Greg Anthony
ISBN: 9781430251040
Format: Paperback
$58.50 $65.00

With the idea in mind that conciseness is more compatible with memory and broadness is more compatible with understanding,...  Read More >>

Information Computing and Applications: Third International Conference, ICICA 2012, Chengde, China, September 14-16 2012 : Proceedings, Part II

Information Computing and Applications: Third International...

Author: Chunfeng Liu ,  Leizhen Wang
ISBN: 9783642340406
Format: Paperback
$168.05 $190.95

Constitutes the refereed proceedings of the Third International Conference on Information Computing and Applications,...  Read More >>

Essential Speech and Language Technology for Dutch

Essential Speech and Language Technology for Dutch

Author: Peter Spyns ,  Jan Odijk
ISBN: 9783642309090
Format: Hardback
$79.15 $89.95

This book provides an overview of more than a decade of joint R&D efforts in the Low Countries on HLT for Dutch....  Read More >>

Expert F# 3.0

Expert F# 3.0

Author: Don Syme ,  Adam Granicz
ISBN: 9781430246503
Format: Paperback
$74.65 $82.95

Expert F# 3.0 is about practical programming in a beautiful language that puts the power and elegance of data-rich...  Read More >>

The Object-Z Specification Language

The Object-Z Specification Language

Author: Graeme Smith
ISBN: 9781461374015
Format: Paperback
$393.70 $463.19

Offers a description of Object-Z including discussions of semantic issues, definitions of various language constructs,...  Read More >>

High Integrity Software

High Integrity Software

Author: Victor L. Winter ,  Sourav Bhattacharya (Computer Science & Engineering Department, Arizona State University, Tempe, USA)
ISBN: 9781461355304
Format: Paperback
$245.60 $288.95

Aims to explore a cross-section of some of the most promising areas of research in the construction of high consequence...  Read More >>

Network Computing and Information Security: Second International Conference, NCIS 2012, Shanghai, China, December 7-9, 2012, Proceedings

Network Computing and Information Security: Second International...

Author: Jingsheng Lei ,  Fu Lee Wang
ISBN: 9783642352102
Format: Paperback
$168.05 $190.95

This book constitutes the proceedings of the Second International Conference on Network Computing and Information...  Read More >>

Analog/RF and Mixed-Signal Circuit Systematic Design

Analog/RF and Mixed-Signal Circuit Systematic Design...

Author: Mourad Fakhfakh ,  Esteban Tlelo-Cuautle
ISBN: 9783642363283
Format: Hardback
$208.50 $236.95

This book details the theories, design methods, sizing techniques and applications of all kinds of analog/RF and...  Read More >>

Compositional Verification of Concurrent and Real-Time Systems

Compositional Verification of Concurrent and Real-Time...

Author: Eric Y.T. Juan ,  Jeffrey J.P. Tsai
ISBN: 9781461353492
Format: Paperback
$208.60 $245.39

Introduces important modeling and formal verification techniques for verifying the reliability and correctness of...  Read More >>

Mobile Computation with Functions

Mobile Computation with Functions

Author: Zeliha Dilsun Kirli
ISBN: 9781461353485
Format: Paperback
$171.55 $201.83

Functions that represent mobile agents and formal systems for reasoning about functional programs can be exploited...  Read More >>

Beginning R: an Introduction to Statistical Programming

Beginning R: an Introduction to Statistical Programming...

Author: Larry Pace
ISBN: 9781430245544
Format: Paperback
$43.15 $47.95

Beginning R: An Introduction to Statistical Programming is a hands-on book showing how to use the R language, write...  Read More >>

Computer-Aided Reasoning

Computer-Aided Reasoning

Author: Matt Kaufmann ,  Panagiotis Manolios
ISBN: 9781461370031
Format: Paperback
$406.05 $477.71

Computer-Aided Reasoning: An Approach is a textbook introduction to computer-aided reasoning. It can be used in...  Read More >>

Logics for Emerging Applications of Databases

Logics for Emerging Applications of Databases

Author: Jan Chomicki ,  Ron Van Der Meyden
ISBN: 9783642622489
Format: Paperback
$139.90 $158.95

Logic provides a rich set of tools and techniques with which to address the questions of how to represent, query...  Read More >>

Formal Equivalence Checking and Design Debugging

Formal Equivalence Checking and Design Debugging

Author: Shi-Yu Huang ,  Kwang-Ting Cheng
ISBN: 9781461376064
Format: Paperback
$224.35 $254.95

Covers the topics of logic equivalence checking and design debugging in design verification. This book reviews the...  Read More >>

Understanding High-dimensional Spaces

Understanding High-dimensional Spaces

Author: David B. Skillicorn
ISBN: 9783642333972
Format: Paperback
$64.20 $72.95

This book proposes new ways of thinking about high-dimensional spaces using two models: the skeleton that relates...  Read More >>

Computational Intelligence and Intelligent Systems: 6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012, Proceedings

Computational Intelligence and Intelligent Systems:...

Author: Zhenhua Li ,  Xiang Li
ISBN: 9783642342882
Format: Paperback
$142.50 $161.95

This book constitutes the refereed proceedings of the 6th International Symposium on Intelligence Computation and...  Read More >>

A Unified Approach for Timing Verification and Delay Fault Testing

A Unified Approach for Timing Verification and Delay...

Author: Mukund Sivaraman ,  Andrzej J. Strojwas
ISBN: 9781461346395
Format: Paperback
$214.70 $243.95

This text applies concepts developed in the context of delay fault testing to path sensitization, which allows an...  Read More >>

Featured Categories

BR Top 10 Fiction

BR Top 10 Non-Fiction

Categories
Gift Certificate
LAWBOOKS
university bookshop
MEDICAL BOOKSTORE
    Bolinda Audio Books film POPULAR PENGUIN

Puffin Classics

Specials
Newsletter Sign-Up

Sign up for the Between Reads newsletter


Visit our Twitter page
Visit our Facebook page
Payment Methods