Electronic Books

Total Books: 21 - 40 /119

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...

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

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

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

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

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

Database and Expert Systems Applications

This volume constitutes the refereed proceedings of the three workshops held at the 31st International Conference on Database ...

Dependable Software Engineering. Theories, Tools, and Applications

This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, ...

Design, User Experience, and Usability. Interaction Design : 9th International Conference, DUXU 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I

This book constitutes the refereed proceedings of the 9th International Conference on Design, User Experience, and Usability, ...

Developing Services for the Wireless Internet

This book is for developers of wireless Internet services. It addresses the technical issues that can get in the way of the ...

Developing secure auto-scaling military postponement e-service in Syria / Kasem Saudi , Kenan Shahrour , Mohammad Qatramiz and Yazan Ladiah Al Hamwi ; supervised by Sira Astour قاسم سعودي ، كنان خالد شحرور ، محمد حسان خليل قطرميز و يزن همام لدية الحموي ؛ إشراف سيرا استور

This study is about developing a secure, autoscaling military postponement e-service in Syria, that allows Syrian citizens ...

Distributed Applications and Interoperable Systems (vol. # 3543)

ThisvolumecontainstheproceedingsoftheIFIPWG6. 1InternationalWorking Conference on Distributed Applications and Interoperable ...

ECOOP 2002 - Object-Oriented Programming

Constitutes the proceedings of the 16th European Conference on Object-Oriented Programming held in Spain in 2002. The 25 ...

ECOOP 2008 - Object-Oriented Programming : 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings

This book constitutes the refereed proceedings of the 22nd European Conference on Object-Oriented Programming, ECOOP 2008, ...

Early Aspects: Current Challenges and Future Directions

Traditionally, aspect-oriented software development (AOSD) has focused on the implementation phase of the software lifecycle: ...

Early Aspects: Current Challenges and Future Directions

Traditionally, aspect-oriented software development (AOSD) has focused on the implementation phase of the software lifecycle: ...

Engineering Theories of Software Intensive Systems

Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded ...

Essential Software Architecture

Job titles like "Technical Architect" and "Chief Architect" nowadays abound in the software industry, yet many people ...

Total Books: 21 - 40 /119