Verfijnen
1
Maximum Consensus Problem
Recent Algorithmic Advances
(Engels )
| Beschikbaar: | Printing on demand |
|---|---|
| Prijs: | € 94,25 (onder voorbehoud) |
| Genre: | Theoretische informatica |
The Maximum Consensus Problem Refers To The Problem Of Optimizing The Quantity Of Interest According To The Maximum Consensus Criterion. This Book Provides An Overview Of The Algorithms For Performing This Optimization. The Emphasis Is On The Basic Operation Or "inner Workings" Of The Algorithms, An... Lees verder
2
Recent Developments In Intelligent Nature-inspired Computing
(Engels , Gebonden)
| Beschikbaar: | Printing on demand |
|---|---|
| Prijs: | € 183,50 (onder voorbehoud) |
| Genre: | Theoretische informatica |
Presents The Latest Scholarly Material On Natural Computation Methods And Applications In Diverse Fields. Highlighting Multidisciplinary Studies On Swarm Intelligence, Global Optimization, And Group Technology, This Publication Is An Ideal Reference Source For Professionals, Researchers, Scholars, A... Lees verder
3
Numbers And Computers
(Engels , Gebonden)
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 76,80 |
| Genre: | Theoretische informatica |
This Is A Book About Numbers And How Those Numbers Are Represented In And Operated On By Computers. Lees verder
4
Latest Advances In Inductive Logic Programming
(Engels , Gebonden)
| Levertijd: | 5 tot 15 werkdagen |
|---|---|
| Prijs: | € 99,95 |
| Genre: | Theoretische informatica |
This Book Represents A Selection Of Papers Presented At The Inductive Logic Programming (ilp) Workshop Held At Cumberland Lodge, Great Windsor Park. Lees verder
5
Logic In Games
(Engels , Gebonden)
| Levertijd: | 8 tot 12 werkdagen |
|---|---|
| Prijs: | € 62,15 |
| Genre: | Theoretische informatica |
A Comprehensive Examination Of The Interfaces Of Logic, Computer Science, And Game Theory, Drawing On Twenty Years Of Research On Logic And Games. Lees verder
6
Compressed Data Structures For Strings
On Searching And Extracting Strings From Compressed Textual Data
(Engels , Gebonden)
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 97,45 |
| Genre: | Theoretische informatica |
This Volume Tackles The Conflicting Requirements Of Data Compression And Indexing In Massive Datasets, By Using Optimization Techniques To Improve Compression And Reconfiguring Data Structure To Increase The Efficiency, And Speed, Of Pattern-matching Queries. Lees verder
7
Modelling Computer Systems
The Mathematics of Computer Science
(Engels , Paperback)
| Levertijd: | 5 tot 15 werkdagen |
|---|---|
| Prijs: | € 57,95 |
| Genre: | Theoretische informatica |
Modelling Computer Systems Lees verder
8
Digital Design And Computer Architecture
(Engels )
| Levertijd: | 3 tot 4 werkdagen |
|---|---|
| Prijs: | € 81,90 |
| Genre: | Theoretische informatica |
Provides Practical Examples Of How To Interface With Peripherals Using Rs232, Spi, Motor Control, Interrupts, Wireless, And Analog-to-digital Conversion. This Book Covers The Fundamentals Of Digital Logic Design And Reinforces Logic Concepts Through The Design Of A Mips Microprocessor. Lees verder
9
Fault Diagnosis And Fault Tolerance
A Systematic Approach To Special Topics
(Engels )
| Levertijd: | 12 tot 15 werkdagen |
|---|---|
| Prijs: | € 121,60 |
| Genre: | Theoretische informatica |
With The Rapid Growth Of Integration Scale Of Vlsi Chips And The Present Need For Reliable Computers In Space Exploration, Fault Diagnosis And Fault Toleran- Ce Have Become More Important Than Before, And Hence Reveal A Lot Of Interest- Ing Topics Which Attract Many Researchers To Make A Great Numbe... Lees verder
10
Proof And Computation
(Engels )
| Levertijd: | 12 tot 15 werkdagen |
|---|---|
| Prijs: | € 143,65 |
| Genre: | Theoretische informatica |
Proceedings Of The Nato Advanced Study Institute On Proof And Computation, Held In Marktoberdorf, Germany, July 20 - August 1, 1993 Lees verder
11
Fields Of Logic And Computation
Essays Dedicated To Yuri Gurevich On The Occasion Of His 70th Birthday
(Engels )
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 120,35 |
| Genre: | Theoretische informatica |
This Festschrift Volume, Published In Honor Of Yuri Gurevich On The Occasion Of His 70th Birthday, Contains Contributions Written By His Colleagues. The Articles Cover A Range Of Topics - Representing Only A Fraction Of Gurevich's Multiple Areas Of Interest. Lees verder
12
Unifying Theories Of Programming
Second International Symposium, Utp 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
(Engels )
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 80,25 |
| Genre: | Theoretische informatica |
Constitutes The Post-proceedings Of The Second International Symposium On Unifying Theories Of Programming, Utp 2008, Held At Trinity College, Dublin, Ireland, In September 2008. These Papers Reaffirm The Significance Of The Ongoing Utp Project And Encourage Efforts To Advance It By Providing A Focu... Lees verder
13
Interactive Theorem Proving
First International Conference, Itp 2010 Edinburgh, Uk, July 11-14, 2010, Proceedings
(Engels )
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 120,35 |
| Genre: | Theoretische informatica |
Constitutes The Proceedings Of The First International Conference On Interactive Theorem Proving, Itp 2010, Held In Edinburgh, Uk, In July 2010. This Title Features The Papers That Are Organized In Topics Such As Counterexample Generation, Hybrid System Verification, Translations From One Formalism ... Lees verder
14
Computer Aided Verification
22nd International Conference, Cav 2010, Edinburgh, Uk, July 15-19, 2010, Proceedings
(Engels )
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 137,55 |
| Genre: | Theoretische informatica |
Constitutes The Refereed Proceedings Of The 22nd International Conference On Computer Aided Verification, Cav 2010, Held In Edinburgh, Uk, In July 2010 As Part Of The Federated Logic Conference, Floc 2010. Lees verder
15
Unfoldings
A Partial-order Approach To Model Checking
(Engels , Gebonden)
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 120,35 |
| Genre: | Theoretische informatica |
In This Book The Authors Introduce Unfoldings, An Approach To Model Checking Which Alleviates The State Explosion Problem By Means Of Concurrency Theory. Lees verder
16
Mathematics Of Program Construction
10th International Conference, Mpc 2010, Quebec City, Canada, June 21-23, 2010, Proceedings
(Engels )
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 103,15 |
| Genre: | Theoretische informatica |
Constitutes The Refereed Proceedings Of The 10th International Conference On Mathematics Of Program Construction, Mpc 2010, Held In Quebec City, Canada In June 2010. In This Book, The 19 Revised Full Papers Presented Together With 1 Invited Talk And The Abstracts Of 2 Invited Talks Were Carefully Re... Lees verder
17
Cultural Logic Of Computation
(Engels , Gebonden)
| Levertijd: | 8 tot 12 werkdagen |
|---|---|
| Prijs: | € 36,75 |
| Genre: | Theoretische informatica |
Golumbia, Who Worked As A Software Designer For More Than Ten Years, Argues That Computers Are Cultural "all The Way Down"-that There Is No Part Of The Apparent Technological Transformation That Is Not Shaped By Historical And Cultural Processes, Or That Escapes Existing Cultural Politics. Lees verder
18
Elementary Logic
For Software Development
(Engels )
| Levertijd: | 12 tot 15 werkdagen |
|---|---|
| Prijs: | € 45,70 |
| Genre: | Theoretische informatica |
This Book Teaches Readers How To Better Reason About Software Development. It Teaches How To Communicate Reasoning, To Distinguish Between Good And Bad Reasoning, And To Read Professional Literature That Presumes Knowledge Of Elementary Logic. Lees verder
19
Computer Aided Verification
20th International Conference, Cav 2008 Princeton, Nj, Usa, July 7-14, 2008, Proceedings
(Engels )
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 99,75 |
| Genre: | Theoretische informatica |
Constitutes The Refereed Proceedings Of The 20th International Conference On Computer Aided Verification, Cav 2008, Held In Princeton, Nj, Usa, In July 2008. This Book Features 33 Revised Full Papers Presented Together With 14 Tool Papers And 2 Invited Papers And 4 Invited Tutorials. Lees verder
20
Integrated Formal Methods
6th International Conference, Ifm 2007, Oxford, Uk, July 2-5, 2007, Proceedings
(Engels )
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 131,85 |
| Genre: | Theoretische informatica |
It Addresses All Aspects Of Formal Methods Integration, Including Of A Process Of Analysis Or Design Application Of Formal Methods To Analysis Or Design, Extension Of One Method Based Upon The Inclusion Of Ideas Or Concepts From Others, And Semantic Integration Or Practical Application. Lees verder
21
Algebraic Biology
Second International Conference, Ab 2007, Castle Of Hagenberg, Austria, July 2-4, 2007, Proceedings
(Engels )
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 85,95 |
| Genre: | Theoretische informatica |
This Volume Constitutes The Refereed Proceedings Of The Second International Conference On Algebraic Biology. The Conference Served As An Interdisciplinary Forum For The Presentation Of Research On All Aspects Of The Application Of Symbolic Computation In Biology, Including Computer Algebra, Computa... Lees verder
22
Modelling Distributed Systems
(Engels , Gebonden)
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 65,30 |
| Genre: | Theoretische informatica |
Guides students through algebraic specification and verification of distributed systems, and some of the formal verification techniques. This book employs [mu]CRL as the vehicle, a language developed to combine process algebra and abstract data types. Lees verder
23
Fme 2003
Formal Methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : Proceedings
(Engels , Paperback, 01-10-2003)
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 149,05 |
| Genre: | Theoretische informatica |
ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8-14, 2003. Formal Methods Europe (FME, www. fmeurope. org) is an independent - sociation which aims to stimulate the use of and research on formal methods for syst... Lees verder
