- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.0000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
-
How the World Computes
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 7318
- This book constitutes the refereed proceedings of the Turing Centenary Conference and the 8th Conference on Computability in Europe, CiE 2012, held in... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Reliable Implementation of Real Number Algorithms
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 5045
- A large amount of the capacity of today's computers is used for computations that can be described as computations involving real numbers. In this boo... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Quantum Technology and Optimization Problems
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 11413
- This book constitutes the refereed proceedings of the First International Workshop on Quantum Technology and Optimization Problems, QTOP 2019, held in... Savoir plus
79,45 €Livraison sous 1 à 4 semaines79,45 €Livraison sous 1 à 4 semaines -
Logic, Language, Information, and Computation
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 9160
- Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Work... Savoir plus
42,45 €Livraison sous 1 à 4 semaines42,45 €Livraison sous 1 à 4 semaines -
The Logic of Categorial Grammars
Richard Moot, Christian Retore
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 6850
- This book is intended for students in computer science, formal linguistics, mathematical logic and to colleagues interested in categorial grammars and... Savoir plus
73,95 €Livraison sous 1 à 4 semaines73,95 €Livraison sous 1 à 4 semaines -
Scientific Applications of Grid Computing
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 3458
- We wish to extend a warm welcome to the reader of this extended postp- ceedings publication of SAG 2004, the 1st International Workshop on Scienti?c A... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Interactive Theorem Proving
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 9236
- This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August ... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Algorithmic Aspects in Information and Management
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 9778
- This volume constitutes the proceedings of the 11th International Conference on Algorithmic Aspects in Information and Management, AAIM 2016, held in ... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Parallel Problem Solving from Nature - Ppsn XVI
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 12270
- This two-volume set LNCS 12269 and LNCS 12270 constitutes the refereed proceedings of the 16th International Conference on Parallel Problem Solving fr... Savoir plus
103,45 €Livraison sous 1 à 4 semaines103,45 €Livraison sous 1 à 4 semaines -
Machines, Computations, and Universality
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 10881
- This book constitutes the refereed proceedings of the 8th International Conference on Machines, Computations, and Universality, MCU 2018, held in Font... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Algorithms and Computation
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 5878
- This book constitutes the refereed proceedings of the 20th International Symposium on Algorithms and Computation, ISAAC 2009, held in Honolulu, Hawaii... Savoir plus
158,45 €Livraison sous 1 à 4 semaines158,45 €Livraison sous 1 à 4 semaines -
Principles of Distributed Systems
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 4878
- This book constitutes the refereed proceedings of the 11th International Conference on Principles of Distributed Systems, OPODIS 2007, held in Guadelo... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Numerical Methods and Applications
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 4310
- This book constitutes the thoroughly refereed post-proceedings of NMA 2006 held in Borovets, Bulgaria. Coverage in the 84 revised full papers includes... Savoir plus
105,45 €Livraison sous 1 à 4 semaines105,45 €Livraison sous 1 à 4 semaines -
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 8803
- The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Forma... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Computational Linguistics and Intelligent Text Processing
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 4394
- This book constitutes the refereed proceedings of the 8th International Conference on Computational Linguistics and Intelligent Text Processing, CICLi... Savoir plus
105,45 €Livraison sous 1 à 4 semaines105,45 €Livraison sous 1 à 4 semaines -
Computing and Combinatorics
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 3595
- The papers in this volume were presented at the Eleventh Annual International ComputingandCombinatorics Conference(COCOON2005), heldAugust16-19, 2005,... Savoir plus
105,45 €Livraison sous 1 à 4 semaines105,45 €Livraison sous 1 à 4 semaines -
Computational Linguistics and Intelligent Text Processing
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 7181
- This two-volume set, consisting of LNCS 7181 and LNCS 7182, constitutes the thoroughly refereed proceedings of the 13th International Conference on Co... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Advances in Computation and Intelligence
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 6382
- Constitutes the proceedings of the 5th International Symposium, ISICA 2010, held in Wuhan, China, in October 2010. Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Languages and Compilers for High Performance Computing
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 3602
- The 17th International Workshop on Languages and Compilers for High P- formance Computing was hosted by Purdue University in September 2004 on Purdue ... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
High Performance Computing in Science and Engineering
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 11087
- This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on High Performance Computing in Scien... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
DNA Computing and Molecular Programming
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 11145
- This book constitutes the refereed proceedings of the 24th International Conference on DNA Computing and Molecular Programming, DNA 24, held in Jinan,... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
A List of Successes That Can Change the World
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 9600
- This volume is published in Honor of Philip Wadler on the occasion of his 60th birthday, and the collection of papers form a Festschrift for him. The ... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
DNA Computing and Molecular Programming
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 10467
- This book constitutes the refereed proceedings of the 23th International Conference on DNA Computing and Molecular Programming, DNA 23, held Austin, T... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Formal Modeling and Analysis of Timed Systems
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 8053
- This book constitutes the refereed proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013, he... Savoir plus
48,95 €Livraison sous 1 à 4 semaines48,95 €Livraison sous 1 à 4 semaines