ईबुक > विज्ञान > कंप्यूटर विज्ञान > एप्लीकेशन सॉफ्टवेयर > Jaco van der Pol & Michael Weber: Model Checking Software (PDF)

Jaco van der Pol & Michael Weber
Model Checking Software
17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

समर्थन

Adobe DRM

का आवरण Jaco van der Pol & Michael Weber: Model Checking Software (PDF)

€56.36

भाषा अंग्रेज़ी ● स्वरूप PDF ● ISBN 9783642161643 ● संपादक Jaco van der Pol & Michael Weber ● प्रकाशक Springer Berlin Heidelberg ● प्रकाशित 2010 ● डाउनलोड करने योग्य 3 बार ● मुद्रा EUR ● आईडी 6377802 ● कॉपी सुरक्षा Adobe DRM

एक DRM सक्षम ईबुक रीडर की आवश्यकता है

एक ही लेखक से अधिक ईबुक / संपादक

Jaco van der Pol Michael Weber

16,153 इस श्रेणी में ईबुक

का आवरण Sathiadev Mahesh & Cherie C. Trumbach: Agile Scrum Implementation and Its Long-Term Impact on Organizations

Sathiadev Mahesh & Cherie C. Trumbach: Agile Scrum Implementation and Its Long-Term Impact on Organizations

Software engineering has surfaced as an industrial field that is continually evolving due to the emergence of advancing technologies and innovative methodologies. Scrum is the most recent revolution …

का आवरण Mehdi Khosrow-Pour: Systems and Software Development, Modeling, and Analysis: New Perspectives and Methodologies

Mehdi Khosrow-Pour: Systems and Software Development, Modeling, and Analysis: New Perspectives and Methodologies

का आवरण Information Resources Management Association: Big Data: Concepts, Methodologies, Tools, and Applications

Information Resources Management Association: Big Data: Concepts, Methodologies, Tools, and Applications

का आवरण Siva Dorairaj & Imran Ghani: Emerging Innovations in Agile Software Development

Siva Dorairaj & Imran Ghani: Emerging Innovations in Agile Software Development

का आवरण Masha Etkind & Uri Shafrir: Concept Parsing Algorithms (CPA) for Textual Analysis and Discovery: Emerging Research and Opportunities

Masha Etkind & Uri Shafrir: Concept Parsing Algorithms (CPA) for Textual Analysis and Discovery: Emerging Research and Opportunities

का आवरण Chih-Min Lin & Zhixiong Zhong: Large-Scale Fuzzy Interconnected Control Systems Design and Analysis

Chih-Min Lin & Zhixiong Zhong: Large-Scale Fuzzy Interconnected Control Systems Design and Analysis

का आवरण M. Narasimha Murty & Hari Seetha: Modern Technologies for Big Data Classification and Clustering

M. Narasimha Murty & Hari Seetha: Modern Technologies for Big Data Classification and Clustering

का आवरण Ekbal Rashid: Enhancing Software Fault Prediction With Machine Learning: Emerging Research and Opportunities

Ekbal Rashid: Enhancing Software Fault Prediction With Machine Learning: Emerging Research and Opportunities

का आवरण Information Resources Management Association: Web Services: Concepts, Methodologies, Tools, and Applications

Information Resources Management Association: Web Services: Concepts, Methodologies, Tools, and Applications

का आवरण Sini Raj Pulari & Shriram K Vasudevan: Deep Learning

Sini Raj Pulari & Shriram K Vasudevan: Deep Learning

Deep Learning: A Comprehensive Guide provides comprehensive coverage of Deep Learning (DL) and Machine Learning (ML) concepts. DL and ML are the most sought-after domains, requiring a deep understand …

अगला पृष्ठ >>>