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

عدد الكتب: 1 - 20 /36
978-3-540-69336-9
Ada 2005 Reference Manual. Language and Standard Libraries

The Ada 2005 Reference Manual incorporates these changes in the overall standard text and thus will replace the former versions ...

اقرأ المزيد
9781032135274
Advancing Computational Intelligence Techniques for Security Systems Design / Ozzal Sharma, Parmanand Astya, Anupam Baliyan, Salah-ddine Krit, Vishal Jain, Mohammad Zubair Khan

Security systems have become an integral part of the building and large complex setups, and intervention of the computational ...

اقرأ المزيد
978-3-540-31969-6
Automated Technology for Verification and Analysis

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding ...

اقرأ المزيد
978-3-030-52306-0
Business Modeling and Software Design : 10th International Symposium, BMSD 2020, Berlin, Germany, July 6-8, 2020, Proceedings

This book constitutes the refereed proceedings of the 10th International Symposium on Business Modeling and Software Design, ...

اقرأ المزيد
978-3-540-26891-8
Categories for Software Engineering

This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical ...

اقرأ المزيد
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-74780-2
Cooperative Design, Visualization, and Engineering

The cooperative design, visualization and engineering community sensed the economic pulse of a new giant economy where cooperation ...

اقرأ المزيد
978-3-540-74780-2
Cooperative Design, Visualization, and Engineering

The cooperative design, visualization and engineering community sensed the economic pulse of a new giant economy where cooperation ...

اقرأ المزيد
978-3-540-31976-4
Cooperative Design, Visualization, and Engineering (vol. # 3675)

This book constitutes the refereed proceedings of the Second International Conference on Cooperative Design, Visualization, ...

اقرأ المزيد
NoIMG
Cooperative Design, Visualization, and Engineering (vol. # 4101)

This book constitutes the refereed proceedings of the Third International Conference on Cooperative Design, Visualization, ...

اقرأ المزيد
978-3-540-31927-6
Declarative Agent Languages and Technologies II

The second edition of the workshop on Declarative Agent Languages and Te- nologies (DALT 2004) was held July 2004 in New ...

اقرأ المزيد
978-3-540-33107-0
Declarative Agent Languages and Technologies III

The workshop on Declarative Agent Languages and Technologies is a we- established venue for researchers interested in sharing ...

اقرأ المزيد
978-3-540-68961-4
Declarative Agent Languages and Technologies IV

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Declarative Agent Languages ...

اقرأ المزيد
978-3-540-77564-5
Declarative Agent Languages and Technologies V : 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative ...

اقرأ المزيد
978-0-387-75843-5
Dialogue as a Collective Means of Design Conversation

Dialogue as a Collective Means of Design Conversation is the second volume edited by Patrick M. Jenlink and Bela H. Banathy ...

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

اقرأ المزيد
عدد الكتب: 1 - 20 /36