Electronic Books

Total Books: 161 - 180 /198
978-3-540-71156-8
Reliable Systems on Unreliable Networked Platforms

This book constitutes the refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with ...

Continue reading
978-3-030-79837-6
Reversible Computation

This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which ...

Continue reading
978-3-030-52482-1
Reversible Computation

This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held ...

Continue reading
978-3-540-69507-3
SOFSEM 2007: Theory and Practice of Computer Science

This volume contains the invited and the contributed papers selected for presentation at SOFSEM 2007, the 33rd Conference ...

Continue reading
978-3-540-33377-7
Security in Pervasive Computing (vol. # 3934)

This volume contains the papers presented at the Third International Conference on Security in Pervasive Computing (SPC 2006), ...

Continue reading
978-3-540-72736-1
Service Availability

Program Chairs’ Message th The 4 International Service Availability Symposium (ISAS 2007) continued with the tradition ...

Continue reading
978-3-540-32018-0
Service Availability (vol. # 3694)

This book constitutes the thoroughly refereed post-proceedings of the Second International Service Availability Symposium, ...

Continue reading
978-3-540-85893-5
Smart Card Research and Advanced Applications : 8th IFIP WG 8.8/11.2 International Conference, CARDIS 2008, London, UK, September 8-11, 2008. Proceedings

This book deals with the various issues related to the use of small electronic tokens in the process of human-machine interactions. ...

Continue reading
978-3-540-77619-2
Software Architectures, Components, and Applications

Researchers and professionals will find in this text the thoroughly refereed post-proceedings of the Third International ...

Continue reading
978-3-540-75542-5
Software Engineering Approaches for Offshore and Outsourced Development

The aim of the present volume is different. We recognize that of shore development is here to stay, and not just a result ...

Continue reading
978-3-540-70561-1
Software Engineering Research, Management and Applications

The 6th ACIS International Conference on Software Engineering, Research, Management and Applications (SERA 2008) was held ...

Continue reading
978-3-030-58768-0
Software Engineering and Formal Methods

This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...

Continue reading
978-3-540-47833-1
Software Product-Family Engineering

This book contains the proceedings of the Fourth International Workshop on Product Family Engineering, PFE-4, held in Bilbao, ...

Continue reading
978-3-540-75664-4
Software Technologies for Embedded and Ubiquitous Systems

This book constitutes the thoroughly refereed post-proceedings of the 5th IFIP WG 10.2 International Workshop on Software ...

Continue reading
978-3-540-87785-1
Software Technologies for Embedded and Ubiquitous Systems : 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings

This book includes model-driven development; middleware; real time; quality of service and performance; applications; pervasive ...

Continue reading
978-3-030-64616-5
Supercomputing

This book constitutes the refereed post-conference proceedings of the 6th Russian Supercomputing Days, RuSCDays 2020, held ...

Continue reading
978-3-030-48842-0
Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24–27, 2020, Proceedings

This book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned ...

Continue reading
978-0-306-48736-1
System-Level Design Techniques for Energy-Efficient Embedded Systems

System-Level Design Techniques for Energy-Efficient Embedded Systems addresses the development and validation of co-synthesis ...

Continue reading
NoIMG
Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms ...

Continue reading
978-3-030-64881-7
Testing Software and Systems : 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings

This book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ...

Continue reading
Total Books: 161 - 180 /198