Showing 41 - 60 results of 2,055 for search '"programs"', query time: 0.06s Refine Results
  1. 41
    Transactions on Petri Nets and Other Models of Concurrency VII
    Published in Springer eBooks (2013)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  2. 42
    Systems and Frameworks for Computational Morphology Third International Workshop, SFCM 2013, Berlin, Germany, September 6, 2013 Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Translators (Computer programs)....”
    Get full text
    eBook
  3. 43
    Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers /
    Published in Springer eBooks (2014)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  4. 44
    Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  5. 45
    Bayesian Nonparametric Data Analysis
    Subjects: “...Statistics and Computing/Statistics Programs....”
    Get full text
    eBook
  6. 46
    Regression Modeling Strategies With Applications to Linear Models, Logistic and Ordinal Regression, and Survival Analysis /
    by Harrell , Jr., Frank E.
    Published in Springer eBooks (2015)
    Subjects: “...Statistics and Computing/Statistics Programs....”
    Get full text
    eBook
  7. 47
    Bayesian Statistics from Methods to Models and Applications Research from BAYSM 2014 /
    Published in Springer eBooks (2015)
    Subjects: “...Statistics and Computing/Statistics Programs....”
    Get full text
    eBook
  8. 48
    Lectures on the Nearest Neighbor Method
    by Biau, Gérard, Devroye, Luc
    Published in Springer eBooks (2015)
    Subjects: “...Statistics and Computing/Statistics Programs....”
    Get full text
    eBook
  9. 49
    Model-Free Prediction and Regression A Transformation-Based Approach to Inference /
    by Politis, Dimitris N.
    Published in Springer eBooks (2015)
    Subjects: “...Statistics and Computing/Statistics Programs....”
    Get full text
    eBook
  10. 50
    Finite-State Methods and Natural Language Processing 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers /
    by Yli-Jyrä, Anssi
    Published in Springer e-books (2006)
    Subjects: “...Text processing (Translators (Computer programs)...”
    Get full text
    eBook
  11. 51
    Verification, Model Checking, and Abstract Interpretation (vol. # 3855) 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
    by Emerson, E. Allen
    Published in Springer e-books (2006)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  12. 52
    Implementation and Application of Functional Languages (vol. # 3474) 16th International Workshop, IFL 2004, LГјbeck, Germany, September 8-10, 2004, Revised Selected Papers
    by Grelck, Clemens
    Published in Springer e-books (2005)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  13. 53
    Fundamental Approaches to Software Engineering (vol. # 3442) 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April
    by Cerioli, Maura
    Published in Springer e-books (2005)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  14. 54
    Verification, Model Checking, and Abstract Interpretation (vol. # 3385) 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
    by Cousot, Radhia
    Published in Springer e-books (2005)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  15. 55
    Model-Based Testing of Reactive Systems Advanced Lectures
    by Broy, Manfred
    Published in Springer e-books (2005)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  16. 56
    A Theory of Distributed Objects Asynchrony — Mobility — Groups — Components /
    by Caromel, Denis
    Published in Springer e-books (2005)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  17. 57
    Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  18. 58
    Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Programming Languages, Compilers, Interpreters....”
    Get full text
    eBook
  19. 59
    CONCUR 2013 – Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  20. 60
    Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
Search Tools: Get RSS Feed