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 |
Data Compression Is Mandatory To Manage Massive Datasets, Indexing Is Fundamental To Query Them. 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
Proof And Computation
(Engels )
| Beschikbaar: | Uitverkocht |
|---|---|
| Prijs: | € 120,35 (onder voorbehoud) |
| 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
9
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 |
To Mark That Occasion, On August 22, 2010,a Symposium Was Held In Brno, The Czech Republic, As A Sat- Lite Event Of The 35th International Symposium On Mathematical Foundations Of Computer Science (mfcs 2010) And Of The 19th Eacsl Annual Conference On Computer Science Logic (csl 2010). Lees verder
10
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
11
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
12
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
13
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
14
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
15
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
16
Elementary Logic
For Software Development
(Engels )
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 45,85 |
| Genre: | Theoretische informatica |
This Book Teaches Readers How To Better Reason About Software Development, To Communicate Reasoning, To Distinguish Between Good And Bad Reasoning, And To Read Professional Literature That Presumes Knowledge Of Elementary Logic. Lees verder
17
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
18
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
19
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
20
Modelling Distributed Systems
(Engels , Gebonden)
| Levertijd: | 3 tot 4 werkdagen |
|---|---|
| Prijs: | € 63,50 |
| 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
21
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
22
Field Programmable Logic And Applications
13th Internatonal Conference, Fpl 2003, Lisbon, Portugal, September 1-3, 2003 : Proceedings
(Engels , Paperback, 01-10-2003)
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 113,50 |
| Genre: | Theoretische informatica |
This book contains the papers presented at the 13th International Workshop on Field Programmable Logic and Applications (FPL) held on September 1-3, 2003. The conference was hosted by the Institute for Systems and Computer Engineering-Research and Development of Lisbon (INESC-ID) and the Depa- ment ... Lees verder
23
Foundations Of Information And Knowledge Systems
4th International Symposium, Foiks 2006, Budapest, Hungary, February 14-17, 2006, Proceedings
(Engels )
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 80,25 |
| Genre: | Theoretische informatica |
This Book Constitutes The Refereed Proceedings Of The 4th International Symposium On Foundations Of Information And Knowledge Systems, Held In February 2006. Lees verder
