1.

Record Nr.

UNISA990002962260203316

Autore

BRUYNOOGHE, Maurice

Titolo

Program Development in Computational Logic : a decade of research advances in logic-based program development / Maurice Bruynooghe, Kunk-Kiu Lau(Eds.)

Pubbl/distr/stampa

Berlin [etc.] : Springer, copyr. 2004

ISBN

3-540-22152-2

Descrizione fisica

VIII, 538 p. : ill. ; 24 cm.

Collana

Lecture notes in computer science ; 3049 , State of the Art Survey

Altri autori (Persone)

LAU, Kung-Kiu

Disciplina

004.071245

Soggetti

Informatica - Programmazione

Collocazione

001 LNCS 3049

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia



2.

Record Nr.

UNISA990003010760203316

Autore

FLEURY, Claude <1640-1723>

Titolo

Storia ecclesiastica per servir di continuazione a quella di Mosignor Claudio Fleury abate di Loc-Dieu, Priore d'Argenteuil e confessore di Luigi 14. / Tradotta dal francese dal sig. Conte Gasparo Gozzi ; riveduta e corretta sul testo originale in questa prima edizione napoletana e dedicata all'Eccellentissimo Signore D. Giuseppe Caracciolo, Principe di Torella..

Pubbl/distr/stampa

Napoli : a spese di Antonio Cervone e dal medesimo si vende nel suo Negozio, 1767-

Descrizione fisica

v. ; in 4°

Collocazione

FC A 15/

Lingua di pubblicazione

Italiano

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Marca e motto utilizzati anche da altri tipografi : cfr. AUDIFFREDI, GIOVANBATTISTA - PHAENOMENA CAELESTIA OBSERVATA ROMAE Romae (Roma), Ex typographia Generosi Salomoni, 1754



3.

Record Nr.

UNINA9910456170703321

Titolo

Testing and Evaluation of Standoff Chemical Agent Detectors [[electronic resource] /] / Committee on testing and evaluation of standoff chemical agent detectors. Board on Chemical Sciences and Technology

Pubbl/distr/stampa

Washington, D.C., : National Academy Press, 2003

ISBN

1-280-20926-7

9786610209262

0-309-50712-X

Descrizione fisica

1 online resource (65 p.)

Disciplina

623.4/592

Soggetti

Environmental sciences - Research - United States

Environmental engineering - United States

Electronic books.

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph