| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465870803316 |
|
|
Autore |
Liblit Ben |
|
|
Titolo |
Cooperative Bug Isolation [[electronic resource] ] : Winning Thesis of the 2005 ACM Doctoral Dissertation Competition / / by Ben Liblit |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-280-86572-5 |
9786610865727 |
3-540-71878-8 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2007.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (112 p.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 4440 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer logic |
Algorithms |
Software Engineering/Programming and Operating Systems |
Software Engineering |
Logics and Meanings of Programs |
Algorithm Analysis and Problem Complexity |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Revised version of the author's thesis (Ph.D.)--University of California, Berkeley, 2004. |
"Association for Computing Machinery"--Cover. |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (pages [97]-101) and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Instrumentation Framework -- Practical Considerations -- Techniques for Statistical Debugging -- Related Work -- Conclusion. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half a century ago. In the intervening decades, the need for effective methods of understanding software has only increased; so- ware has spread to become the underpinning of much of modern society, and the potentially disastrous consequences of broken or poorly understood software have become all too apparent. Ben Liblit’s work reconsiders two common assumptions about how we should analyze software and it arrives at some striking new results. Inprinciple,understandingsoftware is not such a hardproblem. Certainlya c- puter |
|
|
|
|
|
|
|
|
|
|
|
|
|
scientist studying programs appears to be in a much stronger position than, say, a biologist trying to understand a living organism or an economist trying to understand the behavior of markets, because the biologist and the economist must rely on indirect observation of the basic processes they wish to understand. A c- puterscientist, however,starts with a complete,precise descriptionof the behaviorof software—the program itself! Of course, the story turns out not to be so straightf- ward, because despite having a perfect description, programs are suf ciently c- plex that it is usually dif cult or even impossible to answer many simple questions about them. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910699124203321 |
|
|
Autore |
Dalton Melinda S |
|
|
Titolo |
Occurrence of viable avian influenza viruses in water and bed sediments from selected water bodies along the Atlantic Flyway, February and May 2006 and January 2007 [[electronic resource] /] / by Melinda S. Dalton, Lisa M. Stewart, and Hon S. Ip |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Reston, Va. : , : U.S. Geological Survey, , 2009 |
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (iv, 12 pages) : illustrations, map |
|
|
|
|
|
|
Collana |
|
Open-file report ; ; 2009-1161 |
|
|
|
|
|
|
Altri autori (Persone) |
|
IpHon S |
StewartLisa M. <1963-> |
|
|
|
|
|
|
|
|
Soggetti |
|
Avian influenza - Atlantic States - Testing |
Birds - Diseases and pests - Monitoring - Atlantic States |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Title from title screen (USGS, viewed on Aug. 24, 2009). |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (pages 11-12). |
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910229854303321 |
|
|
Titolo |
Middle East law and governance |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Leiden, Netherlands ; ; Boston, : Brill |
|
|
|
|
|
|
|
ISSN |
|
|
|
|
|
|
Soggetti |
|
Law - Middle East |
Law - Political aspects - Middle East |
Law - Social aspects - Middle East |
Islamic law - Middle East |
Islamic law - Political aspects - Middle East |
Islamic law - Social aspects - Middle East |
Law - Social aspects |
Law - Political aspects |
Islamic law |
Law |
Politics and government |
Publications périodiques |
Gouvernance |
Droit islamique |
Periodicals. |
Middle East Politics and government Periodicals |
Middle East |
Moyen-Orient Politique et gouvernement Périodiques |
Moyen-Orient |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Periodico |
|
|
|
|
|
Note generali |
|
Refereed/Peer-reviewed |
"An interdisciplinary journal." |
|
|
|
|
|
|
|
| |