Verfijnen
Verwachte titels
1001
Out Of Their Minds
The Lives And Discoveries Of 15 Great Computer Scientists
(Engels )
| Levertijd: | 3 tot 4 werkdagen |
|---|---|
| Prijs: | € 23,05 |
| Genre: | Informatiekunde |
Profiles the work of 15 scientists who have made significant contributions to a part of the creation of modern computer science. Lees verder
1002
Boolean Functions And Computation Models
(Engels , Gebonden, 01-11-2002)
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 85,95 |
| Genre: | Informatiekunde |
This advanced textbook surveys research on boolean functions, circuits, parallel computation models, function algebras, and proof systems, with an overriding focus on the structure of "fast" parallel computation. Lees verder
1003
Trees in Algebra and Programming - CAAP '96
21th International Colloquium on Trees in Algebra and Programming, Linköping, Sweden, April 22-24. 1996. Proceedings
(Engels , Paperback, 01-04-1996)
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 80,25 |
| Genre: | Informatiekunde |
These Conference Proceedings Cover Such Topics As Algebraic, Logical And Combinatorial Properties Of Discrete Structures And Their Application To Computer Science, In Particular To The Theory Of Computation And Programming Theory. Lees verder
1004
Mathematical Foundations Of Computer Science 1996
21st International Symposium, Mfcs '96, Crakow, Poland, September 2-6, 1996 : Proceedings
(Engels , Paperback, 01-06-1996)
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 131,85 |
| Genre: | Informatiekunde |
This Text Presents The Proceedings Of The 21st International Symposium On Mathematical Foundations Of Computer Science, Mcfs '96. The Text Contains 35 Papers Which Outline Relevant Aspects Of Theoretical Computer Science. It Places An Emphasis On Mathematical And Logical Foundations. Lees verder
1005
Algorithms and Data Structures
2nd Workshop, WADS '91, Ottawa, Canada, August 14-16, 1991, Proceedings
(Engels , Paperback, 01-12-1995)
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 114,65 |
| Genre: | Informatiekunde |
This Volume Presents The Proceedings Of The Second Workshop On Algorithms And Data Structures (wads '91), Held In Carleton University, Canada. The Workshop Alternates With The Scandinavian Workshop On Algorithm Theory (swat). Lees verder
1006
Computable Analysis
An Introduction
(Engels , Gebonden)
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 85,95 |
| Genre: | Informatiekunde |
Merging Fundamental Concepts Of Analysis And Recursion Theory To A New Exciting Theory, This Book Provides A Solid Fundament For Studying Various Aspects Of Computability And Complexity In Analysis. Lees verder
1007
Introduction To Neuro-fuzzy Systems
(Engels )
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 114,60 |
| Genre: | Informatiekunde |
This guide introduces the basics of neuro-fuzzy systems. Its main purpose is to explain the information processing methods most widely used in fuzzy inference systems, neural networks and neuro-fuzzy systems. Diagrams and numerical exercises with solutions help explain the principles involved. Lees verder
1008
Petri Net Algebra
(Engels , Gebonden)
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 189,15 |
| Genre: | Informatiekunde |
The Reason Is That Many Commonly Occurring Phenomena And Computer Applications Are Highly Con Current : Typical Examples Include Control Systems, Computer Networks, Digital Hardware, Business Computing, And Multimedia Systems. Lees verder
1009
Advanced Symbolic Analysis For Compilers
New Techniques And Algorithms For Symbolic Program Analysis And Optimization
(Engels )
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 80,25 |
| Genre: | Informatiekunde |
The Objective Of Program Analysis Is To Automatically Determine The P- Perties Of A Program. Lees verder
1010
Petri Nets For Systems Engineering
A Guide To Modeling, Verification, And Applications
(Engels , Gebonden)
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 120,35 |
| Genre: | Informatiekunde |
Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods, based on Petri net formalisms. Lees verder
