Checking

Results: 4283



#Item
481Checking Out eBooks on an iPad/iPhone via OverDrive App • Be sure you have a Shenandoah County Library card in good standing. • Be sure your device is connected to the Internet.

Checking Out eBooks on an iPad/iPhone via OverDrive App • Be sure you have a Shenandoah County Library card in good standing. • Be sure your device is connected to the Internet.

Add to Reading List

Source URL: countylib.org

Language: English - Date: 2015-10-28 16:47:20
482Math.Comput.Sci:71–97 DOIs11786y Mathematics in Computer Science Collaborative Verification-Driven Engineering

Math.Comput.Sci:71–97 DOIs11786y Mathematics in Computer Science Collaborative Verification-Driven Engineering

Add to Reading List

Source URL: www.utc.ices.cmu.edu

Language: English - Date: 2014-10-10 12:15:04
483Microsoft Word - Post-Silicon Debug__30__group__.doc

Microsoft Word - Post-Silicon Debug__30__group__.doc

Add to Reading List

Source URL: www.deshawresearch.com

Language: English - Date: 2010-09-27 16:06:45
484An Ant Colony Verification Algorithm Rachid Rebiha Giovanni L. Ciampaglia Universit`a della Svizzera Italiana, Faculty of Informatics. {rachid.rebiha, ciampagg}@lu.unisi.ch Abstract

An Ant Colony Verification Algorithm Rachid Rebiha Giovanni L. Ciampaglia Universit`a della Svizzera Italiana, Faculty of Informatics. {rachid.rebiha, ciampagg}@lu.unisi.ch Abstract

Add to Reading List

Source URL: www.glciampaglia.com

Language: English - Date: 2015-11-15 22:04:58
485A Tool Bus for Anytime Verification? Natarajan Shankar1 Computer Science Laboratory SRI International Menlo Park CAUSA

A Tool Bus for Anytime Verification? Natarajan Shankar1 Computer Science Laboratory SRI International Menlo Park CAUSA

Add to Reading List

Source URL: fm.csl.sri.com

Language: English - Date: 2010-11-11 10:23:46
486A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking Julia Lawall (University of Copenhagen) Joint work with

A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking Julia Lawall (University of Copenhagen) Joint work with

Add to Reading List

Source URL: coccinelle.lip6.fr

Language: English
487Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code Charles Killian, James W. Anderson, Ranjit Jhala, and Amin Vahdat University of California, San Diego {ckillian, jwanderson, jhala, vahdat}@

Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code Charles Killian, James W. Anderson, Ranjit Jhala, and Amin Vahdat University of California, San Diego {ckillian, jwanderson, jhala, vahdat}@

Add to Reading List

Source URL: www.macesystems.org

Language: English - Date: 2007-03-11 23:28:24
488Computational Modeling, Formal Analysis, and Tools for Systems Biology

Computational Modeling, Formal Analysis, and Tools for Systems Biology

Add to Reading List

Source URL: www.eziobartocci.com

Language: English - Date: 2016-02-05 19:02:40
489AKTUELLES DRUG CHECKING ERGEBNIS AUS INNSBRUCK Hochdosierte XTC-Tablette JuniAls XTC zur Analyse gebracht:

AKTUELLES DRUG CHECKING ERGEBNIS AUS INNSBRUCK Hochdosierte XTC-Tablette JuniAls XTC zur Analyse gebracht:

Add to Reading List

Source URL: saferparty.ch

Language: German - Date: 2016-06-16 05:19:51
    490✲ Towards Validated Real-Time Software✲ Valérie BERTIN†, Michel POIZE, Jacques PULOU

    ✲ Towards Validated Real-Time Software✲ Valérie BERTIN†, Michel POIZE, Jacques PULOU

    Add to Reading List

    Source URL: www-verimag.imag.fr

    Language: English - Date: 2012-12-31 04:25:30