The course covers the fundamental concepts of computer programming with a focus on systematic algorithmic problem solving. Taught language is C++. No programming experience is required..

The course covers the fundamental concepts of computer programming with a focus on systematic algorithmic problem solving. Taught language is C++. No programming experience is required.

The course covers the fundamental concepts of computer programming with a focus on systematic algorithmic problem solving. Taught language is C++. No programming experience is required.

The course covers the fundamental concepts of computer programming with a focus on systematic algorithmic problem solving. Taught language is C++. No programming experience is required.

The course covers the basic concepts of computer programming.

Introduction to programming with a focus on systematic and algorithmic problem solving. Programming language is C++.

This course provides the foundations of programming and working with data. Computer Science II particularly stresses code efficiency and provides the basis for understanding, design, and analysis of algorithms and data structures. In terms of working with data, foundations required for understanding experimental data and notation and basic concepts for machine learning are covered.

Computer Science II lays the foundation for understanding, designing, and analyzing algorithms and data structures.It also provides an overview of various programming concepts, such as functional programming and static and dynamically typed programming languages.

The courses covers the foundations of design and analysis of algorithms and data structures, including graph theory and graph problems. It also introduces generic and parallel programming.

This course provides the foundations of programming and working with data. Computer Science II particularly stresses code efficiency and provides the basis for understanding, design, and analysis of algorithms and data structures.

The event provides an introduction to programming in C++ by means of an interactive tutorial.

The course focuses on formal methods for the modeling and analysis of security protocols for critical systems, ranging from key establishment protocols for secure communication to RFID protocols for identification. In addition, we discuss cryptographic modeling and analysis of security properties of protocols.

This course provides an introduction to Information Security. The focusis on fundamental concepts and models, basic cryptography, protocols and system security, and privacy and data protection. While the emphasis is on foundations, case studies will be given that examine different realizations of these ideas in practice.