الكتب الالكترونية

عدد الكتب: 141 - 160 /180
978-1-4020-5977-3
Real-Time Object Uniform Design Methodology with UML

The competitiveness of organizations facing globalization, information and communication technologies relies on strategic ...

اقرأ المزيد
978-3-540-78610-8
Reconfigurable Computing: Architectures, Tools and Applications : 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008. Proceedings

The idea of reconfigurable hardware systems has represented the Holy Grail for computer system designers.It has been recognized ...

اقرأ المزيد
978-3-540-73230-3
Reliable Software Technologies - Ada Europe 2007

Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...

اقرأ المزيد
978-3-540-48046-4
Reliable Software Technologies - Ada-Europe 2002

This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe ...

اقرأ المزيد
978-3-540-68624-8
Reliable Software Technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...

اقرأ المزيد
978-3-540-34664-7
Reliable Software Technologies -- Ada-Europe 2006

This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...

اقرأ المزيد
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 ...

اقرأ المزيد
978-3-030-79837-6
Reversible Computation

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

اقرأ المزيد
978-3-030-52482-1
Reversible Computation

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

اقرأ المزيد
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 ...

اقرأ المزيد
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), ...

اقرأ المزيد
978-3-540-72736-1
Service Availability

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

اقرأ المزيد
978-3-540-32018-0
Service Availability (vol. # 3694)

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

اقرأ المزيد
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 ...

اقرأ المزيد
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 ...

اقرأ المزيد
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, ...

اقرأ المزيد
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, ...

اقرأ المزيد
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 ...

اقرأ المزيد
978-3-030-64616-5
Supercomputing

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

اقرأ المزيد
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 ...

اقرأ المزيد
عدد الكتب: 141 - 160 /180