1.

Record Nr.

UNINA990000852900403321

Autore

Hermes, Hans

Titolo

Enumerability. Decidability. Computabily : an Introduction tho theory of recursive functions / H. Hermes ; translated by G. T. Hermann and O. Plassmann

Pubbl/distr/stampa

Berlin : Springer-Verlag, 1969

Edizione

[2 ed. revised]

Descrizione fisica

X, 245 P. ; 24 cm

Collana

Die Grundlehren der mathematischen Wissenschaften ; 27

Disciplina

511.3

Locazione

FINBN

Collocazione

02 21 B 2

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia



2.

Record Nr.

UNINA9910133398503321

Titolo

Strategic plan

Pubbl/distr/stampa

[Washington, D.C.], : U.S. General Accounting Office, [2000-2004]

Washington, DC : , : U.S. Department of Justice, , 2004?-

Descrizione fisica

1 online resource (volumes)

Collana

NIH publication

Soggetti

Finance, Public - United States - Accounting

Finance, Public - Accounting

Periodicals.

United States

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Periodico

Note generali

Title from title screen (viewed Sept. 18, 2003).

For 2004/2009 issue: Letter of transmittal date: Mar. 2004.