Correct system design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings

Correct system design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings

Weitere Versionen anzeigen (1)
Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Meyer, Roland 1981- (HerausgeberIn)
Format: Elektronisch E-Book
Sprache:English
Veröffentlicht: Cham Springer International Publishing [2015]
Ausgabe:1st ed.
Schriftenreihe:Lecture Notes in Computer Science 9360
Schlagworte:
Computer science
Software engineering
Programming languages (Electronic computers)
Computer logic
Mathematical logic
Artificial intelligence
Computer Science
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Software Engineering
Programming Languages, Compilers, Interpreters
Artificial Intelligence (incl. Robotics)
Informatik
Künstliche Intelligenz
Konferenzschrift
Konferenzschrift > 08.09.2015-09.09.2015 > Oldenburg
Festschrift
Online-Zugang:Volltext
Abstract
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Wegen Wartungsarbeiten nicht verfügbar

Unser Bibliotheksverwaltungssystem ist momentan wegen Wartungsarbeiten nicht verfügbar.

Bestandes- und Verfügbarkeitsinformationen können momentan leider nicht angezeigt werden. Wir entschuldigen uns für die Umstände und stehen für weitere Fragen gerne zur Verfügung:

it.bib-wue@thws.de

Online

Volltext
Abstract

Ähnliche Einträge