euk.cs.ovgu.de
Echtzeitsysteme und Kommunikation
Willkommen auf den Webseiten des Lehrstuhls Echtzeitsysteme und Kommunikation (EuK)! Der Lehrstuhl Echtzeitsysteme und Kommunikation. Ist einer der 7 Lehrstühle am Institut für Intelligente Kooperierende Systeme. Der Fakultät für Informatik. An der Otto-von-Guericke-Universität Magdeburg. Leitung: Prof. Dr. rer. nat. Edgar Nett. Lehrstuhl Echtzeitsysteme und Kommunikation. Institut für Intelligente Kooperierende Systeme (IKS). EuK Uni Magdeburg Login.
theo.cs.ovgu.de
Theoretical Computer ScienceResearch group for theoretical computer science - Logic, Spatial reasoning, Formal methods.
Zum Textanfang (Navigation überspringen). Research group for theoretical computer science - Logic, Spatial reasoning, Formal methods. Our research and teaching focuses on the development and application of formal and semantic (i.e. mathematically grounded) methods to the study, modeling and verification of complex systems in various fields of computer science, varying from constraint reasoning about space and time to software specification, ontologies and conceptual blending.
ottocar.cs.ovgu.de
oTToCAR – CAROLO-Cup Team der Otto-von-Guericke Universität Magdeburg
CAROLO-Cup Team der Otto-von-Guericke Universität Magdeburg. Zum Abschluss des Wochenendes gab es noch eine Beleuchtungsfahrt, bei der die Front-LEDs unter Beweis stellen durften, wozu sie in der Lage sind. Die Impressionen konnten leider nicht so beeindruckend eingefangen werden, dennoch liefert das nachfolgende Video einen ersten Eindruck. Dafür wissen wir jetzt, dass der Abstrahlwinkel nach oben noch begrenzt werden darf 🙂. Der diesjährige CaroloCup wurde gestern in der Stadthalle Braunschweig ausget...
egotechon.cs.ovgu.de
ego.tech-on
Sucht kluge Köpfe mit frischen Ideen, die sich für Technik begeistern und davon träumen, später ihr eigener Chef zu sein. Du fühlst dich angesprochen? Dann melde dich gleich hier. Für die nächste Veranstaltung an! Die Teilnahme ist kostenlos! Gründungs- und Technikcamps für engagierte Jugendliche. Unter dem Motto "Ich mach' was mir gefällt" vermittelt ego. tech-on. Angesiedelt an der Fakultät für Informatik der Otto-von-Guericke-Universität Magdeburg. Sowie im Rahmen von Projekttagen. Vor diesem Hintergr...
iks.cs.ovgu.de
IKS - Institut für Intelligente Kooperierende Systeme
Zum Textanfang (Navigation überspringen). AG Communication and Networked Systems. AG Embedded Smart Systems. Institut für Intelligente Kooperierende Systeme. Im Institut für Intelligente Kooperierende Systeme sind derzeit 7 Arbeitsgruppen angesiedelt. Communication and Networked Systems. Der Lehrstuhl Communication and Networked Systems (Prof. Dr. Günes). Beschäftigt sich in Forschung und Lehre mit verdrahteten und drahtlosen Netzen, Kommunikationssystemen, Future Internet und dem Internet of Things.
wadt2014.cs.ovgu.de
WADT 2014
22nd International Workshop on Algebraic Development Techniques. Sinaia, Romania,September 4-7,2014. The 22nd International Workshop on Algebraic Development Techniques (WADT 2014) will take place in Sinaia. Romania, from 4th to 7th September, 2014. It will be preceeded by the IFIP WG 1.3 meeting. Registration is now closed! Will be the invited speakers of WADT 2014. The preliminary proceedings of WADT 2014 are now available online here. Typical, but not exclusive topics of interest are:. WADT 2010, Schl...
ifipwg13.cs.ovgu.de
IFIP WG 1.3 - Foundations of System Specification
For Members and Observers. Foundations of System Specification. To support and promote the systematic development of the fundamental mathematical theory of systems specification. To investigate the theory of formal models for systems specification, development, transformation and verification. The meeting will start on January 9, 2017, 2pm. The meeting will end on January 12, 2017, 12noon. The meeting will take place in the Haus des Gastes, Heinrich-Heine-Straße 7, 18609 Binz, Germany. Hotel Cerês, Stran...
www-ivs.cs.ovgu.de
Institut für Verteilte Systeme - Otto von Guericke University
Institut für Verteilte Systeme. Institut für Verteilte Systeme (IVS). Prof Dr. Frank Ortmeier. Prof Dr.-Ing. habil. Reiner Dumke. These pages in english.
isg.cs.ovgu.de
Department of Simulation and Graphics
Image Processing and Pattern Recognition. Study course Computational Visualistics. Teacher training courses for Computer Science. The newspaper Volksstimme reported on the navigation laboratory with advanced medical from the OvGU. paper. Dr-Ing. Claudia Krull, Prof. Dr.-Ing. Holger Theisel, MSc. Marthin Wilhelm and Prof. Dr. Stefan Schirra won the Teaching Award of the student representatives for their teaching in summer semester 2014. The research campus STIMULATE.
eos.cs.ovgu.de
EOS
Embedded Systems and Operating Systems. Deutsch) Einschreibung für TI I ab 08.10.2014 um 00:00 freigeschaltet. Deutsch) Einschreibung für Veranstaltung nun möglich. Deutsch) Praktische Aufgabe 5.
