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 ...
Lee mas
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 ...
Lee mas
Computer Safety, Reliability, and Security
This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Database and Expert Systems Applications
This volume constitutes the refereed proceedings of the three workshops held at the 31st International Conference on Database ...
Lee mas
Dependable Software Engineering. Theories, Tools, and Applications
This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, ...
Lee mas
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, ...
Lee mas
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 ...
Lee mas
Distributed Applications and Interoperable Systems (vol. # 3543)
ThisvolumecontainstheproceedingsoftheIFIPWG6. 1InternationalWorking Conference on Distributed Applications and Interoperable ...
Lee mas
ECOOP 2002 - Object-Oriented Programming
Constitutes the proceedings of the 16th European Conference on Object-Oriented Programming held in Spain in 2002. The 25 ...
Lee mas
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, ...
Lee mas
Early Aspects: Current Challenges and Future Directions
Traditionally, aspect-oriented software development (AOSD) has focused on the implementation phase of the software lifecycle: ...
Lee mas
Early Aspects: Current Challenges and Future Directions
Traditionally, aspect-oriented software development (AOSD) has focused on the implementation phase of the software lifecycle: ...
Lee mas
Engineering Theories of Software Intensive Systems
Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded ...
Lee mas
Essential Software Architecture
Job titles like "Technical Architect" and "Chief Architect" nowadays abound in the software industry, yet many people ...
Lee masEuro-Par 2019: Parallel Processing Workshops
Euro-Par is an annual, international conference in Europe, covering all aspects of parallel and distributed processing. These ...
Lee mas
Formal Techniques for Distributed Objects, Components, and Systems
This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed ...
Lee mas
Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
This book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...
Lee mas
