Showing 81 - 100 results of 2,055 for search '"programs"', query time: 0.06s Refine Results
  1. 81
    Fundamental Approaches to Software Engineering (vol. # 3922) 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March
    by Baresi, Luciano
    Published in Springer e-books (2006)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  2. 82
    Implementation and Application of Functional Languages (vol. # 4015) 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers
    by Butterfield, Andrew
    Published in Springer e-books (2006)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  3. 83
    Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  4. 84
    Model Checking Software (vol. # 3925) 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings
    by Valmari, Antti
    Published in Springer e-books (2006)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  5. 85
    Formal Methods and Software Engineering (vol. # 4260) 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
    by Liu, Zhiming
    Published in Springer e-books (2006)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  6. 86
    Variations on Constants Flow Analysis of Sequential and Parallel Programs
    by Müller-Olm, Markus
    Published in Springer e-books (2006)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  7. 87
    Formal Methods and Software Engineering (vol. # 3785) 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
    by Banach, Richard
    Published in Springer e-books (2005)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  8. 88
    The new color line: how quotas and privilege destroy democracy /
    by Roberts, Paul Craig 1939-
    Published 1995
    Subjects: “...Affirmative action programs United States....”
    Book
  9. 89
    Concrete Semantics With Isabelle/HOL /
    by Nipkow, Tobias, Klein, Gerwin
    Published in Springer eBooks (2014)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  10. 90
    XML and Web Technologies for Data Sciences with R
    Subjects: “...Statistics and Computing/Statistics Programs....”
    Get full text
    eBook
  11. 91
    Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers /
    Published in Springer eBooks (2014)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  12. 92
    Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Brazil, October 23-27, 2006
    by Sichman, Jaime Simao
    Published in Springer e-books (2006)
    Subjects: “...Translators (Computer programs)...”
    Get full text
    eBook
  13. 93
    Time Series Modeling for Analysis and Control Advanced Autopilot and Monitoring Systems /
    Subjects: “...Statistics and Computing/Statistics Programs....”
    Get full text
    eBook
  14. 94
    Theoretical Aspects of Spatial-Temporal Modeling
    Published in Springer eBooks (2015)
    Subjects: “...Statistics and Computing/Statistics Programs....”
    Get full text
    eBook
  15. 95
    Modern Methodology and Applications in Spatial-Temporal Modeling
    Published in Springer eBooks (2015)
    Subjects: “...Statistics and Computing/Statistics Programs....”
    Get full text
    eBook
  16. 96
    Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  17. 97
    Coordination Models and Languages 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  18. 98
    Applied Statistical Inference Likelihood and Bayes /
    Subjects: “...Statistics and Computing/Statistics Programs....”
    Get full text
    eBook
  19. 99
    Transactional Memory. Foundations, Algorithms, Tools, and Applications COST Action Euro-TM IC1001 /
    Published in Springer eBooks (2015)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  20. 100
    Primer to Analysis of Genomic Data Using R
    by Gondro, Cedric
    Published in Springer eBooks (2015)
    Subjects: “...Statistics and Computing/Statistics Programs....”
    Get full text
    eBook
Search Tools: Get RSS Feed