Verfijnen
1
€ 101,40
Starting Out With Programming Logic And Design
EngelsLevertijd: 3 tot 4 werkdagen
Earlier Editions Published Under Title: Starting Out With Programming Logic & Design. Lees verder
2
€ 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
3
€ 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
4
€ 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
5
€ 102,05
Latest Advances In Inductive Logic Programming
Engels , GebondenLevertijd: 3 tot 4 werkdagen
This Book Represents A Selection Of Papers Presented At The Inductive Logic Programming (ilp) Workshop Held At Cumberland Lodge, Great Windsor Park. Lees verder
6
€ 33,75
Logic In Games
Engels , GebondenLevertijd: 3 tot 4 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
7
€ 94,50
Compressed Data Structures For Strings
On Searching And Extracting Strings From Compressed Textual Data
Engels , GebondenLevertijd: 3 tot 4 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
8
€ 57,95
Modelling Computer Systems
The Mathematics of Computer Science
Engels , PaperbackLevertijd: 5 tot 15 werkdagen
Modelling Computer Systems Lees verder
9
€ 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
10
€ 121,60
Fault Diagnosis And Fault Tolerance
A Systematic Approach To Special Topics
EngelsLevertijd: 3 tot 4 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
11
€ 138,60
Relations And Graphs
Discrete Mathematics For Computer Scientists
EngelsLevertijd: 3 tot 4 werkdagen
Relational Methods Can Be Found At Various Places Incomputer Science, Notably In Data Base Theory, Relationalsemantics Of Concurrency, Relationaltype Theory, Analysisof Rewriting Systems, And Modern Programming Languagedesign. Itexplains How To Use Relational And Graph-theoretic Metho... Lees verder
12
€ 143,65
Proof And Computation
EngelsLevertijd: 3 tot 4 werkdagen
Proceedings Of The Nato Advanced Study Institute On Proof And Computation, Held In Marktoberdorf, Germany, July 20 - August 1, 1993 Lees verder
13
€ 130,15
Advances In Logic Programming Theory
Engels , GebondenLevertijd: 3 tot 4 werkdagen
Bl This Book Presents The Latest Research In The Area Of The New Programming Paradigm - Logic Programming. These Papers Are Based On Presentations At An International Summer School And Together Provide An Accessible Route To The Frontiers Of The Subject - Going As They Do - Far Beyond Classical ... Lees verder
14
€ 119,05
Fields Of Logic And Computation
Essays Dedicated To Yuri Gurevich On The Occasion Of His 70th Birthday
EngelsLevertijd: 3 tot 4 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
15
€ 76,20
Unifying Theories Of Programming
Second International Symposium, Utp 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
EngelsLevertijd: 3 tot 4 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
16
€ 136,10
Computer Aided Verification
22nd International Conference, Cav 2010, Edinburgh, Uk, July 15-19, 2010, Proceedings
EngelsLevertijd: 3 tot 4 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
17
€ 119,05
Interactive Theorem Proving
First International Conference, Itp 2010 Edinburgh, Uk, July 11-14, 2010, Proceedings
EngelsLevertijd: 3 tot 4 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
18
€ 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
19
€ 102,05
Mathematics Of Program Construction
10th International Conference, Mpc 2010, Quebec City, Canada, June 21-23, 2010, Proceedings
EngelsLevertijd: 3 tot 4 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
20
€ 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
21
€ 45,70
Elementary Logic
For Software Development
EngelsLevertijd: 3 tot 4 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
22
€ 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
23
€ 126,00
Integrated Formal Methods
6th International Conference, Ifm 2007, Oxford, Uk, July 2-5, 2007, Proceedings
EngelsLevertijd: 3 tot 4 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
