Εμφανίζονται
1 - 2
Αποτελέσματα από
2
για την αναζήτηση '
Honsell, Furio
'
Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
English
Ελληνικά
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Συγγραφέας
Honsell, Furio
Εμφανίζονται
1 - 2
Αποτελέσματα από
2
για την αναζήτηση '
Honsell, Furio
'
, χρόνος αναζήτησης: 0,01δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
1
Foundations of Software Science and Computation Structures 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Softw...
Έκδοση 2001
Άλλοι συγγραφείς:
“…
Honsell
,
Furio
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
2
Types for Proofs and Programs International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers /
Έκδοση 2008
Άλλοι συγγραφείς:
“…
Honsell
,
Furio
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
Εργαλεία αναζήτησης:
Λήψη RSS
–
Αποστολή αναζήτησης με email
Σχετικά θέματα
Computer logic
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Mathematical logic
Programming Languages, Compilers, Interpreters
Programming languages (Electronic computers)
Software Engineering/Programming and Operating Systems
Software engineering
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Computation by Abstract Devices
Computer Science
Computer science
Computers
Mathematics
Software Engineering
Symbolic and Algebraic Manipulation
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών