Verfijnen
1
€ 94,25
Maximum Consensus Problem
Recent Algorithmic Advances
EngelsLevertijd: Printing on demand
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
€ 183,50
Recent Developments In Intelligent Nature-inspired Computing
Engels , GebondenLevertijd: Printing on demand
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
€ 76,80
Numbers And Computers
Engels , GebondenLevertijd: 4 tot 6 werkdagen
This Is A Book About Numbers And How Those Numbers Are Represented In And Operated On By Computers. Lees verder
4
€ 62,15
Logic In Games
Engels , GebondenLevertijd: 8 tot 12 werkdagen
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
5
€ 97,45
Compressed Data Structures For Strings
On Searching And Extracting Strings From Compressed Textual Data
Engels , GebondenLevertijd: 4 tot 6 werkdagen
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
6
€ 57,95
Modelling Computer Systems
The Mathematics of Computer Science
Engels , PaperbackLevertijd: 5 tot 15 werkdagen
Modelling Computer Systems Lees verder
7
€ 81,90
Digital Design And Computer Architecture
EngelsLevertijd: 3 tot 4 werkdagen
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
8
€ 121,60
Fault Diagnosis And Fault Tolerance
A Systematic Approach To Special Topics
EngelsLevertijd: 12 tot 15 werkdagen
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
9
€ 143,65
Proof And Computation
EngelsLevertijd: 12 tot 15 werkdagen
Proceedings Of The Nato Advanced Study Institute On Proof And Computation, Held In Marktoberdorf, Germany, July 20 - August 1, 1993 Lees verder
10
€ 120,35
Fields Of Logic And Computation
Essays Dedicated To Yuri Gurevich On The Occasion Of His 70th Birthday
EngelsLevertijd: 4 tot 6 werkdagen
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
11
€ 80,25
Unifying Theories Of Programming
Second International Symposium, Utp 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
EngelsLevertijd: 4 tot 6 werkdagen
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
12
€ 137,55
Computer Aided Verification
22nd International Conference, Cav 2010, Edinburgh, Uk, July 15-19, 2010, Proceedings
EngelsLevertijd: 4 tot 6 werkdagen
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
€ 120,35
Interactive Theorem Proving
First International Conference, Itp 2010 Edinburgh, Uk, July 11-14, 2010, Proceedings
EngelsLevertijd: 4 tot 6 werkdagen
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
€ 120,35
Unfoldings
A Partial-order Approach To Model Checking
Engels , GebondenLevertijd: 4 tot 6 werkdagen
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
15
€ 103,15
Mathematics Of Program Construction
10th International Conference, Mpc 2010, Quebec City, Canada, June 21-23, 2010, Proceedings
EngelsLevertijd: 4 tot 6 werkdagen
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
16
€ 36,75
Cultural Logic Of Computation
Engels , GebondenLevertijd: 8 tot 12 werkdagen
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
17
€ 45,70
Elementary Logic
For Software Development
EngelsLevertijd: 12 tot 15 werkdagen
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
18
€ 99,75
Computer Aided Verification
20th International Conference, Cav 2008 Princeton, Nj, Usa, July 7-14, 2008, Proceedings
EngelsLevertijd: 4 tot 6 werkdagen
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
19
€ 131,85
Integrated Formal Methods
6th International Conference, Ifm 2007, Oxford, Uk, July 2-5, 2007, Proceedings
EngelsLevertijd: 4 tot 6 werkdagen
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
20
€ 85,95
Algebraic Biology
Second International Conference, Ab 2007, Castle Of Hagenberg, Austria, July 2-4, 2007, Proceedings
EngelsLevertijd: 4 tot 6 werkdagen
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
21
€ 65,30
Modelling Distributed Systems
Engels , GebondenLevertijd: 4 tot 6 werkdagen
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
22
€ 149,05
Fme 2003
Formal Methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : Proceedings
Engels , Paperback, 01-10-2003Levertijd: 4 tot 6 werkdagen
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
23
€ 113,50
Field Programmable Logic And Applications
13th Internatonal Conference, Fpl 2003, Lisbon, Portugal, September 1-3, 2003 : Proceedings
Engels , Paperback, 01-10-2003Levertijd: 4 tot 6 werkdagen
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
