Weiter zum Inhalt
Toggle navigation
English
English
Favoritenliste (
0
)
(Voll)
Kontakt
Mein Konto
Abmeldung
Mein Konto
Suche
Filter bei nächster Suche beibehalten
journalStr:"Acta informatica"
Erweiterte Suche
Suchverlauf
Struktursuche
Narrative Service
Drug Overviews
Info Guide
/vufind/Search/Results?lookfor=%22David%2C+Cristina%22&type=Person&filter%5B%5D=journalStr%3A%22Acta+informatica%22
/vufind/Search/Results?lookfor=%22David%2C+Cristina%22&type=Person&filter%5B%5D=journalStr%3A%22Acta+informatica%22
Search /vufind/Search2/Results?lookfor=%22David%2C+Cristina%22&type=Person&filter%5B%5D=journalStr%3A%22Acta+informatica%22
PubPharm (1)
1
Automated formal synthesis of provably safe digital controllers for continuous plants
enthalten in:
Acta informatica
| 2020
von
Abate, A.
|
Bessa, I.
|
Cordeiro, L.
| +4
Wird geladen...
1
[1]
Filter & Sortierung
Treffer pro Seite
10
20
50
Sortieren
Relevanz
Neueste zuerst
Älteste zuerst
Verfasser
Zeitschriftentitel
Bibliothek
Standort (Printmedien)
Verwandte Substanzen
Verwandte Substanzen werden ermittelt...
Verwandte Erkrankungen/Symptome
Verwandte Erkrankungen/Symptome werden ermittelt...
Verwandte Gene
Verwandte Gene werden ermittelt...
Systematic Reviews
Clinical Studies
Patente
Covid-19/SARS-CoV-2
Exclude Systematic Reviews
Exclude Clinical Studies
Exclude Patents
Ihre gewählten Filter
Filter bei nächster Suche beibehalten
Filter aufheben
Zeitschrift: Acta informatica
Medienart
1
Aufsätze
1
E-Artikel
1
E-Ressourcen
Zeitschriftentitel
Acta informatica
Thema
1
Journal Article
Erscheinungszeitraum
Erscheinungsjahr(e)
Von:
Bis:
Sprache
1
Englisch
Haven't found what you're looking for?
Wird geladen...
