หนังสือดิจิตอล > วิทยาศาสตร์ > วิทยาศาสตร์คอมพิวเตอร์ > ซอฟต์แวร์แอปพลิเคชัน > 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 ● ID 6377802 ● ป้องกันการคัดลอก Adobe DRM

ต้องใช้เครื่องอ่านหนังสืออิเล็กทรอนิกส์ที่มีความสามารถ DRM

หนังสืออิเล็กทรอนิกส์เพิ่มเติมจากผู้แต่งคนเดียวกัน / บรรณาธิการ

Jaco van der Pol Michael Weber

16,153 หนังสืออิเล็กทรอนิกส์ในหมวดหมู่นี้

ปกของ R Agusthiyar & J Dhilipan: Human Machine Interaction in the Digital Era

R Agusthiyar & J Dhilipan: Human Machine Interaction in the Digital Era

The Human Machine Interaction in the Digital Era (ICHMIDE) 2023 conference aims to address the main issues of concern in the design issues with a particular emphasis on the design and development of …

ปกของ Sourabh Sharma: Modern API Development with Spring 6 and Spring Boot 3

Sourabh Sharma: Modern API Development with Spring 6 and Spring Boot 3

<p><b>Discover ways to enhance your application”s functionality through hands-on learning for designing, testing, securing, deploying, and maintaining production-ready …

ปกของ Jimmy Engstrom: Web Development with Blazor

Jimmy Engstrom: Web Development with Blazor

Develop modern web UIs with Blazor Server and Blazor Web Assembly now introducing Streaming and Static Server-Side Rendering (SSR) and flexible hosting models in .NET 8Purchase of the print or Kindle …

ปกของ Ahmad Mozaffar: Mastering Blazor WebAssembly

Ahmad Mozaffar: Mastering Blazor WebAssembly

<p><b>Leverage the power of Web Assembly with .NET 7 and C# to develop cutting-edge frontend web applications systematically with this comprehensive guide Purchase of the print or Kindle …

ปกของ Aakanksha (NIT Raipur) Sharaff & G R (International Institute of Information Technology Bangalore, India) Sinha: Data Science and Its Applications

Aakanksha (NIT Raipur) Sharaff & G R (International Institute of Information Technology Bangalore, India) Sinha: Data Science and Its Applications

The term ‘data’ being mostly used, experimented, analyzed, and researched, ‘ Data Science and its Applications ‘ finds relevance in all domains of research studies including science, engineering, tec …

ปกของ Steven Holzner: The Complete Idiot''s Guide to SQL

Steven Holzner: The Complete Idiot”s Guide to SQL

Provides a practical overview of the most common database management tasks for those who need to manage …

ปกของ Vimal Kumar & Shashwat Pathak: Python Programming

Vimal Kumar & Shashwat Pathak: Python Programming

Maintaining a practical perspective, Python Programming: A Practical Approach acquaints you with the wonderful world of programming. The book is a starting point for those who want to learn Python pr …

ปกของ Sandhya (CCEW Pune) Arora & Indu (Oracle, Canada) Bhagat: Computing Technologies and Applications

Sandhya (CCEW Pune) Arora & Indu (Oracle, Canada) Bhagat: Computing Technologies and Applications

Making use of digital technology for social care is a major responsibility of the computing domain. Social care services require attention for ease in social systems, e-farming, and automation, etc. …

ปกของ Lakhmi C. Jain & N.M. (University of South Australia, Adelaide, Australia) Martin: Fusion of Neural Networks, Fuzzy Systems and Genetic Algorithms

Lakhmi C. Jain & N.M. (University of South Australia, Adelaide, Australia) Martin: Fusion of Neural Networks, Fuzzy Systems and Genetic Algorithms

Artificial neural networks can mimic the biological information-processing mechanism in – a very limited sense. Fuzzy logic provides a basis for representing uncertain and imprecise knowledge and …

ปกของ Usharani (KONERU LAKSHMAIH EDUCATION FOUNDATION VASSDESWARAM, INDIA) Bhimavarapu & Jude D. (Karunya University, India) Hemanth: Learning Professional Python

Usharani (KONERU LAKSHMAIH EDUCATION FOUNDATION VASSDESWARAM, INDIA) Bhimavarapu & Jude D. (Karunya University, India) Hemanth: Learning Professional Python

Volume 2 of Learning Professional Python is a resource for students who want to learn Python even if they don’t have any programming knowledge and for teachers who want a comprehensive introduction t …

หน้าต่อไป >>>