Showing 601 - 620 results of 2,188 for search '"programs"', query time: 0.08s Refine Results
  1. 601
    Missing Data and Small-Area Estimation Modern Analytical Equipment for the Survey Statistician /
    by Longford, Nicholas T.
    Published in Springer e-books (2005)
    Subjects: “...Statistics and Computing/Statistics Programs...”
    Get full text
    eBook
  2. 602
    Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Programming languages (Electronic computers)....”
    Get full text
    eBook
  3. 603
    Optimal Covariate Designs Theory and Applications /
    Subjects: “...Statistics and Computing/Statistics Programs....”
    Get full text
    eBook
  4. 604
    Computational Finance An Introductory Course with R /
    by Arratia, Argimiro
    Published in Springer eBooks (2014)
    Subjects: “...Statistics and Computing/Statistics Programs....”
    Get full text
    eBook
  5. 605
    Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Programming Languages, Compilers, Interpreters....”
    Get full text
    eBook
  6. 606
    Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Programming Techniques....”
    Get full text
    eBook
  7. 607
    Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Programming Techniques....”
    Get full text
    eBook
  8. 608
    Analysis and Modeling of Complex Data in Behavioral and Social Sciences
    Published in Springer eBooks (2014)
    Subjects: “...Statistics and Computing/Statistics Programs....”
    Get full text
    eBook
  9. 609
    Membrane Computing 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers /
    Published in Springer eBooks (2014)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  10. 610
    Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers /
    Published in Springer eBooks (2015)
    Subjects: “...Programming languages (Electronic computers)....”
    Get full text
    eBook
  11. 611
    Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers /
    Published in Springer eBooks (2015)
    Subjects: “...Programming languages (Electronic computers)....”
    Get full text
    eBook
  12. 612
    Rule Technologies: Foundations, Tools, and Applications 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  13. 613
    Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  14. 614
    Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Programming languages (Electronic computers)....”
    Get full text
    eBook
  15. 615
    Model-Driven Architecture - Foundations and Applications Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings
    by Rensink, Arend
    Published in Springer e-books (2006)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  16. 616
    Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  17. 617
    Trustworthy Global Computing Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers /
    by Montanari, Ugo
    Published in Springer e-books (2007)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  18. 618
    Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  19. 619
    Statistical Analysis of Extreme Values with Applications to Insurance, Finance, Hydrology and Other Fields /
    by Reiss, Rolf-Dieter
    Published in Springer e-books (2007)
    Subjects: “...Statistics and Computing/Statistics Programs...”
    Get full text
    eBook
  20. 620
    New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design IFIP TC10 Working Conference: EduTech 2005, October 20–21, Perth, Australia /
    by Rettberg, Achim
    Published in Springer e-books (2005)
    Subjects: “...Translators (Computer programs)...”
    Get full text
    eBook
Search Tools: Get RSS Feed