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

عدد الكتب: 61 - 80 /215
978-3-540-85204-9
Electronic Government : 7th International Conference, EGOV 2008, Turin, Italy, August 31 - September 5, 2008. Proceedings

This book constitutes the refereed proceedings of the 7th International Conference on Electronic Government, EGOV 2008, held ...

اقرأ المزيد
978-3-540-32297-9
Embedded Software and Systems (vol. # 3820)

Welcome to the proceedings of the 2005 International Conference on Emb- ded Software and Systems (ICESS 2005) held in Xian, ...

اقرأ المزيد
978-3-030-79293-0
Emerging Drugs in Sport / Olivier Rabin, Ornella Corazza

Offers a timely analysis of the new challenges posed by this phenomenon in the anti-doping community. The authors present ...

اقرأ المزيد
978-0-387-74747-7
Emerging Nanotechnologies : Test, Defect Tolerance, and Reliability

Emerging Nanotechnologies: Test, Defect Tolerance and Reliability covers various technologies that have been developing over ...

اقرأ المزيد
978-0-387-74525-1
Enduring Bonds : The Significance of Interpersonal Relationships in Young Children’s Lives

This, the first volume in a series of edited books designed to synthesize research, theory, and practice, will focus on key ...

اقرأ المزيد
978-3-030-61648-9
Equity, Equality and Diversity in the Nordic Model of Education

Does the Nordic model of education still stand by its original principles and safeguard education for all? This Open Access ...

اقرأ المزيد
978-3-030-42274-5
European Guide to Power System Testing The ERIGrid Holistic Approach for Evaluating Complex Smart Grid Configurations

This book provides an overview of the ERIGrid validation methodology for validating CPES, a holistic power system testing ...

اقرأ المزيد
978-3-540-31487-5
Extreme Programming and Agile Processes in Software Engineering (vol. # 3556)

Extreme Programming has come a long way since its ?rst use in the C3 project almost 10 years ago. Agile methods have found ...

اقرأ المزيد
978-3-540-35095-8
Extreme Programming and Agile Processes in Software Engineering (vol. # 4044)

In its first editions, this conference was a get-together of a few pioneers who - bated about how to make agile processes ...

اقرأ المزيد
978-3-540-31714-2
FM 2005: Formal Methods

This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, ...

اقرأ المزيد
978-3-540-37216-5
FM 2006: Formal Methods

This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, ...

اقرأ المزيد
978-0-387-31069-5
Fault-Tolerance Techniques for SRAM-Based FPGAs

This book discusses fault-tolerance techniques for SRAM-based Field Programmable Gate Arrays (FPGAs). It starts by showing ...

اقرأ المزيد
978-1-4302-0458-9
First Steps: Developing BizTalk Applications

First Steps: Developing BizTalk Applications is a primer to most other introductory BizTalk books. If you feel like traditional ...

اقرأ المزيد
978-3-540-31848-4
Formal Approaches to Software Testing (vol. # 3395)

Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew ...

اقرأ المزيد
978-3-540-34455-1
Formal Approaches to Software Testing (vol. # 3997)

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...

اقرأ المزيد
978-3-540-49703-5
Formal Approaches to Software Testing and Runtime Verification

Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV ...

اقرأ المزيد
978-3-540-76650-6
Formal Methods and Software Engineering

This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, ...

اقرأ المزيد
978-3-540-32250-4
Formal Methods and Software Engineering (vol. # 3785)

This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 ...

اقرأ المزيد
978-3-540-78917-8
Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...

اقرأ المزيد
978-3-540-68855-6
Formal Techniques for Networked and Distributed Systems - FORTE 2008 : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for ...

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