FREE SHIPPING OVER $100

To any Australian address

AUSTRALIAN OWNED & OPERATED

Supporting local authors, readers and publishers

Computer architecture and logic design Books

Assembly languages

Parallel processing

Add to Cart The item has been added

Prospects for Hardware Foundations

Preface VI I X Table of Contents B. Möller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 1-26, 1998. Springer-Verlag Berlin Heidelberg 1998 2 The NADA Group Introduction:...

RRP:

$92.00

Add to Cart The item has been added
Add to Cart The item has been added

Compositionality

This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the...

RRP:

$227.00

Add to Cart The item has been added
Add to Cart The item has been added

Computing in Object-Oriented Parallel Environments

This volume contains the Proceedings of the International Symposium on C- puting in Object-Oriented Parallel Environments (ISCOPE '98), held at Santa 1 Fe, New Mexico, USA on December 8{11, 1998...

RRP:

$92.00

Add to Cart The item has been added
Add to Cart The item has been added

Principles of Declarative Programming

This book constitutes the refereed proceedings of the 10th International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP'98, held jointly with the 6th International...

RRP:

$122.00

Add to Cart The item has been added
Add to Cart The item has been added

Architecture Design and Validation Methods

RRP:

$122.00

Add to Cart The item has been added
Add to Cart The item has been added

Neural Circuits and Networks

The understanding of parallel processing and of the mechanisms underlying neural networks in the brain is certainly one of the most challenging problems of contemporary science. During the last...

RRP:

$227.00

Add to Cart The item has been added
Add to Cart The item has been added

Principles and Practice of Constraint Programming - CP98

Constraints have emerged as the basis of a representational and computational paradigm that draws from many disciplines and can be brought to bear on many problem domains. This volume contains papers...

RRP:

$227.00

Add to Cart The item has been added
Add to Cart The item has been added

Optimal Interprocedural Program Optimization

Starting from the intraprocedural basic case, this monograph focuses on interprocedural optimization. It emphasizes the analogies and essential differences between intraprocedural and interprocedural...

RRP:

$116.00

Add to Cart The item has been added
Add to Cart The item has been added

Parallel Problem Solving from Nature - PPSN V

This book constitutes the refereed proceedings of the 5th International Conference on Parallel Problem Solving from Nature, PPSN V, held in Amsterdam, The Netherlands, in September 1998.The 101...

RRP:

$324.00

Add to Cart The item has been added
Add to Cart The item has been added

Field-Programmable Logic and Applications. From FPGAs to Computing Paradigm

This book constitutes the refereed proceedings of the 8th International Workshop on Field-Programmable Logics and Applications, FPL '98, held in Tallinn, Estonia, in August/September 1998.The 39...

RRP:

$92.00

Add to Cart The item has been added
Add to Cart The item has been added

CONCUR '98 Concurrency Theory

This book constitutes the refereed proceedings of the 9th International Conference on Concurrency Theory, CONCUR'98, held in Nice, France, in September 1998.The 35 revised full papers presented were ...

RRP:

$184.00

Add to Cart The item has been added
Add to Cart The item has been added

ECOOP '98 - Object-Oriented Programming

This book constitutes the refereed proceedings of the 12th European Conference on Object-Oriented Programming, ECOOP'98, held in Brussels, Belgium, in July 1998.The book presents 24 revised full...

RRP:

$220.00

Add to Cart The item has been added
Add to Cart The item has been added

Application and Theory of Petri Nets 1998

This volume contains the proceedings of the 19th annual International Conference on Application and Theory of Petri Nets. The aim of the Petri net conference is to create a forum for the...

RRP:

$92.00

Add to Cart The item has been added
Add to Cart The item has been added

Many-Valued Logics 2

Many-valued logics are becoming increasingly important in all areas of computer science. This is the second volume of an authoritative two-volume handbook on many valued logics by two leading figures...

RRP:

$92.00

Add to Cart The item has been added
Add to Cart The item has been added

Adaptive Processing of Sequences and Data Structures

This book is devoted to adaptive processing of structured information similar to flexible and intelligent information processing by humans - in contrast to merely sequential processing of...

RRP:

$92.00

Add to Cart The item has been added
Add to Cart The item has been added

Intelligent Agents IV

This carefully edited book constitutes the strictly refereed post-workshop proceedings of the 4th International Workshop on Agent Theories, Architectures, and Languages, ATAL'97, held in Providence,...

RRP:

$122.00

Add to Cart The item has been added
Add to Cart The item has been added

B'98

This book presents the refereed proceedings of the Second International B Conference, B'98, held in Montpellier, France, in April 1998.The book presents 15 revised full papers selected from 29...

RRP:

$122.00

Add to Cart The item has been added
Add to Cart The item has been added

Semantics in Databases

This book presents a coherent suvey on exciting developments in database semantics. The origins of the volume date back to a workshop held in Prague, Czech Republic, in 1995. The nine revised full...

RRP:

$92.00

Add to Cart The item has been added
Add to Cart The item has been added

Principles and Practice of Constraint Programming - CP97

This book constitutes the refereed proceedings of the Third International Conference on Principles and Practice of Constraint Programming, CP'97, held in Linz, Austria in October/November 1997.The...

RRP:

$184.00

Add to Cart The item has been added
Add to Cart The item has been added

FME '97 Industrial Applications and Strengthened Foundations of Formal Methods

This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Strengthened Foundations of Formal Methods ,...

RRP:

$227.00

Add to Cart The item has been added
Add to Cart The item has been added

STACS 91

RRP:

$184.00

Add to Cart The item has been added
Add to Cart The item has been added

Logics in AI

The European Workshop on Logics in Artificial Intelligence was held at the Centre for Mathematics and Computer Science in Amsterdam, September 10-14, 1990. This volume includes the 29 papers selected...

RRP:

$227.00

Add to Cart The item has been added
Add to Cart The item has been added

Extensions of Logic Programming

This volume contains finalized versions of papers presented at an international workshop on extensions of logic programming, held at the Seminar for Natural Language Systems at the University of...

RRP:

$122.00

Add to Cart The item has been added
Add to Cart The item has been added

Advances in Computer Graphics Hardware III

This book is a collection of the finalized versions of the papers presented at the third Eurographics Workshop on Graphics Hardware. The diversity of the contributions reflects the widening range of...

RRP:

$227.00

Add to Cart The item has been added
Add to Cart The item has been added

Advanced Algorithms and Architectures for Speech Understanding

This book is intended to give an overview of the major results achieved in the field of natural speech understanding inside ESPRIT Project P. 26, "Advanced Algorithms and Architectures for Speech and...

RRP:

$184.00

Add to Cart The item has been added
Add to Cart The item has been added

Supercomputer and Chemistry

RRP:

$220.00

Add to Cart The item has been added
Add to Cart The item has been added

Programming Language Implementation and Logic Programming

This volume consists of the papers accepted for presentation at the second international workshop on Programming Language Implementation and Logic Programming (PLILP '90) held in Linköping, Sweden,...

RRP:

$122.00

Add to Cart The item has been added
Add to Cart The item has been added

On the Shape of Mathematical Arguments

This book deals with the presentation and systematic design of mathematical proofs, including correctness proofs of algorithms. Its purpose is to show how completeness of argument, an important...

RRP:

$122.00

Add to Cart The item has been added
Add to Cart The item has been added

Parallel Lisp

This volume presents the proceedings of a workshop at which major Parallel Lisp activities in the US and Japan were explained. Work covered includes Multilisp and Mul-T at MIT, Qlisp at Stanford,...

RRP:

$122.00

Add to Cart The item has been added
Add to Cart The item has been added

Termination Proofs for Logic Programs

Termination proofs constitute a crucial part of program verification. Much research about termination has been done in the context of term rewriting systems. But until now there was little hope that...

RRP:

$122.00

Add to Cart The item has been added
Add to Cart The item has been added

CSL '89

This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 2-6, 1989. These proceedings cover a wide range...

RRP:

$116.00

Add to Cart The item has been added
Add to Cart The item has been added

Stepwise Refinement of Distributed Systems

The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct development steps, and ends with an...

RRP:

$220.00

Add to Cart The item has been added
Add to Cart The item has been added

VDM '90. VDM and Z - Formal Methods in Software Development

The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering, Z refers to Zermelo, a mathematician whose...

RRP:

$116.00

Add to Cart The item has been added
Add to Cart The item has been added

Advances in Petri Nets 1989

RRP:

$116.00

Add to Cart The item has been added
Add to Cart The item has been added

LOGLAN '88 - Report on the Programming Language

LOGLAN '88 belongs to the family of object oriented programming languages. It embraces all important known tools and characteristics of OOP, i.e. classes, objects, inheritance, coroutine sequencing, ...

RRP:

$122.00

Add to Cart The item has been added
Add to Cart The item has been added

STACS 90

The Symposium on Theoretical Aspects of Computer Science is organized jointly by the Special Interest Group for Applied Mathematics of AFCET (Association Française de Cybernétique Economique et...

RRP:

$92.00

Add to Cart The item has been added
Add to Cart The item has been added

Automatic Verification Methods for Finite State Systems

This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of finite state systems. The workshop brought...

RRP:

$122.00

Add to Cart The item has been added
Add to Cart The item has been added

Concepts, Design, and Performance Analysis of a Parallel Prolog Machine

This monograph presents a novel execution model for the parallel execution of standard sequential Prolog. In this execution model Prolog procedure calls can be efficiently pipelined, and the author...

RRP:

$92.00

Add to Cart The item has been added
Add to Cart The item has been added

Fundamentals of Algebraic Specification 2

Since the early seventies concepts of specification have become central in the whole area of computer science. Especially algebraic specification techniques for abstract data types and software...

RRP:

$92.00

Add to Cart The item has been added
Add to Cart The item has been added

Temporal Logic in Specification

RRP:

$116.00

Add to Cart The item has been added
Add to Cart The item has been added

Analogical and Inductive Inference

RRP:

$122.00

Add to Cart The item has been added
Add to Cart The item has been added

Categorical Methods in Computer Science

This volume contains selected papers of the International Workshop on "Categorical Methods in Computer Science - with Aspects from Topology" and of the "6th International Data Type Workshop" held in...

RRP:

$122.00

Add to Cart The item has been added
Add to Cart The item has been added

Numerical Analysis and Parallel Processing

Each week of this three week meeting was a self-contained event, although each had the same underlying theme - the effect of parallel processing on numerical analysis. Each week provided the...

RRP:

$65.00

Add to Cart The item has been added
Add to Cart The item has been added

Fehlertolerierende Rechensysteme / Fault-tolerant Computing Systems

RRP:

$227.00

Add to Cart The item has been added
Add to Cart The item has been added

CSL'88

This volume contains the papers which were presented at the second workshop "Computer Science Logic" held in Duisburg, FRG, October 3-7, 1988. These proceedings cover a wide range of topics both from...

RRP:

$122.00

Add to Cart The item has been added
Add to Cart The item has been added

Algebraic Methods

RRP:

$184.00

Add to Cart The item has been added
Add to Cart The item has been added

Category Theory and Computer Science

RRP:

$115.00

Add to Cart The item has been added
Add to Cart The item has been added

Parallel Computing 1988

Parallel computing research is now yielding a growing stream of results, and the first applications within Shell may be expected to be delivered within a few years. The aim of this conference on...

RRP:

$122.00

Add to Cart The item has been added

Items 241 to 288 of 897 total

1
2
3
4
5
6
7
8
9
10
11

Computer architecture and logic design

PRE-SALES

If you have any questions before making a purchase chat with our online operators to get more information.

or find our Questions & Answers

AFTER-SALES

If you have need any help about the After-Sales issues, please contact us.

New Releases
For Dummies
School Textbooks And Teacher Resources
Lonely Planet
Star Wars
Minecraft
ADHD Books
Pokemon Books And Graphic Novels
Little Golden Books
How To Draw
Peppa Pig
Children's Activity books
Bluey
Trending Books
Kids Easter Books
Apple Park
Bigjigs
Peter Rabbit
Australian
ABIA award winners
Harry Potter
Alex Cross
Grug