Εμφανίζονται
1 - 2
Αποτελέσματα από
2
για την αναζήτηση '
'
Μετάβαση στο περιεχόμενο
VuFind
Ο λογαριασμός μου
Έξοδος
Ιδρυματικός λογαριασμός
Γλώσσα
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português (Brasil)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Όλα τα πεδία
Συγγραφέας
Τίτλος
Τίτλος περιοδικού
Θέμα
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Κατάργηση φίλτρων
Θέμα:
Computer Science Logic and Foundations of Programming
Κατάργηση φίλτρων
Εμφάνιση φίλτρων (1)
Θέμα:
Computer Science Logic and Foundations of Programming
Αποτελέσματα αναζήτησης
Εμφανίζονται
1 - 2
Αποτελέσματα από
2
για την αναζήτηση '
'
, χρόνος αναζήτησης: 0,04δλ
Περιορισμός αποτελεσμάτων
Αποτελέσματα ανά σελίδα
10
20
40
60
80
100
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανά συγγραφέα
Ανά Τίτλο
Λίστα
Πλέγμα
1
Φορτώνει......
Automated Deduction – CADE 28
Τόπος έκδοσης
Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
(2021)
Λήψη πλήρους κειμένου
Livro
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
2
Φορτώνει......
Programming Languages and Systems
Τόπος έκδοσης
Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2021)
Λήψη πλήρους κειμένου
Livro
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
Εργαλεία αναζήτησης:
Λήψη RSS
—
Αποστολή αναζήτησης με email
—
Αποθήκευση αναζήτησης
Πίσω
Περιορισμός αναζήτησης
Ίδρυμα
DOAB
2
[εξαιρέσεις]
Συλλογή
Directory of Open Access Books
2
[εξαιρέσεις]
Μορφή
Livro
2
[εξαιρέσεις]
Συγγραφέας
Platzer, André
1
[εξαιρέσεις]
Sutcliffe, Geoff
1
[εξαιρέσεις]
Yoshida, Nobuko
1
[εξαιρέσεις]
Θέμα
Computer Science Logic and Foundations of Programming
Computer architecture & logic design
2
[εξαιρέσεις]
Computer programming / software engineering
2
[εξαιρέσεις]
Logics and Meanings of Programs
2
[εξαιρέσεις]
Software Engineering
2
[εξαιρέσεις]
computer programming
2
[εξαιρέσεις]
περισσότερα ...
formal logic
2
[εξαιρέσεις]
semantics
2
[εξαιρέσεις]
software design
2
[εξαιρέσεις]
software quality
2
[εξαιρέσεις]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
2
[εξαιρέσεις]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
2
[εξαιρέσεις]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
2
[εξαιρέσεις]
Artificial Intelligence
1
[εξαιρέσεις]
Compilers & interpreters
1
[εξαιρέσεις]
Compilers and Interpreters
1
[εξαιρέσεις]
Computer Engineering and Networks
1
[εξαιρέσεις]
Computer Systems Organization and Communication Networks
1
[εξαιρέσεις]
Computer networking & communications
1
[εξαιρέσεις]
Formal Languages and Automata Theory
1
[εξαιρέσεις]
Mathematical Logic and Formal Languages
1
[εξαιρέσεις]
Mathematical theory of computation
1
[εξαιρέσεις]
Natural Language Processing (NLP)
1
[εξαιρέσεις]
Natural language & machine translation
1
[εξαιρέσεις]
Programming & scripting languages: general
1
[εξαιρέσεις]
Programming Languages, Compilers, Interpreters
1
[εξαιρέσεις]
automata theory
1
[εξαιρέσεις]
boolean functions
1
[εξαιρέσεις]
concurrency theory
1
[εξαιρέσεις]
distributed computer systems
1
[εξαιρέσεις]
Προβολή όλων ...
λιγότερα ...
Γλώσσα
Inglês
2
[εξαιρέσεις]
Έτος έκδοσης
από:
έως:
Έτος έκδοσης
Καθαρισμός
×
Φορτώνει......
