Εμφανίζονται
1 - 4
Αποτελέσματα από
4
για την αναζήτηση '
Roşu, Grigore
'
Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
English
Ελληνικά
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Συγγραφέας
Roşu, Grigore
Εμφανίζονται
1 - 4
Αποτελέσματα από
4
για την αναζήτηση '
Roşu, Grigore
'
, χρόνος αναζήτησης: 0,02δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
1
Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
Έκδοση 2008
Άλλοι συγγραφείς:
“…
Roşu
,
Grigore
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
2
Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden,...
Έκδοση 2012
Άλλοι συγγραφείς:
“…
Rosu
,
Grigore
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
3
Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selecte...
Έκδοση 2006
Άλλοι συγγραφείς:
“…
Roşu
,
Grigore
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
4
Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings /
Έκδοση 2010
Άλλοι συγγραφείς:
“…
Roşu
,
Grigore
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
Εργαλεία αναζήτησης:
Λήψη RSS
–
Αποστολή αναζήτησης με email
Σχετικά θέματα
Computer Science
Computer logic
Computer science
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming languages (Electronic computers)
Software Engineering
Software engineering
Computer programming
Programming Techniques
Software Engineering/Programming and Operating Systems
Mathematical Logic and Formal Languages
Mathematical logic
Algorithm Analysis and Problem Complexity
Algorithms
Computer Communication Networks
Computer communication systems
Management information systems
Management of Computing and Information Systems
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών