Εμφανίζονται
1 - 5
Αποτελέσματα από
5
για την αναζήτηση '
Abadi, Martin
'
Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
English
Ελληνικά
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Συγγραφέας
Abadi, Martin
Εμφανίζονται
1 - 5
Αποτελέσματα από
5
για την αναζήτηση '
Abadi, Martin
'
, χρόνος αναζήτησης: 0,02δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
1
A theory of objects
ανά
Abadi
,
Martin
Έκδοση 1996
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Βιβλίο
Φορτώνει…
2
Theoretical Aspects of Computer Software Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings /
Έκδοση 1997
Άλλοι συγγραφείς:
“…
Abadi
,
Martin
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
3
Principles of Security and Trust Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble,...
Έκδοση 2014
Άλλοι συγγραφείς:
“…
Abadi
,
Martín
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
4
Trustworthy Global Computing 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers /
Έκδοση 2014
Άλλοι συγγραφείς:
“…
Abadi
,
Martín
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
5
CONCUR 2005 – Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings /
Έκδοση 2005
Άλλοι συγγραφείς:
“…
Abadi
,
Martín
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
Εργαλεία αναζήτησης:
Λήψη RSS
–
Αποστολή αναζήτησης με email
Σχετικά θέματα
Computer Science
Computer science
Computer logic
Computer security
Computers
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Mathematical logic
Systems and Data Security
Theory of Computation
Algorithm Analysis and Problem Complexity
Algorithms
Architecture, Computer
Computation by Abstract Devices
Computer Communication Networks
Computer System Implementation
Computer Systems Organization and Communication Networks
Computer communication systems
Computer organization
Computer programming
Data Encryption
Data encryption (Computer science)
E-commerce
Information Systems Applications (incl. Internet)
Management information systems
Management of Computing and Information Systems
Programming Languages, Compilers, Interpreters
Programming Techniques
Programming languages (Electronic computers)
Software Engineering/Programming and Operating Systems
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών