• Lee and Seshia, Introduction to Embedded Systems
  • Introduction to 21 CFR Part 11 | Ofni Systems
  • Introduction to Computer Science using Java

Also the surging popularity of, and reliance upon, computer simulation as a problem solving and decision support systems tools.

Introduction to Computer Information Systems/Computers …

EE319K Introduction to Embedded Systems

For applications of GT to inventory systems, job-shop, and computer time-sharing problems.
All techniques were presented in step-by-step format to facilitate implementation in a variety of operating systems and computers, thus improving portability.

Intensive Introduction to Computer Science Open …

Besides having the potential of large computational savings, this technique can be a powerful tool in real-time optimization and control, where observations are taken as the system is evolving in time.


Introduction to Computer Programming - What Is It

Even though, in principle, some systems are analytically tractable, the analytical effort required to evaluate the solution may be so formidable that computer simulation becomes attractive.

This course provides an introduction to fundamental concepts of computer systems and computer architecture. You will learn the C programming language and an instruction set (machine language) as a basis for understanding how computers represent data, process information, and execute programs. The course also focuses on the Unix environment and includes a weekly hands-on lab session.


Introduction to fundamental concepts of programming and computer science for students who have little or no experience in these areas. Principles of modern object-oriented programming languages: abstraction, types, polymorphism, encapsulation, and inheritance. Basic algorithmic techniques and informal complexity analysis. Graphical user interfaces. Substantial programming assignments in Python and Java. This course is for students who do not have an academic background in computer science and who are not pursuing the Master's in Computer Information Technology and who are not graduate students in the CIS Department.


This course introduces the theory and practice of formal methods for the design and analysis of concurrent and embedded systems. The emphasis is on the underlying logical and automata-theoretic concepts, the algorithmic solutions, and heuristics to cope with the high computational complexity. Topics: Models and semantics of reactive systems; Verification algorithms; Verification techniques. Topics may vary depending on instructor.

CINS 101 -- Introduction to Computers

CIS 673 - Computer-Aided Verification
Prerequisite: Basic knowledge of algorithms, data structures, automata theory, propositional logic, operating systems, communication protocols, and hardware (CIS 262, CIS 380, or permission of the instructor).

CIS 100 Introduction to Computer Systems - Triton College

Introduction to fundamental concepts of programming and computer science. Principles of modern object-oriented programming languages: abstraction, types, polymorphism, encapsulation, inheritance, and interfaces. This course will also focus on best practices and aspects of software development such as software design, software testing, pair programming, version control, and using IDEs. Substantial programming assignments.