Εμφανίζονται
1 - 2
Αποτελέσματα από
2
για την αναζήτηση '
André, Étienne
'
Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
English
Ελληνικά
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Συγγραφέας
André, Étienne
Εμφανίζονται
1 - 2
Αποτελέσματα από
2
για την αναζήτηση '
André, Étienne
'
, χρόνος αναζήτησης: 0,01δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
1
The inverse method : parametric verification of real-time embedded systems /
ανά
André
,
Etienne
Έκδοση 2013
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλ. βιβλίο
2
Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings /
Έκδοση 2019
Άλλοι συγγραφείς:
“…
André
,
Étienne
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
Εργαλεία αναζήτησης:
Λήψη RSS
–
Αποστολή αναζήτησης με email
Σχετικά θέματα
Algorithm Analysis and Problem Complexity
Algorithms
COMPUTERS
Computer logic
Computer simulation
Computer systems
Computer systems / Verification
Embedded computer systems
General
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Mathematical logic
Simulation and Modeling
Software Engineering
Software engineering
Special Purpose and Application-Based Systems
Special purpose computers
Verification
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών