| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990009252180403321 |
|
|
Titolo |
Computer Aided Verification [Risorsa elettronica] : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings / edited by Werner Damm, Holger Hermanns |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; Heidelberg : Springer, 2007 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science , 0302-9743 ; 4590 |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Risorsa elettronica |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910715403003321 |
|
|
Titolo |
Pledge of the U. States to the governments of Mexico and S. America. Message from the President of the United States, transmitting the information required by the resolution of the House of Representatives of the 27th instant, in relation to the instructions given to the minister of the U. States to the government of Mexico ; as also in relation to any pledge on the part of the United States to the governments of Mexico or Southern America, &c. March 30, 1826. Read, and laid upon the table |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Washington, D.C.] : , : [publisher not identified], , 1826 |
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (10 pages) |
|
|
|
|
|
|
Collana |
|
House document / 19th Congress, 1st session. House ; ; no. 142 |
[United States congressional serial set ] ; ; [serial no. 138] |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
AdamsJohn Quincy <1767-1848.> |
ClayHenry <1777-1852> (Republican-Jeffersonian (KY)) |
PoinsettJoel Roberts <1779-1851> (Party affiliation unknown (SC)) |
|
|
|
|
|
|
|
|
Soggetti |
|
International relations |
Territories and possessions |
Ambassadors |
Diplomats |
Legislative materials. |
Spain Territories and possessions |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Batch processed record: Metadata reviewed, not verified. Some fields updated by batch processes. |
FDLP item number not assigned. |
|
|
|
|
|
|
|
| |