Showing
1 - 3
results of
3
for search '
Platzer, André
'
Skip to content
VuFind
Language
English
Ελληνικά
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Platzer, André
Showing
1 - 3
results of
3
for search '
Platzer, André
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Logical Foundations of Cyber-Physical Systems
by
Platzer
,
André
,
Platzer
,
André
Published 2018
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
2
Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics /
by
Platzer
,
André
Published 2010
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
3
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 /
Published 2015
Other Authors:
“…
Platzer
,
André
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
Search Tools:
RSS Feed
–
Email Search
Related Subjects
Artificial intelligence
Mathematical Logic and Formal Languages
Mathematical logic
Artificial Intelligence (incl. Robotics)
Computer Science
Computer logic
Computer science
Control engineering
Control, Robotics, Mechatronics
Logics and Meanings of Programs
Mathematical Logic and Foundations
Mechatronics
Robotics
Artificial Intelligence
Industrial safety
Mathematics
Mathematics of Computing
Programming Languages, Compilers, Interpreters
Programming languages (Electronic computers)
Quality Control, Reliability, Safety and Risk
Quality control
Reliability
Software Engineering
Software engineering
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών