Electronic Books

Total Books: 181 - 200 /687

Constructing Correct Software

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Constructing Correct Software

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Contemporary Empirical Methods in Software Engineering

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

Cooperative Design, Visualization, and Engineering : 5th International Conference, CDVE 2008 Calvià, Mallorca, Spain, September 21-25, 2008 Proceedings

This book constitutes the refereed proceedings of the 5th International Conference on Cooperative Design, Visualization, ...

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

Coordination Models and Languages : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings

This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Coordination Models and ...

Coordination Models and Languages :22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

This book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION ...

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

Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems

This book constitutes the refereed post-proceedings of the International Workshop on Agents, Norms and Institutions for Regulated ...

Creating Cool MINDSTORMS® NXT Robots

Build and program MINDSTORM NXT robots with Daniele Benedettelli, one of the world's most respected NXT robot builders. ...

Creating Flash Widgets with Flash CS4 and ActionScript 3.0

Creating Flash Widgets with Flash CS4 and ActionScript 3.0 is an introduction to developing widgets for the Internet using ...

Cryptology and Network Security

This book constitutes the refereed proceedings of the 19th International Conference on Cryptology and Network Security, CANS ...

Customer Integration in Industrial Innovation Projects

The development of product innovations is permanently challenged by the customers’ rapidly evolving demand for new products ...

Cyber Security : 18th China Annual Conference, CNCERT 2021, Beijing, China, July 20–21, 2021, Revised Selected Papers

This book constitutes the refereed proceedings of the 17th International Annual Conference on Cyber Security, CNCERT 2021, ...

Cyber-Physical Systems of Systems : Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy

Technical Systems-of-Systems (SoS) – in the form of networked, independent constituent computing systems temporarily collaborating ...

Data Management Technologies and Applications : 8th International Conference, DATA 2019, Prague, Czech Republic, July 26–28, 2019, Revised Selected Papers

This book constitutes the thoroughly refereed proceedings of the 8th International Conference on Data Management Technologies ...

Data Management in Grid and Peer-to-Peer Systems : First International Conference, Globe 2008, Turin, Italy, September 3, 2008. Proceedings

This book constitutes the refereed proceedings of the First International Conference on Data Management in Grid and Peer-to-Peer ...

Data Science : 6th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2020, Taiyuan, China, September 18-21, 2020, Proceedings, Part II

This two volume set (CCIS 1257 and 1258) constitutes the refereed proceedings of the 6th International Conference of Pioneering ...

Data Science and Analytics : 5th International Conference on Recent Developments in Science, Engineering and Technology, REDSET 2019, Gurugram, India, November 15–16, 2019, Revised Selected Papers, Part I

This two-volume set (CCIS 1229 and CCIS 1230) constitutes the refereed proceedings of the 5th International Conference on ...

Database and Expert Systems Applications

The double volumes LNCS 12391-12392 constitutes the papers of the 31st International Conference on Database and Expert Systems ...

Total Books: 181 - 200 /687