Εμφανίζονται
1 - 12
Αποτελέσματα από
12
για την αναζήτηση '
Nerode, Anil
'
Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
English
Ελληνικά
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Συγγραφέας
Nerode, Anil
Εμφανίζονται
1 - 12
Αποτελέσματα από
12
για την αναζήτηση '
Nerode, Anil
'
, χρόνος αναζήτησης: 0,03δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
1
Logic for applications
ανά
Nerode
,
Anil
1932-
Έκδοση 1997
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Βιβλίο
Φορτώνει…
2
Combinatorial functors
ανά
Crossley, John N.
,
Nerode
,
Anil
1932-
Έκδοση 1974
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Βιβλίο
Φορτώνει…
3
Automata theory and its applications
ανά
Khoussainov, Bakhadyr 1961-
Έκδοση 2001
Άλλοι συγγραφείς:
“…
Nerode
,
Anil
1932-…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Βιβλίο
Φορτώνει…
4
Logic Programming and Nonmonotonic Reasoning Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings /
Έκδοση 1997
Άλλοι συγγραφείς:
“…
Nerode
,
Anil
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
5
Logical Foundations of Computer Science 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings /
Έκδοση 1997
Άλλοι συγγραφείς:
“…
Nerode
,
Anil
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
6
Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings /
Έκδοση 2018
Άλλοι συγγραφείς:
“…
Nerode
,
Anil
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
7
Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings /
Έκδοση 2016
Άλλοι συγγραφείς:
“…
Nerode
,
Anil
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
8
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /
Έκδοση 2013
Άλλοι συγγραφείς:
“…
Nerode
,
Anil
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
9
Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings /
Έκδοση 2009
Άλλοι συγγραφείς:
“…
Nerode
,
Anil
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
10
Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
Έκδοση 2007
Άλλοι συγγραφείς:
“…
Nerode
,
Anil
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
11
Hybrid Systems IV
Έκδοση 1997
Άλλοι συγγραφείς:
“…
Nerode
,
Anil
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
12
Hybrid Systems V
Έκδοση 1999
Άλλοι συγγραφείς:
“…
Nerode
,
Anil
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
Εργαλεία αναζήτησης:
Λήψη RSS
–
Αποστολή αναζήτησης με email
Σχετικά θέματα
Mathematical Logic and Formal Languages
Mathematical logic
Computer logic
Logics and Meanings of Programs
Computers
Theory of Computation
Computer Science
Computer science
Mathematical Logic and Foundations
Architecture, Computer
Arithmetic and Logic Structures
Arithmetic and logic units, Computer
Artificial Intelligence
Artificial intelligence
Computer System Implementation
Software engineering
Algorithm Analysis and Problem Complexity
Algorithms
Computer programming
Programming Languages, Compilers, Interpreters
Programming Techniques
Programming languages (Electronic computers)
Software Engineering
Special Purpose and Application-Based Systems
Special purpose computers
Λογική, Συμβολική και μαθηματική
Complexity
Computational complexity
Mathematics
Software Engineering/Programming and Operating Systems
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών