Εμφανίζονται 2.281 - 2.300 Αποτελέσματα από 2.340 για την αναζήτηση '"Mathematics"', χρόνος αναζήτησης: 0,06δλ Περιορισμός αποτελεσμάτων
  1. 2281
    Neural and fuzzy logic control of drives and power systems
    Έκδοση 2002
    Θέματα: “…Electronic controllers Mathematical models 74945…”
    An electronic book accessible through the World Wide Web; click for information
    Ηλεκτρονική πηγή Βιβλίο
  2. 2282
    Επιχειρησιακή έρευνα & οργάνωση συστημάτων παραγωγής /
    Θέματα: “…Decision making Mathematical models.…”
    Βιβλίο
  3. 2283
    Algorithmic Learning Theory 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings
    ανά Hutter, Marcus
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  4. 2284
    Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
    ανά Kaufmann, Matt
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  5. 2285
    Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
    ανά Aldini, Alessandro
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  6. 2286
    Principles and Practice of Constraint Programming – CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings
    ανά Cohen, David
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  7. 2287
    Mathematics of Program Construction 10th International Conference, MPC 2010, QuΓ©bec City, Canada, June 21-23, 2010. Proceedings
    ανά Bolduc, Claude
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  8. 2288
    Quantitative Health Risk Analysis Methods Modeling the Human Health Impacts of Antibiotics Used in Food Animals
    ανά Cox, Louis Anthony
    Έκδοση 2006
    Θέματα: “…Mathematical statistics 10642…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  9. 2289
    Handbook of Production Scheduling
    ανά Herrmann, Jeffrey W.
    Έκδοση 2006
    Θέματα: “…Operations Research, Mathematical Programming 64350…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  10. 2290
    Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
    ανά Bollig, Benedikt
    Έκδοση 2006
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  11. 2291
    Remote Sensing Digital Image Analysis An Introduction
    ανά Richards, John A.
    Έκδοση 2006
    Θέματα: “…Mathematical geography 64738…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  12. 2292
    Univariate Time Series in Geosciences Theory and Examples
    ανά Gilgen, Hans
    Έκδοση 2006
    Θέματα: “…Mathematical geography 64738…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  13. 2293
    Βασική θεωρία υπολογισιμότητας : μηχανές Turing, αναδρομικές συναρτήσεις, αλγοριθμική ανεπιλυσιμότητα /
    ανά Χαρτώνας, Χ.
    Έκδοση 2001
    Θέματα: “…Unsolvability (Mathematical logic).…”
    Λήψη πλήρους κειμένου
    Βιβλίο
  14. 2294
    Biometric Systems Technology, Design and Performance Evaluation
    ανά Wayman, James
    Έκδοση 2005
    Θέματα: “…Mathematical statistics 10642…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  15. 2295
    Optimized Bayesian Dynamic Advising Theory and Algorithms
    Έκδοση 2006
    Θέματα: “…Mathematical statistics 10642…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  16. 2296
    Rough Set and Knowledge Technology 5th International Conference, RSKT 2010, Beijing, China, October 15-17, 2010. Proceedings
    ανά Yu, Jian
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  17. 2297
    Conceptual Structures: From Information to Intelligence 18th International Conference on Conceptual Structures, ICCS 2010, Kuching, Sarawak, Malaysia, July 26-30, 2010. Proceedings
    ανά Croitoru, Madalina
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  18. 2298
    Transactions on Rough Sets XI
    ανά Peters, James F
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  19. 2299
    Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
    ανά Dawar, Anuj
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  20. 2300
    Transactions on Rough Sets XII
    ανά Peters, James F
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email