Εμφανίζονται
1 - 8
Αποτελέσματα από
8
για την αναζήτηση '
Ong, Luke
'
Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
English
Ελληνικά
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Συγγραφέας
Ong, Luke
Εμφανίζονται
1 - 8
Αποτελέσματα από
8
για την αναζήτηση '
Ong, Luke
'
, χρόνος αναζήτησης: 0,03δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
1
Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of S...
ανά
Ong
,
Luke
Έκδοση 2010
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Εργαλειοθήκη
Βιβλίο
2
Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings /
Έκδοση 2011
Άλλοι συγγραφείς:
“…
Ong
,
Luke
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
3
Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of S...
Έκδοση 2010
Άλλοι συγγραφείς:
“…
Ong
,
Luke
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
4
Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings /
Έκδοση 2005
Άλλοι συγγραφείς:
“…
Ong
,
Luke
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
5
Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings /
Έκδοση 2017
Άλλοι συγγραφείς:
“…
Ong
,
Luke
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
6
Logic, Language, Information and Computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings /
Έκδοση 2012
Άλλοι συγγραφείς:
“…
Ong
,
Luke
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
7
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday /
Έκδοση 2013
Άλλοι συγγραφείς:
“…
Ong
,
Luke
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
8
Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008
Έκδοση 2008
Άλλοι συγγραφείς:
“…
Ong
,
Luke
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
Εργαλεία αναζήτησης:
Λήψη RSS
–
Αποστολή αναζήτησης με email
Σχετικά θέματα
Computer Science
Computer science
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Computer logic
Computers
Mathematical logic
Programming Languages, Compilers, Interpreters
Computation by Abstract Devices
Programming languages (Electronic computers)
Software Engineering
Software engineering
Algorithm Analysis and Problem Complexity
Algorithms
Mathematical Logic and Foundations
Mathematics
Symbolic and Algebraic Manipulation
Theory of Computation
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Computer Communication Networks
Computer communication systems
Computer industry
Computer programming
Computing Methodologies
Discrete Mathematics in Computer Science
History
History of Computing
History of Science
Logic design
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών