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
€ 99,95
Latest Advances In Inductive Logic Programming
Engels , GebondenLevertijd: 5 tot 15 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
€ 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
7
€ 97,45
Compressed Data Structures For Strings
On Searching And Extracting Strings From Compressed Textual Data
Engels , GebondenLevertijd: 4 tot 6 werkdagen
Data Compression Is Mandatory To Manage Massive Datasets, Indexing Is Fundamental To Query Them. 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
€ 120,35
Proof And Computation
EngelsLevertijd: Uitverkocht
Proceedings Of The Nato Advanced Study Institute On Proof And Computation, Held In Marktoberdorf, Germany, July 20 - August 1, 1993 Lees verder
11
€ 120,35
Fields Of Logic And Computation
Essays Dedicated To Yuri Gurevich On The Occasion Of His 70th Birthday
EngelsLevertijd: 4 tot 6 werkdagen
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
12
€ 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
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
€ 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
15
€ 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
16
€ 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
17
€ 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
18
€ 45,85
Elementary Logic
For Software Development
EngelsLevertijd: 4 tot 6 werkdagen
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
19
€ 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
20
€ 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
21
€ 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
22
€ 63,50
Modelling Distributed Systems
Engels , GebondenLevertijd: 3 tot 4 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
23
€ 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
