Εμφανίζονται
1 - 4
Αποτελέσματα από
4
για την αναζήτηση '
Dams, Dennis
'
Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
English
Ελληνικά
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Συγγραφέας
Dams, Dennis
Εμφανίζονται
1 - 4
Αποτελέσματα από
4
για την αναζήτηση '
Dams, Dennis
'
, χρόνος αναζήτησης: 0,02δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
1
Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever
ανά
Dams
,
Dennis
Έκδοση 2010
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Εργαλειοθήκη
Βιβλίο
2
FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings /
Έκδοση 2009
Άλλοι συγγραφείς:
“…
Dams
,
Dennis
R.…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
3
Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever /
Έκδοση 2010
Άλλοι συγγραφείς:
“…
Dams
,
Dennis
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
4
Theoretical and Practical Aspects of SPIN Model Checking 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceed...
Έκδοση 1999
Άλλοι συγγραφείς:
“…
Dams
,
Dennis
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
Εργαλεία αναζήτησης:
Λήψη RSS
–
Αποστολή αναζήτησης με email
Σχετικά θέματα
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Software engineering
Computer Science
Computer logic
Computer science
Programming languages (Electronic computers)
Software Engineering
Computation by Abstract Devices
Computer software
Mathematical Logic and Formal Languages
Software Engineering/Programming and Operating Systems
User Interfaces and Human Computer Interaction
User interfaces (Computer systems)
Algorithm Analysis and Problem Complexity
Computer programming
Computers
Logic design
Mathematical Software
Mathematical logic
Programming Techniques
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών