132 research outputs found

    Formal aspects of component software

    Get PDF
    This is the pre-proceedings of 6th International Workshop on Formal Aspects of Component Software (FACS'09)

    Dagstuhl Reports : Volume 1, Issue 2, February 2011

    Get PDF
    Online Privacy: Towards Informational Self-Determination on the Internet (Dagstuhl Perspectives Workshop 11061) : Simone Fischer-HĂŒbner, Chris Hoofnagle, Kai Rannenberg, Michael Waidner, Ioannis Krontiris and Michael Marhöfer Self-Repairing Programs (Dagstuhl Seminar 11062) : Mauro PezzĂ©, Martin C. Rinard, Westley Weimer and Andreas Zeller Theory and Applications of Graph Searching Problems (Dagstuhl Seminar 11071) : Fedor V. Fomin, Pierre Fraigniaud, Stephan Kreutzer and Dimitrios M. Thilikos Combinatorial and Algorithmic Aspects of Sequence Processing (Dagstuhl Seminar 11081) : Maxime Crochemore, Lila Kari, Mehryar Mohri and Dirk Nowotka Packing and Scheduling Algorithms for Information and Communication Services (Dagstuhl Seminar 11091) Klaus Jansen, Claire Mathieu, Hadas Shachnai and Neal E. Youn

    2018 Abstract Booklet

    Get PDF
    Complete Schedule of Events for the 20th Annual Undergraduate Research Symposium at Minnesota State University, Mankato

    Town of Ellsworth, New Hampshire annual report for the fiscal year ending December 31, 2012.

    Get PDF
    This is an annual report containing vital statistics for a town/city in the state of New Hampshire

    Town of Ellsworth, New Hampshire annual report for the fiscal year ending December 31, 2012.

    Get PDF
    This is an annual report containing vital statistics for a town/city in the state of New Hampshire

    Arkansas Bulletin of Water Research - Issue 2018

    Get PDF
    The Arkansas Bulletin of Water Research is a publication of the Arkansas Water Resources Center (AWRC). This bulletin is produced in an effort to share water research relevant to Arkansas water stakeholders in an easily searchable and aesthetically engaging way. This is the second publication of the bulletin and will be published annually. The submission of a paper to this bulletin is appropriate for topics at all related to water resources, by anyone conducting water research or investigations. This includes but is not limited to university researchers, consulting firms, watershed groups, and other agencies. Prospective authors should read the “Introduction to the Arkanasas Bulletin of Water Research” contained within this publication and should refer to the AWRC website for additional infromation. https://arkansas-water-center.uark.edu

    Supporting Unit Test Generation via Automated Isolation

    Full text link

    URI Undergraduate and Graduate Course Catalog 2005-2006

    Get PDF
    This is a digitized, downloadable version of the University of Rhode Island course catalog.https://digitalcommons.uri.edu/course-catalogs/1057/thumbnail.jp
    • 

    corecore