Filter by
The language used throughout the course, in both instruction and assessments.
Results for "infinite-state stochastic model checking methods"
University of Colorado System
Skills you'll gain: Unified Modeling Language, Unit Testing, Software Design, Object Oriented Design, Software Engineering, Software Development Tools, Software Testing, Development Testing, Data Ethics, Software Architecture, Design Strategies, Dataflow, Conceptual Design
University of Colorado Boulder
Skills you'll gain: Agile Methodology, System Programming, Embedded Software, Software Testing, Embedded Systems, Linux, Software Development Methodologies, Linux Administration, Docker (Software), Git (Version Control System), Containerization, Linux Commands, Operating Systems, Shell Script, C++ (Programming Language), Electrical and Computer Engineering, Debugging, File Systems, Internet Of Things, OS Process Management
University of Pennsylvania
Skills you'll gain: Influencing, Persuasive Communication, Organizational Change, Change Management, Overcoming Obstacles, Behavioral Economics, Decision Making, Consumer Behaviour, Cost Benefit Analysis, Research
University of Minnesota
Skills you'll gain: Patient Education and Support, Patient Safety, Food Quality Assurance And Control, Medication Administration, Pharmaceuticals, Clinical Research, Health Care, Regulatory Compliance, General Medicine, Mental Health, Risk Analysis, Science and Research
Status: FreeUniversity of Copenhagen
Skills you'll gain: Health Systems, Infectious Diseases, Health Care, Water Resources, Epidemiology, Health Administration, Sanitation, Preventative Care, Environment Health And Safety, Health Assessment, Mental Health, Socioeconomics, Governance, Environment and Resource Management, Child Welfare, Cleanliness, Human Development, Demography
Macquarie University
Skills you'll gain: Time Series Analysis and Forecasting, Forecasting, Microsoft Excel, Excel Formulas, Trend Analysis, Predictive Modeling, Graphing, Statistical Analysis, Process Optimization, Business Intelligence
University of Washington
Skills you'll gain: R Programming, Text Mining, Statistical Analysis, Correlation Analysis, Web Scraping, Regression Analysis, Analytics, Big Data, Data Analysis, Data Mining, Unstructured Data, Data Visualization Software, Data Collection, Application Programming Interface (API), Natural Language Processing, Python Programming
Status: FreeUniversitat de Barcelona
Skills you'll gain: Entrepreneurship, Market Opportunities, Business Planning, Lean Methodologies, Business Modeling, New Business Development, Business Strategies, Project Finance, Fundraising, Value Propositions
Status: FreeÉcole Polytechnique Fédérale de Lausanne
Skills you'll gain: Sanitation, Water Resources, Health And Safety Standards, Safety Assurance, Civil Engineering, Public Works, Emergency Response, Program Evaluation, Environmental Monitoring, Infectious Diseases, Governance
Skills you'll gain: Autodesk, Computer-Aided Design, Manufacturing Processes, 3D Modeling, Generative AI, Mechanical Design, Design Thinking, Engineering Design Process
Status: FreePeking University
Skills you'll gain: Bioinformatics, Markov Model, Life Sciences, Big Data, Data Mining, Computational Thinking, Science and Research, Data Analysis Software, Algorithms, Statistical Methods, Databases, Machine Learning
Michigan State University
Skills you'll gain: Peer Review, Cross Platform Development, User Interface (UI) Design, Software Design, User Interface (UI), C# (Programming Language), UI Components, Design, Application Development, Systems Development, Object Oriented Programming (OOP), Development Environment, Computer Programming, Scripting, Creativity, Computer Graphics
In summary, here are 10 of our most popular infinite-state stochastic model checking methods courses
- Software Design Methods and Tools: University of Colorado System
- Advanced Embedded Linux Development: University of Colorado Boulder
- Removing Barriers to Change: University of Pennsylvania
- Herbal Medicine: University of Minnesota
- An Introduction to Global Health: University of Copenhagen
- Excel Time Series Models for Business Forecasting: Macquarie University
- Social Media Data Analytics: University of Washington
- The entrepreneur's guide for beginners: Universitat de Barcelona
- Introduction to Household Water Treatment and Safe Storage: École Polytechnique Fédérale de Lausanne
- Generative Design for Additive Manufacturing: Autodesk
