Electronic Books

Total Books: 81 - 100 /381

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II

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

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 Safety, Reliability, and Security

It' s important to improving the state of the art of highly depe- able computer-based systems, since then increasingly applied ...

Computer Safety, Reliability, and Security

It' s important to improving the state of the art of highly depe- able computer-based systems, since then increasingly applied ...

Computer Safety, Reliability, and Security : 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings

This book constitutes the refereed proceedings of the 27th International Conference on Computer Safety, Reliability, and ...

Computer Supported Cooperative Work in Design IV : 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Computer ...

Computer-Aided Innovation (CAI) : IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

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

Connecting Mathematics and Mathematics Education Collected Papers on Mathematics Education as a Design Science

This book features a selection of articles written by Erich Ch. Wittmann between 1984 to 2019, which shows how the “design ...

Constructing Ambient Intelligence : AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers

This book constitutes the refereed proceedings of the workshops of the First European Conference on Ambient Intelligence, ...

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362)

History based access control and secure information flow The spec# programming system Mastering test generation from smart ...

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956)

This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of ...

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

Cornea and External Eye Disease

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

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

CryptoGraphics

CryptoGraphics: Exploiting Graphics Cards for Security explores the potential for implementing ciphers within graphics processing ...

Current Advances in Drug Delivery Through Fast Dissolving/Disintegrating Dosage Forms / Vikas Anand Saharan

Presents detailed information about FDDFs (Fast Dissolving/Disintegrating Dosage Forms) from their inception to recent developments. ...

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

Total Books: 81 - 100 /381