Navigation
Skiplinks
Zum Inhalt springen
Zur Suche springen
Zur Hauptnavigation springen
Videoportal
Hauptnavigation
Kurse
Clips
Podcasts
Semester
Lehrende
FAU-Organisationen
Suche
Livestream
Hörsäle
FAQ
IdM Anmeldung
DE
Search:
Suchergebnisse für 'rulers'
Startseite
Suche
22 Kurse gefunden
Grundlagen der Elektrotechnik III 2024/2025
Prof. Dr.-Ing. Philipp Beckerle
Vorlesung
IdM-Anmeldung
... beliebiger Erregung zu analysieren Funktionsweise des Operationsverstä
rkers
...
Visualization 2023/2024
Prof. Dr. Tobias Günther
Vorlesung
IdM-Anmeldung
... data reduction (filtering, agreggation, focus and context), - lies in visualization (human biases and
rules
...
Machine Learning for Physicists 2023
Prof. Dr. Florian Marquardt
Vorlesung
IdM-Anmeldung
... Prerequisites: almost none, except for matrix multiplication and the chain
rule
. ...
Visualization 2022/2023
Prof. Dr. Tobias Günther
Vorlesung
IdM-Anmeldung
... filtering, agreggation, focus and context),<br /> - lies in visualization (human biases and
rules
...
IHT-Stuttgart Lecture Series - Halbleitertechnik I (HL I) - Bipolartechnik 2021
Prof. Dr.-Ing. Jörg Schulze
Vorlesung
Passwort / Studon
... <p>In dieser Vorlesung wird die elektronische Struktur des Festkö
rpers
behandelt ...
Dynamik starrer Körper 2021/2022
Prof. Dr.-Ing. Sigrid Leyendecker
Vorlesung
Studon
... ;gt; <li> <p class="formattedtext">Kinetik des starren Kö
rpers
...
Fachtagung Digitalisierung in der Medizintechnik - Auf dem Weg zum Human Digital Twin 2020/2021
Alexander Preis
Kongress
Passwort
... Quantität und Qualität der erfassbaren Biodaten des menschlichen Kö
rpers
...
Vorlesung zum Kurs Funktionelle Anatomie mit klinischen Bezügen 2020/2021
Prof. Dr. Friedrich Paulsen
Vorlesung
IdM-Anmeldung
... amp;amp;auml;dels sämtliche Knochen, Bänder und Gelenke des Kö
rpers
...
Seminar Meta Learning (SemMeL) 2020/2021
Prof. Dr. Andreas Maier
Themenvorträge
Frei / IdM-Anmeldung / Passwort / Studon
... ;gt;<b>Contents</b></dt> <dd>Meta-learning
refers
...
Medical Physics in Nuclear Medicine 2020/2021
Dr.-Ing. Philipp Ritt
Vorlesung
Studon
... With help of
rules
and standards, the students understand principles and core of radiation protection ...
Grundlagen der Elektrotechnik III (GET III) 2020/2021
PD Dr. Jürgen Seiler
Vorlesung
Studon
... ;chst die Funktionsweise und die Einsatzmöglichkeiten des Operationsverstä
rkers
...
Communication Systems 2020/2021
Prof. Dr. Reinhard German
Vorlesung
Studon
... In the tutorial practical tasks are performed in the laboratory: One laboratory contains several IP
routers
...
Praktikum FAPS - Produktionstechnologien dreidimensionaler Schaltungsträger (ProMID) - SS2020
Prof. Dr. Jörg Franke
Vortragsreihe
Keine Clips
... Design am PC über die Laser-Strukturierung des dreidimensionalen Kunststoffkö
rpers
...
Medizintechnik II 2020
Prof. Dr. Andreas Maier
Vorlesung
Frei
... Methoden und Geräte, welche die Anatomie und Funktion des Kö
rpers
für die ...
Multimedia Security 2017/2018
Dr. Christian Riess
Vorlesung
Frei
... What is the Bayes
rule
? ...
Formale Methoden der Softwareentwicklung 2016/2017
Dr. Tadeusz Litak
Vorlesung
Frei
... semantics of a simple programming languages like IMP, with special focus on axiomatic semantics (Hoare
rules
...
Advanced experimental physics: Particle and astroparticle physics 2018
Prof. Dr. Stefan Funk
Vorlesung
IdM-Anmeldung
... particles: Klein-Gordon equation, crossing symmetry, invariant amplitude and cross section, Fermi's Golden
Rule
...
Rudern
wie die Römer 2017/2018
Beitragsreihe
Frei
Geomorphologie und Bodengeographie 2015/2016
Prof. Dr. Rupert Bäumler
Vorlesung
Studon
Bodengeographie vertieft 2015
Prof. Dr. Rupert Bäumler
Vorlesung
Studon
Methode der Finiten Elemente (FE) 2014
Prof. Dr. Kai Willner
Vorlesung
Frei
... gt;Numerical Implementation quadrature
rules
...
Foundations of Quantum Mechanics 2013
Prof. Dr. Florian Marquardt
Vorlesung
Frei
... Do you believe that trajectories are
ruled
out by Quantum Mechanics? ...
151 Clips gefunden
14-FAU Alumni #JobInsights mit Heike Nowak-Schwerdtfeger, Psychologie (Dipl.) & Organisations- und Personalentwicklung (M.A.) 2024
Frei
Sonstiges
2025-04-22
... former FAU students provide current students and graduates with insights into their current professional
roles
...
54-Beyond the Patterns - Prof. Dr. Huan Song, Sichuan University – Health Consequences Following Psychiatric Disorder or Trauma Exposure 2021/2022
IdM-Anmeldung
universitäre Vorlesung
2025-01-24
... Song has conceptualized the term ‘disease module’, which
refers
to clusters of diseases ...
0-Livestream - Grundlagen der Elektrotechnik III 2024/2025
IdM-Anmeldung
universitäre Vorlesung
2024-10-17
... zu analysieren</li> <li>Funktionsweise des Operationsverstä
rkers
...
1-FAU MoD Lecture: Thoughts on Machine Learning 2024/2025
Rupert
Klein
Frei
universitäre Vorlesung
2024-09-20
...
Rupert
Klein Affiliation: Mathematik & Informatik, Freie Universität Berlin (Germany) Abstract ...
6-A Quest for Quantum Computing at Higher Temperatures 2024
IdM-Anmeldung
Sonstiges
2024-06-19
... symmetry protected states that are strongly entangled across the manifold and introduces selection
rules
...
15-Lies in Visualization &
Rules
of Thumb 2023/2024
IdM-Anmeldung
universitäre Vorlesung
2024-02-01
7-Federico Carollo - Absorbing state phase transitions in open quantum systems and quantum cellular automata 2023/2024
IdM-Anmeldung / Passwort
Sonstiges
2023-12-05
... These systems typically follow elementary
rules
– for instance describing the dynamics ...
6-Amita Deb - Optical response of a quantum degenerate gas 2023/2024
IdM-Anmeldung / Passwort
Sonstiges
2023-11-28
... will discuss two theoretical approaches which explain these results, one based on the Fermi golden
rule
...
4-Síle Nic Chormaic - Optical Nanofibres and Cold Rubidium Atoms 2023/2024
IdM-Anmeldung / Passwort
Sonstiges
2023-11-07
... Such an electric field can be used to study spin-selection
rules
in single-frequency, two-photon ...
17-Q4 - Infektionen des Herzens 2023/2024
Dieter
Ropers
Studon
Sonstiges
2023-10-23
0-Livestream - Visualization 2023/2024
IdM-Anmeldung
universitäre Vorlesung
2023-10-19
... data reduction (filtering, agreggation, focus and context), - lies in visualization (human biases and
rules
...
15-Q4 - Infektionen des Herzens 2023
Dieter
Ropers
Studon
Sonstiges
2023-04-21
1-Machine Learning for Physicists 2023
IdM-Anmeldung
universitäre Vorlesung
2023-04-20
... Prerequisites: almost none, except for matrix multiplication and the chain
rule
. ...
20-Der Kampf gegen Antibiotika-Resistenz 2022/2023
Frei
Veranstaltung für die Öffentlichkeit
2023-03-01
... dabei auf eine neuartige Transportmöglichkeit von Antibiotika innerhalb des menschlichen Kö
rpers
...
11-Lies in Visualization &
Rules
of Thumb 2022/2023
IdM-Anmeldung
universitäre Vorlesung
2023-01-16
0-Livestream - Visualization 2022/2023
IdM-Anmeldung
universitäre Vorlesung
2022-10-24
... (filtering, agreggation, focus and context), - lies in visualization (human biases and
rules
...
37-NHR PerfLab Seminar 2022-10-18: New Features in MPI 4.0 2022/2023
Frei
Sonstiges
2022-10-18
... An outlook on MPI-4.1 and 5.0 includes a discussion of the progress
rules
of MPI and errata on the MPI ...
7-Human Computer Interaction (HCI) - Basics & Principles 2022
IdM-Anmeldung
Sonstiges
2022-05-18
... <p>This chapter covers the Basics and Principles of HCI and introduces common
rules
how ...
11-Lies in Visualization &
Rules
of Thumb 2021/2022
IdM-Anmeldung
universitäre Vorlesung
2022-01-11
5-Grazyna Baranowska: "Human Rights of Migrants: Missing Migrants in Europe and the Role of Businesses" 2021/2022
Frei
Sonstiges
2021-12-21
... the human rights of migrants with a focuss on "missing migrants" and the
roles
...
2-Wie
rudern
die Römer? - Der Nachbau römischer Flussboote an der FAU 2021/2022
Frei
Veranstaltung für die Öffentlichkeit
2021-12-08
1-Dynamik starrer Körper 2021/2022
Studon
universitäre Vorlesung
2021-10-20
... amp;gt; </li> <li> <p>Kinetik des starren Kö
rpers
...
5-Q4 - Infektionen des Herzens 1 2020
Dieter
Ropers
Studon
Sonstiges
2021-10-19
6-Q4 - Infektionen des Herzens 2 2020
Dieter
Ropers
Studon
Sonstiges
2021-10-19
7-Q4 - Infektionen des Herzens 3 2020
Dieter
Ropers
Studon
Sonstiges
2021-10-19
42-Beyond the Patterns - Nils Köbis: Ethical Behavior by Humans and Machines 2020/2021
Frei
universitäre Vorlesung
2021-09-22
... We propose a framework that highlights four main social
roles
through which both humans and machines ...
12-nsupervised learning by competing hidden units by Amin Heydarshahi 2021
IdM-Anmeldung
Sonstiges
2021-06-21
... In the present paper we propose an unusual learning
rule
, which has a degree of biological plausibility ...
32-Beyond the Patterns - Raghavendra Selvan: Quantum Tensor Networks for Medical Image Analysis 2020/2021
Frei
universitäre Vorlesung
2021-05-26
... matrix product state (MPS) tensor network under the hood, which efficiently learns linear decision
rules
...
2-Industrial product design of disperse systems (Jens Uhlemann - Bayer Crop Science) 2021
Passwort
Sonstiges
2021-05-10
... leader in the Flavor & Fragrance industries in various R&D and product supply
roles
...
29-Beyond the Patterns - Fabian Isensee - nnU-Net: a self-configuring method for deep learning-based biomedical image segmentation 2020/2021
Frei
universitäre Vorlesung
2021-05-05
... The key design choices in this process are modeled as a set of fixed parameters, interdependent
rules
...
4-DES-1-2-4 Reguläre Ausdrücke 2020
Studon
universitäre Vorlesung
2021-05-03
... amp;gt;Reguläre Audrücke, Darstellbarkeit als endlicher Automat und Ardens
Rule
...
9-Clemens Richter (Sino-German Institute of Law - CDIR): "The
Rule
of Law as a Pillar of Reform and 2020/2021
Frei
Sonstiges
2021-04-29
25-Beyond the Patterns - Jochen Hoffmann - Information exchange as an infringement of competition law 2020/2021
Frei
universitäre Vorlesung
2021-04-21
... The lecture gives a brief introduction to the
rules
against coordinated behavior and explains the difference ...
24-Beyond the Patterns - Alicia Fornés - Computer Vision for Handwritten Document Analysis 2020/2021
Frei
universitäre Vorlesung
2021-04-10
... Abstract submitted to the International Symposium on
Runes
and Runic Inscriptions (ISRRI), 20|21& ...
3-27.2. Explanation-Based Learning 2021
Frei
universitäre Vorlesung
2021-03-30
...
Rules
and proofs get generalized and it is discussed how the efficiency can be improved. ...
12-Recap Clip 3.12: Bayes'
Rule
2021
Frei
universitäre Vorlesung
2021-03-30
... <p>Recap: Bayes'
Rule
</p> <p>Main video on the ...
24-Nonlinear and measure-theoretic methods for large biological networks (Benedetto Piccoli,
Rutgers
University 2020/2021
Frei
Sonstiges
2021-02-11
1-21.1. Introduction 2021
Frei
universitäre Vorlesung
2021-02-01
... <p>A short reminder of the
rules
from last chapter, some applications and the agenda for ...
11-20.5. Basic Probabilistic Reasoning Methods 2021
Frei
universitäre Vorlesung
2021-01-28
... <p>Product
rule
, Chain
rule
, Marginalization and Normalization. ...
12-Bayes'
Rule
2021
Frei
universitäre Vorlesung
2021-01-28
... <p>Explanation and application of Bayes'
Rule
. ...
13-20.7. Conditional Independence 2021
Frei
universitäre Vorlesung
2021-01-28
... <p>Bayes'
Rule
with multiple evidence and how conditional independence helps ...
7-William Matthews (London School of Economics): "Coherence, Cognition, and Causation: Understanding Cultural Differences through Chinese and Roman Divination" 2020/2021
Frei
Sonstiges
2021-01-28
... In contrast, forms of divination which arose in comparable societies and occupied similar social
roles
...
27-ElNuMa Lecture January 21 2020/2021
IdM-Anmeldung
Sonstiges
2021-01-21
... lecture introduces Romberg Integration which applies Richardson extrapolation to Composite Trapezoidal
Rule
...
6-China-Malaysia Relations Before, During, and After Mahathirs Second
Rule
(2018-February 2020)" 2020/2021
Frei
Sonstiges
2021-01-21
24-ElNuMa Lecture January 14 2020/2021
IdM-Anmeldung
Sonstiges
2021-01-14
... Trapezoidal and Simpson's
rule
). </p> ...
30-Perturbation Theory: Feynman
rules
2020/2021
IdM-Anmeldung / Passwort / Studon
Sonstiges
2021-01-10
8-Basic ALC: Concepts,
Roles
, and Quantification 2020/2021
Frei
universitäre Vorlesung
2021-01-02
4-(CNRS, France): "Characterizing the World: Legal Decision Making and the Passage from Facts to
Rule
2020/2021
Frei
Sonstiges
2020-12-10
... law: the practice of legal decision-making, that is, the ways in which law users make sense of the
rules
...
5-Seminar Meta Learning (SemMeL) - Nicolas Krieg - Meta Dataset - A Dataset of Datasets for Meta Learning 2020/2021
IdM-Anmeldung
Sonstiges
2020-11-30
... </p> <p>Abstract: Few-shot classification
refers
to learning ...
5-First-Order Natural Deduction 2020/2021
Frei
universitäre Vorlesung
2020-11-28
... <p>Natural Deduction
rules
for FOL explained with examples. ...
10-Calculi for Automated Theorem Proving: Analytical Tableaux (Part 1) 2020/2021
Frei
universitäre Vorlesung
2020-11-13
... <p>Analytical Tableaux: idea,
rules
, examples and entailment.</p> ...
11-Calculi for Automated Theorem Proving: Analytical Tableaux (Part 2) 2020/2021
Frei
universitäre Vorlesung
2020-11-13
... <p>Explanation of propositional identities and derived
rules
of inference. ...
1-Virgin Mothers and Hell-Bent Sons: Daoist Rituals for Delivering Mothers from Blood Lake Hell 2020/2021
IdM-Anmeldung
Sonstiges
2020-11-04
... "</p> <p>Jessey Choo (Cultural History of Medieval China;
Rutgers
...
5-Formal Systems (Syntax and Semantics in General) (Part 1) 2020/2021
Frei
universitäre Vorlesung
2020-11-02
... <p>Definition of logical systems, derivation systems and inference
rules
. ...
1-Seminar Meta Learning (SemMeL) - Good Scientific Presentations 2020/2021
IdM-Anmeldung / Passwort
Sonstiges
2020-11-02
... ;gt;<b>Contents</b></dt> <dd>Meta-learning
refers
...
10-Announcement: Kalah Championship 2020/2021
Frei
universitäre Vorlesung
2020-10-28
... A short explanation of Kalah, the
rules
and rewards. ...
59-Lecture 09, video 06: Sum
rules
2020/2021
IdM-Anmeldung / Passwort
universitäre Vorlesung
2020-10-24
... <p>Lecture 09, video 06:</p> <p>Sum
rules
</p> ...
60-Lecture 09, video 07: Applicaton examples for sum
rules
: aluminium 2020/2021
IdM-Anmeldung / Passwort
universitäre Vorlesung
2020-10-24
... amp;lt;p>Lecture 09, video 07:</p> <p>Applicaton examples for sum
rules
...
61-Lecture 09, video 08: Applicaton examples for sum
rules
: Burstein Moss shift 2020/2021
IdM-Anmeldung / Passwort
universitäre Vorlesung
2020-10-24
... amp;lt;p>Lecture 09, video 08:</p> <p>Applicaton examples for sum
rules
...
62-Lecture 09, video 09: Applicaton examples for sum
rules
: Superconducting phase transition 2020/2021
IdM-Anmeldung / Passwort
universitäre Vorlesung
2020-10-24
... amp;lt;p>Lecture 09, video 09:</p> <p>Applicaton examples for sum
rules
...
63-Lecture 09, video 10: Application examples for sum
rules
: Electroreflectance 2020/2021
IdM-Anmeldung / Passwort
universitäre Vorlesung
2020-10-24
64-Lecture 10, video 01: Kasha's
rule
2020/2021
IdM-Anmeldung / Passwort
universitäre Vorlesung
2020-10-24
... <p>Lecture 10, video 01:</p> <p>Kasha's
rule
& ...
21-Lecture 04, video 03: Selection
rules
related to a mirror plane 2020/2021
IdM-Anmeldung / Passwort
universitäre Vorlesung
2020-10-22
... <p>Lecture 04, video 03:</p> <p>Selection
rules
related to ...
26-Lecture 04, video 08: Optical selection
rules
for benzene 2020/2021
IdM-Anmeldung / Passwort
universitäre Vorlesung
2020-10-22
... <p>Lecture 04, video 08:</p> <p>Optical selection
rules
for ...
31-Lecture 05, video 05: Optical selection
rules
related to crystallines symmetry 2020/2021
IdM-Anmeldung / Passwort
universitäre Vorlesung
2020-10-22
... <p>Lecture 05, video 05:</p> <p>Optical selection
rules
related ...
50-Deep Learning 2020/2021
IdM-Anmeldung
universitäre Vorlesung
2020-10-12
... “GANs Trained by a Two Time-Scale Update
Rule
Converge to a Local Nash Equilibrium& ...
65-Deep Learning 2020/2021
IdM-Anmeldung
universitäre Vorlesung
2020-10-12
... Christopher Syben, Bernhard Stimpel, Jonathan Lommen, Tobias Würfl, Arnd Dö
rfler
...
50-Deep Learning - Plain Version 2020 2020/2021
Frei
universitäre Vorlesung
2020-10-12
... “GANs Trained by a Two Time-Scale Update
Rule
Converge to a Local Nash Equilibrium& ...
65-Deep Learning - Plain Version 2020 2020/2021
Frei
universitäre Vorlesung
2020-10-12
... Christopher Syben, Bernhard Stimpel, Jonathan Lommen, Tobias Würfl, Arnd Dö
rfler
...
65-Deep Learning - Known Operator Learning Part 4 2020
Frei
universitäre Vorlesung
2020-07-10
... Christopher Syben, Bernhard Stimpel, Jonathan Lommen, Tobias Würfl, Arnd Dö
rfler
...
65-Deep Learning - Known Operator Learning Part 4 2020
IdM-Anmeldung
universitäre Vorlesung
2020-07-09
... Christopher Syben, Bernhard Stimpel, Jonathan Lommen, Tobias Würfl, Arnd Dö
rfler
...
50-Deep Learning - Unsupervised Learning Part 5 2020
IdM-Anmeldung
universitäre Vorlesung
2020-06-21
... “GANs Trained by a Two Time-Scale Update
Rule
Converge to a Local Nash Equilibrium& ...
50-Deep Learning - Unsupervised Learning Part 5 2020
Frei
universitäre Vorlesung
2020-06-21
... “GANs Trained by a Two Time-Scale Update
Rule
Converge to a Local Nash Equilibrium& ...
33-Advanced Experimental Physics B: Particle and Astroparticle Physics - The Feynman
rules
of QED 2020
Studon
Sonstiges
2020-05-12
3-Medizintechnik II - Systemtheorie Teil 2 2020
Frei
universitäre Vorlesung
2020-04-16
... Methoden und Geräte, welche die Anatomie und Funktion des Kö
rpers
für die ...
4-Medizintechnik II - Systemtheorie Teil 3 2020
Frei
universitäre Vorlesung
2020-04-16
... Methoden und Geräte, welche die Anatomie und Funktion des Kö
rpers
für die ...
5-Medizintechnik II - Systemtheorie Teil 4 2020
Frei
universitäre Vorlesung
2020-04-16
... Methoden und Geräte, welche die Anatomie und Funktion des Kö
rpers
für die ...
1-Medizintechnik II - Einführung 2020
Frei
universitäre Vorlesung
2020-04-15
... Methoden und Geräte, welche die Anatomie und Funktion des Kö
rpers
für die ...
2-Medizintechnik II - Systemtheorie Teil 1 2020
Frei
universitäre Vorlesung
2020-04-15
... Methoden und Geräte, welche die Anatomie und Funktion des Kö
rpers
für die ...
1-Patente in der deutschen Forschungslandschaft und im internationalen Vergleich 2019/2020
IdM-Anmeldung
Informationsveranstaltung
2019-11-06
... Die starke Positionierung der FAU im
Reuters
-Innovationsranking beruht gerade auch auf unserer ...
17-Schüler
rudern
wie die Römer 2019
Frei
Imagefilm, Forschungsvideo
2019-07-16
4-Revelation, the promulgation of Christ, and prophecy: The Past as Memory of the Future in
Rupert
of Deutz 2018/2019
Frei
universitäre Vorlesung
2018-11-27
12-Die Riemen und die
Ruder
2017/2018
Frei
Sonstiges
2018-02-27
12-Multimedia Security 2017/2018
Frei
universitäre Vorlesung
2018-02-05
... What is the Bayes
rule
? ...
11-Multimedia Security 2017/2018
Frei
universitäre Vorlesung
2018-01-22
... What is the Bayes
rule
? ...
10-Multimedia Security 2017/2018
Frei
universitäre Vorlesung
2018-01-08
... What is the Bayes
rule
? ...
9-Multimedia Security 2017/2018
Frei
universitäre Vorlesung
2017-12-18
... What is the Bayes
rule
? ...
8-Multimedia Security 2017/2018
Frei
universitäre Vorlesung
2017-12-11
... What is the Bayes
rule
? ...
7-Multimedia Security 2017/2018
Frei
universitäre Vorlesung
2017-12-04
... What is the Bayes
rule
? ...
6-Multimedia Security 2017/2018
Frei
universitäre Vorlesung
2017-11-27
... What is the Bayes
rule
? ...
5-Multimedia Security 2017/2018
Frei
universitäre Vorlesung
2017-11-20
... What is the Bayes
rule
? ...
4-Multimedia Security 2017/2018
Frei
universitäre Vorlesung
2017-11-13
... What is the Bayes
rule
? ...
3-Multimedia Security 2017/2018
Frei
universitäre Vorlesung
2017-11-06
... What is the Bayes
rule
? ...
2-Multimedia Security 2017/2018
Frei
universitäre Vorlesung
2017-10-30
... What is the Bayes
rule
? ...
1-Multimedia Security 2017/2018
Frei
universitäre Vorlesung
2017-10-16
... What is the Bayes
rule
? ...
8-Krafttraining - Fortgeschrittene mittel -
Rudern
2017
Frei
Sonstiges
2017-05-03
8-Krafttraining - Fortgeschrittene leicht -
Rudern
mit Theraband 2017
Frei
Sonstiges
2017-05-02
8-Krafttraining - Fortgeschrittene schwer - Theraband
Rudern
2017
Frei
Sonstiges
2017-05-02
19-Formale Methoden der Softwareentwicklung 2016/2017
Frei
universitäre Vorlesung
2017-02-09
... semantics of a simple programming languages like IMP, with special focus on axiomatic semantics (Hoare
rules
...
18-Formale Methoden der Softwareentwicklung 2016/2017
Frei
universitäre Vorlesung
2017-02-01
... semantics of a simple programming languages like IMP, with special focus on axiomatic semantics (Hoare
rules
...
Bereit zu gehen?
×
Wählen Sie unten "Abmelden", wenn Sie bereit sind, Ihre aktuelle Sitzung zu beenden.