- 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
-
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
97,95 €Livraison 1 à 2 semaines97,95 €Livraison 1 à 2 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
68,95 €Livraison 2 à 3 semaines68,95 €Livraison 2 à 3 semaines -
Perspectives of System Informatics
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 8974
- This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. Petersburg, Russia, ... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Advanced Parallel Processing Technologies
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 10561
- This book constitutes the proceedings of the 12th International Symposium on Advanced Parallel Processing Technologies, APPT 2017, held in Santiago de... Savoir plus
83,95 €Livraison 2 à 3 semaines83,95 €Livraison 2 à 3 semaines -
Parallel and Distributed Computing, Applications and Technologies
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 13148
- This book constitutes the proceedings of the 22nd International Conference on Parallel and Distributed Computing, Applications, and Technologies, PDCA... Savoir plus
152,95 €Livraison 2 à 3 semaines152,95 €Livraison 2 à 3 semaines -
Logic and Its Applications
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 8923
- This book collects the refereed proceedings of the 6th Indian Conference on Logic and Its Applications, ICLA 2015, held in Mumbai, India, in January 2... Savoir plus
83,95 €Livraison 2 à 3 semaines83,95 €Livraison 2 à 3 semaines -
Dynamic Logic. New Trends and Applications
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 12569
- This book constitutes the proceedings of the Third International Workshop on Dynamic Logic, DaLí 2019, held in Prague, Czech Republic in October 2020.... Savoir plus
83,95 €Livraison 2 à 3 semaines83,95 €Livraison 2 à 3 semaines -
Unveiling Dynamics and Complexity
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 10307
- This book constitutes the refereed proceedings of the 13th Conference on Computability in Europe, CiE 2017, held in Turku, Finland, in June 2017. The ... Savoir plus
83,95 €Livraison 2 à 3 semaines83,95 €Livraison 2 à 3 semaines -
Trends in Functional Programming
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 12834
- This book constitutes revised selected papers from the 22nd International Symposium on Trends in Functional Programming, TFP 2021, which was held virt... Savoir plus
68,95 €Livraison 2 à 3 semaines68,95 €Livraison 2 à 3 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
83,95 €Livraison 2 à 3 semaines83,95 €Livraison 2 à 3 semaines -
Theorem Proving in Higher Order Logics
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 5674
- This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Mun... Savoir plus
125,95 €Livraison 1 à 2 semaines125,95 €Livraison 1 à 2 semaines -
Informatics in Schools: Contributing to 21st Century Education
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 7013
- This book constitutes the refereed proceedings of the 5th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, I... Savoir plus
106,95 €Livraison 2 à 3 semaines106,95 €Livraison 2 à 3 semaines -
Applications of Evolutionary Computation
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 6625
- This book constitutes the refereed proceedings of the International Conference on the Applications of Evolutionary Computation, EvoApplications 2011, ... Savoir plus
113,45 €Livraison 1 à 2 semaines113,45 €Livraison 1 à 2 semaines -
Distributed Computing and Networking
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 7730
- This book constitutes the refereed proceedings of the 14th International Conference on Distributed Computing and Networking, ICDCN 2013, held in Mumba... Savoir plus
83,95 €Livraison 2 à 3 semaines83,95 €Livraison 2 à 3 semaines -
Compiler Construction
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 6601
- This book constitutes the refereed proceedings of the 20th International Conference on Compiler Construction, CC 2011, held in Saarbrücken, Germany, M... Savoir plus
83,95 €Livraison 2 à 3 semaines83,95 €Livraison 2 à 3 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
122,45 €Livraison 2 à 3 semaines122,45 €Livraison 2 à 3 semaines -
Logic for Programming, Artificial Intelligence, and Reasoning
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 7180
- This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, ... Savoir plus
88,45 €Livraison 1 à 2 semaines88,45 €Livraison 1 à 2 semaines -
Algorithms and Computation
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 7676
- This book constitutes the refereed proceedings of the 23rd International Symposium on Algorithms and Computation, ISAAC 2012, held in Taipei, Taiwan, ... Savoir plus
83,95 €Livraison 2 à 3 semaines83,95 €Livraison 2 à 3 semaines -
Model Checking Software
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 6349
- This book constitutes the refereed proceedings of the 17th International SPIN workshop on Model Checking Software, SPIN 2010, held at the University o... Savoir plus
75,45 €Livraison 1 à 2 semaines75,45 €Livraison 1 à 2 semaines -
Algorithms and Computation
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 8283
- This book constitutes the refereed proceedings of the 24th International Symposium on Algorithms and Computation, ISAAC 2013, held in Hong Kong, China... Savoir plus
104,95 €Livraison 1 à 2 semaines104,95 €Livraison 1 à 2 semaines -
Developments in Language Theory
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 6224
- The 14th International Conference on Developments in Language Theory (DLT 2010) was held in London, Ontario, Canada on the beautiful campus of the Uni... Savoir plus
113,45 €Livraison 1 à 2 semaines113,45 €Livraison 1 à 2 semaines -
Graph Transformations
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 6372
- Graphs are among the simplest and most universal models for a variety of s- tems, not just in computer science, but throughout engineering and the lif... Savoir plus
100,95 €Livraison 1 à 2 semaines100,95 €Livraison 1 à 2 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
111,95 €Livraison 1 à 2 semaines111,95 €Livraison 1 à 2 semaines -
Computer Vision Systems
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 6962
- This book constitutes the refereed proceedings of the 8th International Conference on Computer Vision Systems, ICVS 2011, held in Sophia Antipolis, Fr... Savoir plus
62,95 €Livraison 1 à 2 semaines62,95 €Livraison 1 à 2 semaines