Menü schließen
Autonome Region Sardiniens Autonome Region Sardiniens Autonome Region Sardiniens Autonome Region Sardiniens
Sardinienregion
Folge uns auf
Suchen Suche auf der Website

Sardinienregion

Andere Aktionen
Komm zurück Komm zurück

Computer-aided verification : 2. international conference, CAV '90

Computer-aided verification : 2. international conference, CAV '90
Information
Sie können es in finden

Kategorie

Testo

Natur

Monografia

Titel

Computer-aided verification : 2. international conference, CAV '90

Namen

Clarke, Edmund M. <1945- >
Kurshan, Robert P.

Beschreibung

Computer-aided verification : 2. international conference, CAV '90 / E. M. Clarke, R. P. Kurshan (eds.)

Physische Beschreibung

XIII, 372 p. ; 25 cm

Standardzahlen

ISBN: 0387544771, New York
ISBN: 3540544771, Berlin

Datum

c1991

Ort der Veröffentlichung

Berlin \etc.!

Dorf

GERMANIA

Zunge

INGLESE

Quelle

Biblioteche SBN Sardegna

ID

IT\ICCU\AQ1\0015349

Ressourcenverbindungen

http://id.sbn.it/bid/AQ10015349
Biblioteca del Distretto tecnologico – sezione Matematica e informatica

Etikett

Andere Aktionen

Bilder

Civico Teatro di Sassari, per la sera di Martedì 18 Novembre 1845, serata a beneficio del primo basso assoluto Luigi Battallini, lo spettacolo verrà diviso come segue : 1. Sinfonia della Fausta ; 2. Coro, Quartetto, e Polacca dell'atto primo dell'Opera I puritani del M. Bellini ; 3. Atto secondo, dell'Opera I due sergenti del M. Luigi Ricci ; 4. Gran scena e Cavatina nell'Opera Gli esiliati in Siberia del celebre M. Cav. Gaetano Donizetti eseguita dal beneficiato ; 5. Duetto nell'Opera l'Elisir d'amore, eseguito dalla Duffò e Magrini ; 6. Duetto nell'atto 3. dei puritani ; a render più gradevole lo spettacolo offre uno scherzo mimico composto dal impresaro Ferdinando Vanelli

Civico Teatro di Sassari, per la sera di Martedì 18 Novembre 1845, serata a beneficio del primo basso assoluto Luigi Battallini, lo spettacolo verrà diviso come segue : 1. Sinfonia della Fausta ; 2. Coro, Quartetto, e Polacca dell'atto primo dell'Opera I puritani del M. Bellini ; 3. Atto secondo, dell'Opera I due sergenti del M. Luigi Ricci ; 4. Gran scena e Cavatina nell'Opera Gli esiliati in Siberia del celebre M. Cav. Gaetano Donizetti eseguita dal beneficiato ; 5. Duetto nell'Opera l'Elisir d'amore, eseguito dalla Duffò e Magrini ; 6. Duetto nell'atto 3. dei puritani ; a render più gradevole lo spettacolo offre uno scherzo mimico composto dal impresaro Ferdinando Vanelli

Jahr : 1845
Civico Teatro di Sassari, per la sera di Martedì 18 Novembre 1845, serata a beneficio del primo basso assoluto Luigi Battallini, lo spettacolo verrà diviso come segue : 1. Sinfonia della Fausta ; 2. Coro, Quartetto, e Polacca dell'atto primo dell'Opera I puritani del M. Bellini ; 3. Atto secondo, dell'Opera I due sergenti del M. Luigi Ricci ; 4. Gran scena e Cavatina nell'Opera Gli esiliati in Siberia del celebre M. Cav. Gaetano Donizetti eseguita dal beneficiato ; 5. Duetto nell'Opera l'Elisir d'amore, eseguito dalla Duffò e Magrini ; 6. Duetto nell'atto 3. dei puritani ; a render più gradevole lo spettacolo offre uno scherzo mimico, composto dal impresaro Ferdinando Vanelli

Civico Teatro di Sassari, per la sera di Martedì 18 Novembre 1845, serata a beneficio del primo basso assoluto Luigi Battallini, lo spettacolo verrà diviso come segue : 1. Sinfonia della Fausta ; 2. Coro, Quartetto, e Polacca dell'atto primo dell'Opera I puritani del M. Bellini ; 3. Atto secondo, dell'Opera I due sergenti del M. Luigi Ricci ; 4. Gran scena e Cavatina nell'Opera Gli esiliati in Siberia del celebre M. Cav. Gaetano Donizetti eseguita dal beneficiato ; 5. Duetto nell'Opera l'Elisir d'amore, eseguito dalla Duffò e Magrini ; 6. Duetto nell'atto 3. dei puritani ; a render più gradevole lo spettacolo offre uno scherzo mimico, composto dal impresaro Ferdinando Vanelli

Jahr : 1845

Ergebnisse 2 von 63850

Alle ansehen Alle ansehen

Texte

Computer aided verification : 3. international workshop, CAV '91

Computer aided verification : 3. international workshop, CAV '91

Autor : CAV <3. ; 1991

Jahr : 1992
Computer aided systems theory - EUROCAST '91 : a selection of papers from the second International workshop on computer aided systems theory

Computer aided systems theory - EUROCAST '91 : a selection of papers from the second International workshop on computer aided systems theory

Autor : International workshop on computer aided systems theory <2. ; 1991

Jahr : 1992

Ergebnisse 2 von 2189581

Alle ansehen Alle ansehen

Video

2: 3. L'Europa in fiamme

2: 3. L'Europa in fiamme

Jahr : 2015
MIB. Men in Black International

MIB. Men in Black International

Jahr : 2019

Ergebnisse 2 von 69902

Alle ansehen Alle ansehen

Audio

Devils advocate

Devils advocate

Autor : Clarke, Dave

Jahr : 2003
Marco Messeri legge Favole. 2.

Marco Messeri legge Favole. 2.

Jahr : 2010

Ergebnisse 2 von 23962

Alle ansehen Alle ansehen

Kommentare

Andere laden

Schreibe einen Kommentar

Schicken
Schreibe einen Kommentar