Electronic Books

Total Books: 101 - 120 /660

Component-Based Software Development for Embedded Systems

Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, ...

Composite Systems Decisions

Composite decisions consist of interconnected parts or subdecisions and correspond to a composite (composable, modular, decomposable) ...

Computational Logic in Multi-Agent Systems

Though multiagent systems (MASs) are being increasingly used, few methods exist to ensure survivability of MASs. All existing ...

Computational Processing of the Portuguese Language

Since 1993, PROPOR Workshops have become an important forum for - searchers involved in the Computational Processing of Portuguese,both ...

Computational Textile

This edited book collects a number of representative applications of computational techniques in textile and garment industry. ...

Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...

Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...

Computer Aided Verification (vol. # 4144)

Presents 35 revised full papers together with 10 tool papers and 4 invited papers adressing all current issues in computer ...

Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...

Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

The volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...

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 ...

Computer Vision - ACCV 2006 (vol. # 3851)

proceedings. ACCV has been making its rounds through the Asian landscape and came to India this year. Interest in computer ...

Computer Vision - ACCV 2006 (vol. # 3852)

ACCV has been making its rounds through the Asian landscape and came to India this year. Interest in computer vision is ...

Computer and Information Sciences - ISCIS 2005

This book constitutes the refereed proceedings of the 20th International Symposium on Computer and Information Sciences, ...

Computers and Games

This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Computers and Games, ...

Computers and Games

This book covers all aspects of artificial intelligence in computer-game playing. Topics addressed are evaluation and learning, ...

Computers and Games

This book covers all aspects of artificial intelligence in computer-game playing. Topics addressed are evaluation and learning, ...

Concept and Design Developments in School Improvement Research Longitudinal, Multilevel and Mixed Methods and Their Relevance for Educational Accountability

This book discusses challenges in school improvement research and different methodological approaches that have the potential ...

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 ...

Confronting Scale in Archaeology

This book discusses the cultural, social and spatial aspects of scale and its impact on archaeology in practical and applicable ...

Total Books: 101 - 120 /660