Séries : livres de la série Theoretical Computer Science and General Issues

Tous les livres de la série Theoretical Computer Science and General Issues

2.348 résultats

Trier par

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 semaines

supprimer
97,95 €

Livraison 1 à 2 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 semaines

supprimer
52,95 €

Livraison sous 1 à 4 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 semaines

supprimer
83,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 semaines

supprimer
83,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 semaines

supprimer
125,95 €

Livraison 1 à 2 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 semaines

supprimer
113,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 semaines

supprimer
83,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 semaines

supprimer
83,95 €

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 semaines

supprimer
88,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 semaines

supprimer
83,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 semaines

supprimer
75,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 semaines

supprimer
104,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 semaines

supprimer
113,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 semaines

supprimer
100,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 semaines

supprimer
111,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 semaines

supprimer
62,95 €

Livraison 1 à 2 semaines
Facing the Multicore-Challenge III
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 7686
- This state-of-the-art survey features topics related to the impact of multicore, manycore, and coprocessor technologies in science and large-scale app... Savoir plus
55,95 €

Livraison 1 à 2 semaines

supprimer
55,95 €

Livraison 1 à 2 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
76,45 €

Livraison 2 à 3 semaines

supprimer
76,45 €

Livraison 2 à 3 semaines
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
83,95 €

Livraison 2 à 3 semaines

supprimer
83,95 €

Livraison 2 à 3 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
238,95 €

Livraison 1 à 2 semaines

supprimer
238,95 €

Livraison 1 à 2 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
83,95 €

Livraison 2 à 3 semaines

supprimer
83,95 €

Livraison 2 à 3 semaines
Architecture of Computing Systems--ARCS 2010
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 5974
- TheARCSseriesofconferenceshasover30yearsoftraditionreportingtop-notch results in computer architecture and operating systems research. It is organized... Savoir plus
83,95 €

Livraison 2 à 3 semaines

supprimer
83,95 €

Livraison 2 à 3 semaines
Parallel Processing and Applied Mathematics
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 8385
- This two-volume-set (LNCS 8384 and 8385) constitutes the refereed proceedings of the 10th International Conference of Parallel Processing and Applied ... Savoir plus
104,95 €

Livraison 1 à 2 semaines

supprimer
104,95 €

Livraison 1 à 2 semaines
Neural Information Processing
- Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 6444
- The two volume set LNCS 6443 and LNCS 6444 constitutes the proceedings of the 17th International Conference on Neural Information Processing, ICONIP 2... Savoir plus
144,95 €

Livraison 1 à 2 semaines

supprimer
144,95 €

Livraison 1 à 2 semaines