Deze website maakt gebruik van cookies. Klik hier voor meer informatie.X sluit
Uitgebreid zoeken

Theoretische informatica

< Terug naar Informatica
Verfijnen

Op taal:


Op prijs:

  • Alle prijzen
  • € 0 - € 12.50
  • € 12.50 - € 25
  • € 25 - € 50
  • € 50 - € 100
  • > € 100

Op jaar:

  • Alle jaartallen
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005

Nieuwste titels

Sorteer op: datum prijs titels auteur RSS feed
1
Maximum Consensus Problem - Chin, Tat-jun; Suter, David - ISBN: 9781627052924
book
Order now

Maximum Consensus Problem

Recent Algorithmic Advances

Chin, Tat-jun; Suter, David

(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 - Patnaik, Srikanta (EDT) - ISBN: 9781522523222
book
Order now

Recent Developments In Intelligent Nature-inspired Computing

Patnaik, Srikanta (EDT)

(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 - Kneusel, Ronald T. - ISBN: 9783319505077
book
Order now

Numbers And Computers

Kneusel, Ronald T.

(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 - Muggleton, Stephen (EDT)/ Watanabe, Hiroaki (EDT) - ISBN: 9781783265084
book
Order now

Latest Advances In Inductive Logic Programming

Muggleton, Stephen (EDT)/ Watanabe, Hiroaki (EDT)

(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 - Benthem, Johan van - ISBN: 9780262019903
book
Order now

Logic In Games

Benthem, Johan van

(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 - Venturini, Rossano - ISBN: 9789462390324
book
Order now

Compressed Data Structures For Strings

On Searching And Extracting Strings From Compressed Textual Data

Venturini, Rossano

(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 - Moller, Faron; Struth, Georg - ISBN:
book
Order now

Modelling Computer Systems

The Mathematics of Computer Science

Moller, Faron; Struth, Georg

(Engels , Paperback)

Levertijd: 5 tot 15 werkdagen
Prijs: € 57,95
Genre: Theoretische informatica
Modelling Computer Systems Lees verder
8
Proof And Computation - Schwichtenberg, Helmut (EDT) - ISBN: 9783642793639
book
Order now

Proof And Computation

Schwichtenberg, Helmut (EDT)

(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
9
Fault Diagnosis And Fault Tolerance - Chen, Tinghuai - ISBN: 9783540549628
book
Order now

Fault Diagnosis And Fault Tolerance

A Systematic Approach To Special Topics

Chen, Tinghuai

(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
Fields Of Logic And Computation - ISBN: 9783642150241
book
Order now

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
11
Unifying Theories Of Programming - Butterfield, Andrew (EDT) - ISBN: 9783642145209
book
Order now

Unifying Theories Of Programming

Second International Symposium, Utp 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers

Butterfield, Andrew (EDT)

(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
12
Interactive Theorem Proving - ISBN: 9783642140518
book
Order now

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
13
Computer Aided Verification - ISBN: 9783642142949
book
Order now

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
14
Unfoldings - Heljanko, Keijo; Esparza, Javier - ISBN: 9783540774259
book
Order now

Unfoldings

A Partial-order Approach To Model Checking

Heljanko, Keijo; Esparza, Javier

(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
15
Mathematics Of Program Construction - ISBN: 9783642133206
book
Order now

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
16
Cultural Logic Of Computation - Golumbia, David - ISBN: 9780674032927
book
Order now

Cultural Logic Of Computation

Golumbia, David

(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
17
Elementary Logic - Lover, Robert - ISBN: 9781848000810
book
Order now

Elementary Logic

For Software Development

Lover, Robert

(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
18
Computer Aided Verification - ISBN: 9783540705437
book
Order now

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
19
Integrated Formal Methods - Davies, Jim (EDT)/ Gibbons, Jeremy (EDT) - ISBN: 9783540732099
book
Order now

Integrated Formal Methods

6th International Conference, Ifm 2007, Oxford, Uk, July 2-5, 2007, Proceedings

Davies, Jim (EDT)/ Gibbons, Jeremy (EDT)

(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
20
Algebraic Biology - Anai, Hirokazu (EDT)/ Horimoto, Katsuhisa (EDT)/ Kutsia, Temur (EDT) - ISBN: 9783540734321
book
Order now

Algebraic Biology

Second International Conference, Ab 2007, Castle Of Hagenberg, Austria, July 2-4, 2007, Proceedings

Anai, Hirokazu (EDT)/ Horimoto, Katsuhisa (EDT)/ Kutsia, Temur (EDT)

(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
21
Modelling Distributed Systems - Fokkink, Wan - ISBN: 9783540739371
book
Order now

Modelling Distributed Systems

Fokkink, Wan

(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
22
Fme 2003 - International Symposium of Formal Methods Europe 2003 (Pisa, Italy)/ Araki,... - ISBN: 9783540408284
book
Order now

Fme 2003

Formal Methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : Proceedings

International Symposium of Formal Methods Europe 2003 (Pisa, Italy)/ Araki,...

(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
23
Field Programmable Logic And Applications - Cheung, Peter Y. K. (EDT)/ Constantinides, George A. (EDT)/ De Sousa, Jose ... - ISBN: 9783540408222
book
Order now

Field Programmable Logic And Applications

13th Internatonal Conference, Fpl 2003, Lisbon, Portugal, September 1-3, 2003 : Proceedings

Cheung, Peter Y. K. (EDT)/ Constantinides, George A. (EDT)/ De Sousa, Jose ...

(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