Showing 581 - 600 results of 2,055 for search '"programs"', query time: 0.06s Refine Results
  1. 581
    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
  2. 582
    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
  3. 583
    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
  4. 584
    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
  5. 585
    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
  6. 586
    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
  7. 587
    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
  8. 588
    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
  9. 589
    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
  10. 590
    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
  11. 591
    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
  12. 592
    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
  13. 593
    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
  14. 594
    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
  15. 595
    Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  16. 596
    Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings /
    by Jones, Cliff B.
    Published in Springer e-books (2007)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  17. 597
    SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings /
    by Gaudin, Emmanuel
    Published in Springer e-books (2007)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  18. 598
    Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings /
    by Meier, René
    Published in Springer eBooks (2008)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  19. 599
    Model Driven Architecture – Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings /
    by Schieferdecker, Ina
    Published in Springer eBooks (2008)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  20. 600
    Markov Models for Pattern Recognition From Theory to Applications /
    by Fink, Gernot A.
    Published in Springer e-books (2008)
    Subjects: “...Translators (Computer programs)...”
    Get full text
    eBook
Search Tools: Get RSS Feed