Εμφανίζονται 1.841 - 1.860 Αποτελέσματα από 2.026 για την αναζήτηση '"Algebra."', χρόνος αναζήτησης: 0,07δλ Περιορισμός αποτελεσμάτων
  1. 1841
    Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings /
    Έκδοση 2005
    Θέματα: “…Symbolic and Algebraic Manipulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1842
    Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings /
    Έκδοση 2007
    Θέματα: “…Symbolic and Algebraic Manipulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1843
    Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /
    Έκδοση 2007
    Θέματα: “…Symbolic and Algebraic Manipulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 1844
    Low Rank Approximation Algorithms, Implementation, Applications /
    ανά Markovsky, Ivan
    Έκδοση 2012
    Θέματα: “…Symbolic and Algebraic Manipulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 1845
    Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings /
    Έκδοση 2009
    Θέματα: “…Symbolic and Algebraic Manipulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 1846
    Principles of Distributed Systems 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings /
    Έκδοση 2011
    Θέματα: “…Symbolic and Algebraic Manipulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 1847
    Graph Drawing 19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011, Revised Selected Papers /
    Έκδοση 2012
    Θέματα: “…Symbolic and Algebraic Manipulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 1848
    Formal Grammar 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers /
    Έκδοση 2012
    Θέματα: “…Symbolic and Algebraic Manipulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 1849
    Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings /
    Έκδοση 2012
    Θέματα: “…Symbolic and Algebraic Manipulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1850
    Sets, Logic and Maths for Computing
    ανά Makinson, David
    Έκδοση 2008
    Θέματα: “…Symbolic and Algebraic Manipulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 1851
    Principles of Distributed Systems 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedings /
    Έκδοση 2012
    Θέματα: “…Symbolic and Algebraic Manipulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 1852
    Arithmetic of Finite Fields 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers /
    Έκδοση 2015
    Θέματα: “…Symbolic and Algebraic Manipulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 1853
    Arithmetic of Finite Fields 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised Selected Papers /
    Έκδοση 2016
    Θέματα: “…Symbolic and Algebraic Manipulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1854
    Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers /
    Έκδοση 2008
    Θέματα: “…Symbolic and Algebraic Manipulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 1855
    Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings /
    Έκδοση 2009
    Θέματα: “…Symbolic and Algebraic Manipulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 1856
    Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings /
    Έκδοση 2009
    Θέματα: “…Symbolic and Algebraic Manipulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1857
    Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings /
    Έκδοση 2010
    Θέματα: “…Symbolic and Algebraic Manipulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1858
    Intelligent Computer Mathematics 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings /
    Έκδοση 2008
    Θέματα: “…Symbolic and Algebraic Manipulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 1859
    Provable Security Third International Conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009. Proceedings /
    Έκδοση 2009
    Θέματα: “…Symbolic and Algebraic Manipulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 1860
    Research in Cryptology 4th Western European Workshop, WEWoRC 2011, Weimar, Germany, July 20-22, 2011, Revised Selected Papers /
    Έκδοση 2012
    Θέματα: “…Symbolic and Algebraic Manipulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email