Εμφανίζονται 1.881 - 1.900 Αποτελέσματα από 2.026 για την αναζήτηση '"Algebra."', χρόνος αναζήτησης: 0,07δλ Περιορισμός αποτελεσμάτων
  1. 1881
    Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement /
    Έκδοση 2011
    Θέματα: “…Symbolic and Algebraic Manipulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1882
    Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings /
    Έκδοση 2011
    Θέματα: “…Symbolic and Algebraic Manipulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1883
    Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings /
    Έκδοση 2012
    Θέματα: “…Symbolic and Algebraic Manipulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 1884
    Classical and Quantum Physics 60 Years Alberto Ibort Fest Geometry, Dynamics, and Control /
    Έκδοση 2019
    Θέματα: “…Rings (Algebra).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 1885
    Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. /
    Έκδοση 2015
    Θέματα: “…Symbolic and Algebraic Manipulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 1886
    Recent Advances in Constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers /
    Έκδοση 2011
    Θέματα: “…Symbolic and Algebraic Manipulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 1887
    Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers /
    Έκδοση 2010
    Θέματα: “…Symbolic and Algebraic Manipulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 1888
    Intelligent Computer Mathematics International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings /
    Έκδοση 2014
    Θέματα: “…Symbolic and Algebraic Manipulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 1889
    Reasoning Web. Semantic Technologies for Information Systems 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures /
    Έκδοση 2009
    Θέματα: “…Symbolic and Algebraic Manipulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1890
    Information Security Theory and Practice. Smart Devices, Pervasive Systems, and Ubiquitous Networks Third IFIP WG 11.2 International Workshop, WISTP 2009, Brussels, Belgium, September 1-4, 2009, Proceedings /
    Έκδοση 2009
    Θέματα: “…Symbolic and Algebraic Manipulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 1891
    Cryptographic Hardware and Embedded Systems - CHES 2009 11th International Workshop Lausanne, Switzerland, September 6-9, 2009 Proceedings /
    Έκδοση 2009
    Θέματα: “…Symbolic and Algebraic Manipulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 1892
    Arithmetic of Finite Fields 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings /
    Έκδοση 2012
    Θέματα: “…Symbolic and Algebraic Manipulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 1893
    Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings /
    Έκδοση 2013
    Θέματα: “…Symbolic and Algebraic Manipulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1894
    Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings /
    Έκδοση 2011
    Θέματα: “…Symbolic and Algebraic Manipulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 1895
    Types for Proofs and Programs International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers /
    Έκδοση 2008
    Θέματα: “…Symbolic and Algebraic Manipulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 1896
    A Geometric Algebra Invitation to Space-Time Physics, Robotics and Molecular Geometry
    Θέματα: “…Symbolic and Algebraic Manipulation. http://scigraph.springernature.com/things/product-market-codes…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1897
    Application of quantifier elimination to inverse free vibration problems for inhomogeneous beams and bars
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Θέματα: “…Computer algebra…”
    Λήψη πλήρους κειμένου
    Technical Report
  18. 1898
    Διαφορική θεωρία Galois και μη-ολοκληρωσιμότητα του ανισοτροπικού προβλήματος Stormer και του ισοσκελούς προβλήματος τριών σωμάτων
    ανά Νομικός, Δημήτριος
    Έκδοση 2010
    Θέματα: “…Linear algebraic groups…”
    Λήψη πλήρους κειμένου
    Thesis
  19. 1899
    The Symbolic Computation of Integrability Structures for Partial Differential Equations
    Θέματα: “…Symbolic and Algebraic Manipulation. http://scigraph.springernature.com/things/product-market-codes…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 1900
    TAPSOFT'97: Theory and Practice of Software Development 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings /
    Έκδοση 1997
    Θέματα: “…Symbolic and Algebraic Manipulation. http://scigraph.springernature.com/things/product-market-codes…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email