Εμφανίζονται 2.241 - 2.260 Αποτελέσματα από 2.340 για την αναζήτηση '"Mathematics"', χρόνος αναζήτησης: 0,06δλ Περιορισμός αποτελεσμάτων
  1. 2241
    Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
    ανά Dong, Jin Song
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  2. 2242
    Multivariate Analysemethoden Eine anwendungsorientierte EinfΓΌhrung
    ανά Backhaus, Klaus
    Έκδοση 2006
    Θέματα: “…Statistics for Business/Economics/Mathematical Finance/Insurance 64244…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  3. 2243
    Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino
    ανά Beckert, Bernhard
    Έκδοση 2006
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  4. 2244
    Geographic Hypermedia Concepts and Systems
    ανά Stefanakis, Emmanuel
    Έκδοση 2006
    Θέματα: “…Mathematical geography 64738…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  5. 2245
    Specification and Verification of Multi-agent Systems
    ανά Dastani, Mehdi
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  6. 2246
    Handbook of Metaheuristics
    ανά Gendreau, Michel
    Έκδοση 2010
    Θέματα: “…Operations Research, Mathematical Programming 64350…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  7. 2247
    Geo-Spatial Technologies in Urban Environments
    ανά Jensen, Ryan R.
    Έκδοση 2005
    Θέματα: “…Mathematical geography 64738…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  8. 2248
    Lattice Boltzmann Modeling An Introduction for Geoscientists and Engineers
    ανά Sukop, Michael C.
    Έκδοση 2006
    Θέματα: “…Mathematical geography 64738…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  9. 2249
    The acquisition of syntactic knowledge /
    ανά Berwick, Robert C.
    Έκδοση 1985
    Θέματα: “…Learning Mathematical models.…”
    Λήψη πλήρους κειμένου
    Ηλ. βιβλίο
  10. 2250
    Data Analysis and Decision Support
    ανά Baier, Daniel
    Έκδοση 2005
    Θέματα: “…Mathematical statistics 10642…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  11. 2251
    Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
    ανά Ueda, Kazunori
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  12. 2252
    Marine Resource Damage Assessment Liability and Compensation for Environmental Damage
    ανά Maes, Frank
    Έκδοση 2005
    Θέματα: “…Operations Research, Mathematical Programming 64350…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  13. 2253
    Modelling the Dispersion of Radionuclides in the Marine Environment An Introduction
    ανά PeriΓ'Γez, RaΓΊl
    Έκδοση 2005
    Θέματα: “…Mathematical geography 64738…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  14. 2254
    Innovations in Classification, Data Science, and Information Systems Proceedings of the 27th Annual Conference of the Gesellschaft für Klassifikation e.V., Brandenburg University of Technology, Cottbus, March 12–14, 2003
    ανά Baier, Daniel
    Έκδοση 2005
    Θέματα: “…Mathematical statistics 10642…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  15. 2255
    Observation of the Earth System from Space
    ανά Flury, J.
    Έκδοση 2006
    Θέματα: “…Mathematical geography 64738…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  16. 2256
    Tests and Proofs 4th International Conference, TAP 2010, MΓ'laga, Spain, July 1-2, 2010. Proceedings
    ανά Fraser, Gordon
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  17. 2257
    Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
    ανά Barringer, Howard
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  18. 2258
    Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
    ανά FermΓΌller, Christian G
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  19. 2259
    Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
    ανά MΓ©ry, Dominique
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  20. 2260
    Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
    ανά Borba, Paulo
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email