Showing
1 - 2
results of
2
for search '
Platzer, André
'
Skip to content
Login
Menu
0
items
(Full)
Servicios para Alumnos
Servicios para Académicos
Recupera tu NIP
Mis Préstamos y Multas
Language
Inglés
Español
Francés
Galego
Search terms
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Search
Advanced
Author
Platzer, André
Skip recommendations
Showing
1 - 2
results of
2
for search '
Platzer, André
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Search Tools:
Suscríbete a esta búsqueda
1
Loading…
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:
Call Number:
Loading…
Located:
Loading…
Texto Completo
Electronic
eBook
QR Code
2
Loading…
Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics /
by
Platzer, André
Published 2010
Call Number:
Loading…
Located:
Loading…
Texto Completo
Electronic
eBook
QR Code
Related Subjects
Artificial Intelligence
Artificial intelligence
Computer Science Logic and Foundations of Programming
Computer science
Formal Languages and Automata Theory
Machine theory
Automation
Compilers (Computer programs)
Compilers and Interpreters
Computer science-Mathematics
Control engineering
Control, Robotics, Automation
Mathematical Logic and Foundations
Mathematical logic
Mathematics of Computing
Robotics
Software Engineering
Software engineering
