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

عدد الكتب: 61 - 80 /351
978-3-540-32281-8
Component Deployment

his volume of Lecture Notes in Computer Science contains the proceedings of the rd 3 Working Conference on Component Deployment ...

اقرأ المزيد
978-3-540-31614-5
Component-Based Software Development for Embedded Systems

Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, ...

اقرأ المزيد
978-3-540-73551-9
Component-Based Software Engineering

Providing all the latest on a topic of extreme commercial relevance, this book contains new trends in global software services ...

اقرأ المزيد
978-3-540-73551-9
Component-Based Software Engineering

Providing all the latest on a topic of extreme commercial relevance, this book contains new trends in global software services ...

اقرأ المزيد
978-3-540-77419-8
Composition of Embedded Systems. Scientific and Industrial Issues

This book discussed a range of challenges in embedded systems design that require further major advances in software and ...

اقرأ المزيد
978-3-540-77419-8
Composition of Embedded Systems. Scientific and Industrial Issues

This book discussed a range of challenges in embedded systems design that require further major advances in software and ...

اقرأ المزيد
978-3-540-69848-7
Computational Science and Its Applications - ICCSA 2008 : International Conference, Perugia, Italy, June 30– July 3, 2008, Proceedings, Part II

The two-volume set LNCS 5072 and 5073 constitutes the refereed proceedings of the International Conference on Computational ...

اقرأ المزيد
978-3-030-81685-8
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 ...

اقرأ المزيد
978-3-030-81688-9
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 ...

اقرأ المزيد
978-3-030-25543-5
Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

The volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...

اقرأ المزيد
978-3-540-32000-5
Computer Safety, Reliability, and Security (vol. # 3688)

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

اقرأ المزيد
978-3-540-32970-1
Computer Supported Cooperative Work in Design II

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

اقرأ المزيد
978-3-540-72863-4
Computer Supported Cooperative Work in Design III

The design of complex artifacts and systems requires the cooperation of multidiscip- nary design teams using multiple commercial ...

اقرأ المزيد
978-3-540-72863-4
Computer Supported Cooperative Work in Design III

The design of complex artifacts and systems requires the cooperation of multidiscip- nary design teams using multiple commercial ...

اقرأ المزيد
978-3-540-68679-8
Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

The volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: ...

اقرأ المزيد
978-3-8348-9513-4
Contributions to Simulation Speed-Up : Rare Event Simulation and Short-Term Dynamic Simulation for Mobile Network Planning

Eugen Lamers explains the principle of simulation speed-up in general, demonstrates the technique RESTART for the simulation ...

اقرأ المزيد
NoIMG
Contributions to Ubiquitous Computing

This book puts the larger vision of ubiquitous computing in the context of today’s mobile and distributed computing systems ...

اقرأ المزيد
978-3-540-71878-9
Cooperative Bug Isolation

Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...

اقرأ المزيد
978-3-540-71878-9
Cooperative Bug Isolation

Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...

اقرأ المزيد
978-3-540-32006-7
Coordination Models and Languages (vol. # 3454)

This book constitutes the refereed proceedings of the 7th International Conference on Coordination Models and Languages, ...

اقرأ المزيد
عدد الكتب: 61 - 80 /351