Βελτιώστε την αναζήτησή σας
Διαθεσιμότητα
-
Συγγραφείς
- Amadio, Roberto M.
- Baeten, J.C.M.
- Barwise, Jon
- Chaitin, Gregory J.
- Curien, Pierre-Louis
- Hoek, W. van der
- Melham, T.
- Meyer, John-Jules Ch
- Mosses, Peter D.
- Nielson, Flemming
- Nielson, Hanne R.
- Olderog, E.-R
- Schwichtenberg, Helm...
- Seligman, Jerry
- Shankar, N.
- Stoltenberg-Hansen, ...
- Troelstra, A. S.
- Veltink, G. J.
- Vickers, Steven
- Weijland, W.P.
- Εμφάνιση περισσότερων
- Εμφάνιση λιγότερων
-
Συλλογές
-
Βιβλιοθήκες που διαθέτουν αντίτυπα
-
Τύποι τεκμηρίου
-
Τοποθεσίες
-
Σειρά
-
Θέματα
- COMMUNICATIONS
- COMPUTER COMMUNICATI...
- COMPUTER PROGRAMMING
- COMPUTER SOFTWARE
- HARWARE VERIFICATION
- HIGHER ORDER LOGIC
- Άλγεβρα
- Βάσεις δεδομένων
- ΕΠΕΑΕΚ
- Επιστήμη των υπολογι...
- Ηλεκτρονικοί υπολογι...
- Θεώρημα του Godel
- Θεωρία μηχανών
- Θεωρία πεδίων
- Λογική
- Λογική, Συμβολική κα...
- Μαθηματικά
- Τεχνητή νοημοσύνη
- Τοπολογία
- Υπολογιστική πολυπλο...
- Εμφάνιση περισσότερων
- Εμφάνιση λιγότερων