1.

Record Nr.

UNINA990007008020403321

Autore

Lucini, Gian Pietro <1867-1914>

Titolo

Le Antitesi e le perversità / Gian Pietro Lucini ; per cura, introduzione e note di Glauco Viazzi con una testimonianza di Terenzio Grandi

Pubbl/distr/stampa

Parma : Guanda, 1970

Descrizione fisica

427 p. ; 22 cm

Collana

Collana fenice

Locazione

BAT

Collocazione

BIB. BAT.5595

Lingua di pubblicazione

Italiano

Formato

Materiale a stampa

Livello bibliografico

Monografia

2.

Record Nr.

UNINA9910789699503321

Autore

Bird Tim <1962->

Titolo

Afghanistan [[electronic resource] ] : how the West lost its way / / Tim Bird and Alex Marshall

Pubbl/distr/stampa

New Haven, : Yale University Press, c2011

ISBN

1-283-15057-3

9786613150578

0-300-15458-5

Descrizione fisica

1 online resource (310 p.)

Altri autori (Persone)

MarshallAlex <1976 Nov. 2->

Disciplina

958.104/7

Soggetti

Afghan War, 2001-2021

Strategy

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph

Nota di bibliografia

Includes bibliographical references (p. 289-298) and index.

Nota di contenuto

Front matter -- CONTENTS -- INTRODUCTION -- CHAPTER ONE. THE GREAT ENIGMA: Afghanistan in historical context -- CHAPTER TWO.



9/11 AND THE RESPONSE, 11-25 SEPTEMBER 2001 -- CHAPTER THREE. 'BOOTS ON THE GROUND': From the arrival of the CIA to the emergency Loya Jirga, 26 September 2001-June 2002 -- CHAPTER FOUR. 'TAKING THE EYE OFF THE BALL?' THE ROOTS OF TALIBAN REVIVAL IN AFGHANISTAN, 2002-05 -- CHAPTER FIVE. RETURN TO THE 'FORGOTTEN WAR', 2006-08 -- CHAPTER SIX. THE PAKISTAN PROBLEM -- CHAPTER SEVEN. SILVER BULLETS AND THE SEARCH FOR AN EXIT, 2009-11 -- CONCLUSION -- NOTES -- BIBLIOGRAPHY -- INDEX

Sommario/riassunto

In October 2001, NATO forces invaded Afghanistan. Their initial aim, to topple the Taliban regime and replace it with a more democratic government aligned to Western interests, was swiftly achieved. However, stabilizing the country in the ensuing years has proven much more difficult. Despite billions of dollars in aid and military expenditure, Afghanistan remains a nation riddled with warlords, the world's major heroin producer, and the site of a seemingly endless conflict between Islamist militants and NATO forces. In this timely and important book, Tim Bird and Alex Marshall offer a panoramic view of international involvement in Afghanistan from 2001 to 2011. Tackling the subject matter as a whole, Bird and Marshall weave together analysis of military strategy, regional context, aid policy, the Afghan government, and the many disagreements between and within the Western powers involved in the intervention. Given the complicating factors of the heroin trade, unwelcoming terrain, and precarious relations with Pakistan, the authors acknowledge the ways in which Afghanistan has presented unique challenges for its foreign invaders. Ultimately, however, they argue that the international community has failed in its self-imposed effort to solve Afghanistan's problems and that there are broader lessons to be learned from their struggle, particularly in terms of counterinsurgency and the ever-complicated work of "nation-building." The overarching feature of the intervention, they argue, has been an absence of strategic clarity and coherence.



3.

Record Nr.

UNISOBE600200003774

Autore

*Accademia Italiana di Economia Aziendale

Titolo

Competizione globale e sviluppo locale tra etica e innovazione : atti del 25. Convegno AIDEA, Novara, 4-5 ottobre 2002

Pubbl/distr/stampa

Milano, : Giuffrè

ISBN

88-14-10678-9

Descrizione fisica

v. ; 24 cm

Lingua di pubblicazione

Italiano

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

In testa al front.: Università degli studi del Piemonte orientale A. Avogadro, Dipartimento di studi per l'impresa ed il territorio

4.

Record Nr.

UNINA9910484900803321

Titolo

Implementation and Application of Automata : 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings / / edited by Stavros Konstantinidis

Pubbl/distr/stampa

Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013

ISBN

3-642-39274-1

Edizione

[1st ed. 2013.]

Descrizione fisica

1 online resource (XIV, 358 p. 78 illus.)

Collana

Theoretical Computer Science and General Issues, , 2512-2029 ; ; 7982

Classificazione

004

DAT 500f

DAT 550f

SS 4800

Disciplina

004

Soggetti

Computer science

Algorithms

Machine theory

Bioinformatics

Artificial intelligence - Data processing

Information storage and retrieval systems

Theory of Computation

Formal Languages and Automata Theory

Computational and Systems Biology

Data Science



Information Storage and Retrieval

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph

Nota di bibliografia

Includes bibliographical references and author index.

Nota di contenuto

Complexity of automata -- Compressed automata -- Counter automata -- Dictionary matching -- Edit distance -- Homing sequences -- Implementation -- Minimization of automata -- Model checking -- Parsing of regular expressions -- Partial word automata -- Picture languages -- Pushdown automata -- Queue automata -- Reachability analysis for software verification -- Restarting automata -- Transducers -- Tree automata -- Weighted automata -- XML streams.

Sommario/riassunto

This book constitutes the thoroughly refereed papers of the 18th International Conference on Implementation and Application of Automata, CIAA 2013, held in Halifax, NS, Canada, in July 2013. The 25 revised full papers presented together with 3 invited papers and 7 short papers were carefully selected from 43 submissions. The papers cover various topics such as complexity of automata; compressed automata; counter automata; dictionary matching; edit distance; homing sequences; implementation; minimization of automata; model checking; parsing of regular expressions; partial word automata; picture languages; pushdown automata; queue automata; reachability analysis for software verification; restarting automata; transducers; tree automata; weighted automata; XML streams.