Electronic Books

Total Books: 101 - 120 /472
978-3-540-85097-7
Combinatorial Optimization and Applications : Second International Conference, COCOA 2008, St. John’s, NL, Canada, August 21-24, 2008. Proceedings

This book constitutes the refereed proceedings of the Second International Conference on Combinatorial Optimization and Applications, ...

Continue reading
978-3-540-69068-9
Combinatorial Pattern Matching : 19th Annual Symposium, CPM 2008, Pisa, Italy, June 18-20, 2008 Proceedings

This book constitutes the refereed proceedings of the 19th Annual Symposium on Combinatorial Pattern Matching, CPM 2008, ...

Continue reading
978-3-540-70519-2
Compactifying Moduli Spaces for Abelian Varieties

This volume presents the construction of canonical modular compactifications of moduli spaces for polarized Abelian varieties ...

Continue reading
978-3-540-87989-3
Comparative Genomics : International Workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008. Proceedings

This book constitutes the refereed proceedings of the 6th RECOMB Comparative Genomics Satellite Workshop, RECOMB-CG 2008, ...

Continue reading
978-3-540-92800-3
Complexity of Constraints : An Overview of Current Research Themes

This state-of-the-art survey contains the papers that were invited by the organizers after conclusion of an International ...

Continue reading
978-3-540-87891-9
Component-Based Software Engineering : 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings

This book constitutes the refereed proceedings of the 11th International ACM SIGSOFT Symposium on Component-Based Software ...

Continue reading
978-3-030-81685-8
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...

Continue reading
978-3-540-70545-1
Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, ...

Continue reading
978-3-540-87412-6
Computer Performance Engineering : 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings

This book constitutes the proceedings of the Fifth European Performance Engineering Workshop, EPEW 2008, held in Palma de ...

Continue reading
978-3-030-34372-9
Computer Vision : Algorithms and Applications / Richard Szeliski

Explores the variety of techniques used to analyze and interpret images. It also describes challenging real-world applications ...

Continue reading
978-3-540-79187-4
Computer and Information Science

The purpose of the 7th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2008) and the 2nd IEEE/ACIS ...

Continue reading
978-3-540-69733-6
Computing and Combinatorics : 14th Annual International Conference, COCOON 2008 Dalian, China, June 27-29, 2008 Proceedings

The refereed proceedings of the 14th Annual International Computing and Combinatorics Conference, COCOON 2008, held in Dalian, ...

Continue reading
978-3-540-87877-3
Conceptual Modeling - ER 2008 : 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings

This book constitutes the refereed proceedings of the 27th International Conference on Conceptual Modeling, ER 2008, held ...

Continue reading
978-3-540-70596-3
Conceptual Structures: Knowledge Visualization and Reasoning : 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings

This book constitutes the refereed proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, ...

Continue reading
978-3-540-92243-8
Constraint Handling Rules : Current Research Topics

The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...

Continue reading
978-3-030-32489-6
Contemporary Empirical Methods in Software Engineering

This book presents contemporary empirical methods in software engineering related to the plurality of research methodologies, ...

Continue reading
978-3-540-68265-3
Coordination Models and Languages : 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings

This book constitutes the refereed proceedings of the 10th International Conference on Coordination Models and Languages, ...

Continue reading
978-3-540-79003-7
Coordination, Organizations, Institutions, and Norms in Agent Systems III : COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers

This book constitutes the refereed post-workshop proceedings of the International Workshop on Coordination, Organization, ...

Continue reading
978-3-540-31226-0
Cornea and External Eye Disease

Essentials in Ophthalmology is a new review series covering all of ophthalmology categorized in eight subspecialties. It ...

Continue reading
NoIMG
Coronaviruses : Methods and Protocols

This volume aims to describe a variety of techniques that reflects the wide range of research currently performed in the ...

Continue reading
Total Books: 101 - 120 /472